mjc

org.multijava.mjc
Class Main.TypecheckTask

java.lang.Object
  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:
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)
Method Detail

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

mjc

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.