gov.llnl.babel.visitor
Class OverrideChecker

java.lang.Object
  extended by gov.llnl.babel.visitor.Visitor
      extended by 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
protected  MsgList d_msgs
           
 
Constructor Summary
OverrideChecker(MsgList msgs)
           
 
Method Summary
 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