public class NameChecker extends Visitor
Constructor and Description |
---|
NameChecker(MsgList msgs) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
visitArgument(Argument node,
java.lang.Object data) |
java.lang.Object |
visitClassType(ClassType node,
java.lang.Object data) |
java.lang.Object |
visitEnumeration(Enumeration node,
java.lang.Object data) |
java.lang.Object |
visitInterfaceType(InterfaceType node,
java.lang.Object data) |
java.lang.Object |
visitMethod(Method node,
java.lang.Object data) |
java.lang.Object |
visitPackage(Package node,
java.lang.Object data) |
java.lang.Object |
visitStructItem(StructItem node,
java.lang.Object data) |
java.lang.Object |
visitStructType(StructType node,
java.lang.Object data) |
visitArgumentList, visitArrayType, visitAssertion, visitAttribute, visitAttributeList, visitBinaryExpr, visitBooleanLiteral, visitCharacterLiteral, visitDComplexLiteral, visitDocComment, visitDoubleLiteral, visitEnsures, visitEnumItem, visitExtents, visitFComplexLiteral, visitFixedType, visitFloatLiteral, visitFromClause, visitFuncExpr, visitImportClause, visitIntLiteral, visitInvariants, visitMethodList, visitName, visitNode, visitRArrayType, visitRequireClause, visitRequires, visitScopedID, visitScopedIDList, visitSIDLFile, visitSplicerBlock, visitSplicerImpl, visitSplicerImplList, visitSplicerList, visitStringLiteral, visitThrowsList, visitUnaryExpr
public NameChecker(MsgList msgs)
public java.lang.Object visitMethod(Method node, java.lang.Object data)
visitMethod
in class Visitor
public java.lang.Object visitStructType(StructType node, java.lang.Object data)
visitStructType
in class Visitor
public java.lang.Object visitStructItem(StructItem node, java.lang.Object data)
visitStructItem
in class Visitor
public java.lang.Object visitEnumeration(Enumeration node, java.lang.Object data)
visitEnumeration
in class Visitor
public java.lang.Object visitInterfaceType(InterfaceType node, java.lang.Object data)
visitInterfaceType
in class Visitor
public java.lang.Object visitClassType(ClassType node, java.lang.Object data)
visitClassType
in class Visitor
public java.lang.Object visitPackage(Package node, java.lang.Object data)
visitPackage
in class Visitor
public java.lang.Object visitArgument(Argument node, java.lang.Object data)
visitArgument
in class Visitor