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