Package net.ssehub.easy.varModel.model
Interface IModelVisitor
- All Superinterfaces:
ICustomDatatypeVisitor
- All Known Implementing Classes:
AbstractDeclarationFinder,AbstractFrozenElementsFinder,AbstractProjectVisitor,AbstractVarModelWriter,AbstractVisitor,AnnotationAssignmentFinder,AssignmentResolver.AssignBlockVisitor,ConfigurableIVMLWriter,ConstraintFinder,ConstraintSplitWriter,DatatypeFinder,DeclarationFinder,DeclarationInContainerFinder,DeclarationMapper,DeletedElementsCollector,EvalBlockFinder,FreezeBlockFinder,FrozenElementsFinder,InitialStructureCollector,IvmlValidationVisitor,IVMLWriter,MandatoryDeclarationClassifier,ModelElementTypeFinder,ModelStatistics.StatisticsVisitor,ModelVisitorAdapter,NamespaceFinder,PrefixSearchVisitor,ProjectCopyVisitor,ProjectInterfaceFinder,ProjectRewriteVisitor,VariableUsage
IModelVisitor interface.
Derived visitors can be used for:
The IVML data model provides further visitors which are specific for the values or the constraint syntax tree. A specific visitor implementation may implement all required interfaces at once or delegate to individual classes implementing the interfaces.
Derived visitors can be used for:
- saving
- copying
- testing properties such as (partial) equality
- translating a model
AbstractVisitor for
a basic implementation of default visiting sequences.The IVML data model provides further visitors which are specific for the values or the constraint syntax tree. A specific visitor implementation may implement all required interfaces at once or delegate to individual classes implementing the interfaces.
- Author:
- Lueder, El-Sharkawy, Holger Eichelberger
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionvoidvisitAttribute(Attribute attribute) Method for visiting an attribute.voidvisitAttributeAssignment(AttributeAssignment assignment) Visits an attribute assignment.voidvisitComment(Comment comment) Method for visiting a comment.voidVisits a compound access statement (may occur in freeze blocks.voidvisitConstraint(Constraint constraint) Method for visiting a constraint.voidThis method is used for visiting a decision variable declaration.voidvisitFreezeBlock(FreezeBlock freeze) Method for visiting a freeze block.voidMethod for visiting an operation definition.voidMethod for visiting a partial evaluation block.voidvisitProject(Project project) Method for visiting a project.voidvisitProjectImport(ProjectImport pImport) This method is used for visiting a ProjectImport.voidMethod for visiting a project interface.Methods inherited from interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor
visitCompound, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitOrderedEnum, visitReference, visitSequence, visitSet
-
Method Details
-
visitProject
Method for visiting a project.- Parameters:
project- The project which should be visited.
-
visitProjectImport
This method is used for visiting a ProjectImport.- Parameters:
pImport- One ProjectImport which should be visited.
-
visitDecisionVariableDeclaration
This method is used for visiting a decision variable declaration.- Parameters:
decl- One declaration which should be visited.
-
visitAttribute
Method for visiting an attribute.- Parameters:
attribute- The attribute which should be visited.
-
visitConstraint
Method for visiting a constraint.- Parameters:
constraint- The constraint which should be visited.
-
visitFreezeBlock
Method for visiting a freeze block.- Parameters:
freeze- The freeze block which should be visited.
-
visitOperationDefinition
Method for visiting an operation definition.- Parameters:
opdef- The operation definition which should be visited.
-
visitPartialEvaluationBlock
Method for visiting a partial evaluation block.- Parameters:
block- The partial evaluation block which should be visited.
-
visitProjectInterface
Method for visiting a project interface.- Parameters:
iface- The interface which should be visited.
-
visitComment
Method for visiting a comment.- Parameters:
comment- the comment to visit
-
visitAttributeAssignment
Visits an attribute assignment.- Parameters:
assignment- the assignment to visit
-
visitCompoundAccessStatement
Visits a compound access statement (may occur in freeze blocks.- Parameters:
access- the access statement
-