Main.JspPrettyPrinterTask (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jmlspec
Class Main.JspPrettyPrinterTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.jmlspecs.jmlspec.Main.JspPrettyPrinterTask

All Implemented Interfaces:: Comparable, Main.Trees

Enclosing class:: Main

public class Main.JspPrettyPrinterTask
extends Main.TreeProcessingTask

A task for generating specification skeletons.

Field Summary

Fields inherited from class org.multijava.mjc.Main.TreeProcessingTask

passCompletedMessage, trees

Fields inherited from class org.multijava.mjc.Main.Task

Constructor Summary

Main.JspPrettyPrinterTask(CompilerPassEnterable[] trees, Object sequenceID)

Method Summary

protected void processTree(CompilerPassEnterable tree)

Methods inherited from class org.multijava.mjc.Main.TreeProcessingTask

execute, trees

Methods inherited from class org.multijava.mjc.Main.Task

compareTo, priority, sequenceID, setToMainSequenceID

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Main.JspPrettyPrinterTask

public Main.JspPrettyPrinterTask(CompilerPassEnterable[] trees,
                                 Object sequenceID)

Method Detail

processTree

protected void processTree(CompilerPassEnterable tree)