public class OverrideChecker extends Visitor
SymbolTablePrimer
Constructor and Description |
---|
OverrideChecker(MsgList msgs) |
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) |
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
protected MsgList d_msgs
public OverrideChecker(MsgList msgs)
public java.lang.Object visitClassType(ClassType node, java.lang.Object data)
visitClassType
in class Visitor
public java.lang.Object visitInterfaceType(InterfaceType node, java.lang.Object data)
visitInterfaceType
in class Visitor