public class StructChecker extends Visitor
Constructor and Description |
---|
StructChecker(MsgList msgs,
java.util.LinkedList d_astList) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
visitStructItem(StructItem node,
java.lang.Object data) |
java.lang.Object |
visitStructType(StructType node,
java.lang.Object data) |
visitArgument, visitArgumentList, visitArrayType, visitAssertion, visitAttribute, visitAttributeList, visitBinaryExpr, visitBooleanLiteral, visitCharacterLiteral, visitClassType, 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, visitThrowsList, visitUnaryExpr
public StructChecker(MsgList msgs, java.util.LinkedList d_astList)
public java.lang.Object visitStructItem(StructItem node, java.lang.Object data)
visitStructItem
in class Visitor
public java.lang.Object visitStructType(StructType node, java.lang.Object data)
visitStructType
in class Visitor