gov.llnl.babel.visitor
Class InheritenceChecker

java.lang.Object
  extended by gov.llnl.babel.visitor.Visitor
      extended by gov.llnl.babel.visitor.InheritenceChecker

public class InheritenceChecker
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
InheritenceChecker(MsgList msgs, Context context)
           
 
Method Summary
 java.lang.Object visitClassType(ClassType 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, visitInterfaceType, 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

InheritenceChecker

public InheritenceChecker(MsgList msgs,
                          Context context)
Method Detail

visitClassType

public java.lang.Object visitClassType(ClassType node,
                                       java.lang.Object data)
Overrides:
visitClassType in class Visitor