Class Main.TypecheckTask

  extended byorg.multijava.mjc.Main.Task
      extended byorg.multijava.mjc.Main.TreeProcessingTask
          extended byorg.multijava.mjc.Main.TypecheckTask
All Implemented Interfaces:
Comparable, Main.Trees
Enclosing class:

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


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


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


public void execute()
Description copied from class: Main.Task
Executes the task represented by this.

 requires !completed;
 ensures completed;

execute in class Main.TreeProcessingTask


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

tree - the compilation unit


mjc is Copyright (C) 2000-2004 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. mjc is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.