gov.llnl.babel.visitor
Class AssertionSource

java.lang.Object
  extended by gov.llnl.babel.visitor.Visitor
      extended by gov.llnl.babel.visitor.AssertionSource

public class AssertionSource
extends Visitor


Constructor Summary
AssertionSource()
           
 
Method Summary
 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