org.multijava.mjc
Class Main.TypecheckTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.multijava.mjc.Main.TypecheckTask

All Implemented Interfaces:

Comparable, Main.Trees

Direct Known Subclasses:

Main.JmlCheckAssignableTask, Main.JmlTypecheckTask

Enclosing class:

Main

public class Main.TypecheckTask

extends Main.TreeProcessingTask

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.TypecheckTask(int priority, Object sequenceID, CompilerPassEnterable[] trees, MessageDescription passCompletedMessage)

Main.TypecheckTask(CompilerPassEnterable[] trees, Object sequenceID)           Constructs a task for checking the initializers in the given forest.

 

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

 

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

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

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

Main.TypecheckTask

public Main.TypecheckTask(int priority,
                          Object sequenceID,
                          CompilerPassEnterable[] trees,
                          MessageDescription passCompletedMessage)

execute

public void execute()

Description copied from class: Main.Task

Executes the task represented by this.

 requires !completed;
 ensures completed;
 

Overrides:

execute in class Main.TreeProcessingTask

processTree

protected void processTree(CompilerPassEnterable tree)

Check that body of a given compilation unit is correct.

Parameters:

tree - the compilation unit