gov.llnl.babel.visitor

Class AssertionSource

java.lang.Object

gov.llnl.babel.visitor.Visitor

gov.llnl.babel.visitor.AssertionSource

public class AssertionSource
extends Visitor

Constructor Summary

Constructors

Constructor and Description
AssertionSource()

Method Summary

Methods

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)

Methods inherited from class gov.llnl.babel.visitor.Visitor

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AssertionSource

public AssertionSource()

Method Detail

visitAssertion

public java.lang.Object visitAssertion(Assertion node,
                              java.lang.Object data)

Overrides:

visitAssertion in class Visitor

visitPackage

public java.lang.Object visitPackage(Package node,
                            java.lang.Object data)

Overrides:

visitPackage in class Visitor

visitClassType

public java.lang.Object visitClassType(ClassType node,
                              java.lang.Object data)

Overrides:

visitClassType in class Visitor

visitInterfaceType

public java.lang.Object visitInterfaceType(InterfaceType node,
                                  java.lang.Object data)

Overrides:

visitInterfaceType in class Visitor