jltools.ast
Interface Ext

All Superinterfaces:

java.lang.Cloneable, Copy

All Known Subinterfaces:

Jif

All Known Implementing Classes:

Ext_c

public interface Ext

extends Copy

Ext is the super type of all node extension objects. It declares the methods which implement compiler passes.

Method Summary

Node	buildTypes(TypeBuilder tb)
Node	buildTypesOverride(TypeBuilder tb)
java.lang.Object	copy()
Node	disambiguate(AmbiguityRemover ar)
Node	disambiguateOverride(AmbiguityRemover ar)
Node	disambiguateTypes(TypeAmbiguityRemover sc)
Node	disambiguateTypesOverride(TypeAmbiguityRemover sc)
Node	exceptionCheck(ExceptionChecker ec)
Node	exceptionCheckOverride(ExceptionChecker ec)
Node	foldConstants(ConstantFolder cf)
Node	foldConstantsOverride(ConstantFolder cf)
void	init(Node n)
Node	reconstructTypes(NodeFactory nf, TypeSystem ts, Context c)
void	translate(CodeWriter w, Translator tr)
Node	typeCheck(TypeChecker tc)
Node	typeCheckOverride(TypeChecker tc)

Method Detail

copy

public java.lang.Object copy()

Specified by:

copy in interface Copy

init

public void init(Node n)

buildTypesOverride

public Node buildTypesOverride(TypeBuilder tb)
                        throws SemanticException

buildTypes

public Node buildTypes(TypeBuilder tb)
                throws SemanticException

disambiguateTypesOverride

public Node disambiguateTypesOverride(TypeAmbiguityRemover sc)
                               throws SemanticException

disambiguateTypes

public Node disambiguateTypes(TypeAmbiguityRemover sc)
                       throws SemanticException

disambiguateOverride

public Node disambiguateOverride(AmbiguityRemover ar)
                          throws SemanticException

disambiguate

public Node disambiguate(AmbiguityRemover ar)
                  throws SemanticException

foldConstantsOverride

public Node foldConstantsOverride(ConstantFolder cf)

foldConstants

public Node foldConstants(ConstantFolder cf)

typeCheckOverride

public Node typeCheckOverride(TypeChecker tc)
                       throws SemanticException

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

exceptionCheckOverride

public Node exceptionCheckOverride(ExceptionChecker ec)
                            throws SemanticException

exceptionCheck

public Node exceptionCheck(ExceptionChecker ec)
                    throws SemanticException

translate

public void translate(CodeWriter w,
                      Translator tr)

reconstructTypes

public Node reconstructTypes(NodeFactory nf,
                             TypeSystem ts,
                             Context c)
                      throws SemanticException