org.jmlspecs.checker
Class Main.JmlTypecheckTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.multijava.mjc.Main.TypecheckTask
              org.jmlspecs.checker.Main.JmlTypecheckTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JmlTypecheckTask

extends Main.TypecheckTask

This class typechecks the source code. The class is constructed on an AST forest.

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.JmlTypecheckTask(CompilerPassEnterable[] trees, Object sequenceID)           Constructs a task for checking the initializers in the given forest.

 

Method Summary
protected  void	processTree(CompilerPassEnterable tree)           Check that body of a given compilation unit is correct.

 

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

execute

 

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

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.JmlTypecheckTask

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

Constructs a task for checking the initializers in the given forest. Stores an alias to trees.

processTree

protected void processTree(CompilerPassEnterable tree)

Check that body of a given compilation unit is correct.

Overrides:

processTree in class Main.TypecheckTask

Parameters:

tree - the compilation unit