gov.llnl.babel.visitor

Class OverrideChecker

java.lang.Object

gov.llnl.babel.visitor.Visitor

gov.llnl.babel.visitor.OverrideChecker

public class OverrideChecker
extends Visitor

Iterates over the AST with the full decorated Sybol table in order to check that all the method overwrites were done correctly. Type resolution is largely performed in this stage.

See Also:

SymbolTablePrimer

Field Summary

Fields

Modifier and Type	Field and Description
protected MsgList	d_msgs

Constructor Summary

Constructors

Constructor and Description
OverrideChecker(MsgList msgs)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	visitClassType(ClassType node, java.lang.Object data)
java.lang.Object	visitInterfaceType(InterfaceType node, java.lang.Object data)

Methods inherited from class gov.llnl.babel.visitor.Visitor

visitArgument, visitArgumentList, visitArrayType, visitAssertion, visitAttribute, visitAttributeList, visitBinaryExpr, visitBooleanLiteral, visitCharacterLiteral, visitDComplexLiteral, visitDocComment, visitDoubleLiteral, visitEnsures, visitEnumeration, visitEnumItem, visitExtents, visitFComplexLiteral, visitFixedType, visitFloatLiteral, visitFromClause, visitFuncExpr, visitImportClause, visitIntLiteral, visitInvariants, visitMethod, visitMethodList, visitName, visitNode, visitPackage, visitRArrayType, visitRequireClause, visitRequires, visitScopedID, visitScopedIDList, visitSIDLFile, visitSplicerBlock, visitSplicerImpl, visitSplicerImplList, visitSplicerList, visitStringLiteral, visitStructItem, visitStructType, visitThrowsList, visitUnaryExpr

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

d_msgs

protected MsgList d_msgs

Constructor Detail

OverrideChecker

public OverrideChecker(MsgList msgs)

Method Detail

visitClassType

public java.lang.Object visitClassType(ClassType node,
                              java.lang.Object data)

Overrides:

visitClassType in class Visitor

visitInterfaceType

public java.lang.Object visitInterfaceType(InterfaceType node,
                                  java.lang.Object data)

Overrides:

visitInterfaceType in class Visitor