Package net.ssehub.easy.reasoning.sseReasoner

Class Resolver.ConstraintTranslationVisitor

java.lang.Object

net.ssehub.easy.varModel.model.ModelVisitorAdapter

net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor

All Implemented Interfaces:

ICustomDatatypeVisitor, IModelVisitor

Enclosing class:

Resolver

private class Resolver.ConstraintTranslationVisitor
extends ModelVisitorAdapter

Visits the contents of a project for translation. Do not store stateful information in this class.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.List<PartialEvaluationBlock>	evals

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ConstraintTranslationVisitor()

Method Summary

Modifier and Type	Method	Description
void	visitAttributeAssignment(AttributeAssignment assignment)	Visits an attribute assignment.
void	visitConstraint(Constraint constraint)	Method for visiting a constraint.
void	visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)	This method is used for visiting a decision variable declaration.
void	visitPartialEvaluationBlock(PartialEvaluationBlock block)	Method for visiting a partial evaluation block.
void	visitProject(Project project)	Method for visiting a project.

Methods inherited from class net.ssehub.easy.varModel.model.ModelVisitorAdapter

visitAttribute, visitComment, visitCompound, visitCompoundAccessStatement, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitFreezeBlock, visitOperationDefinition, visitOrderedEnum, visitProjectImport, visitProjectInterface, visitReference, visitSequence, visitSet

Methods inherited from class java.lang.Object

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

Field Detail

evals

private java.util.List<PartialEvaluationBlock> evals

Constructor Detail

ConstraintTranslationVisitor

private ConstraintTranslationVisitor()

Method Detail

visitProject

public void visitProject(Project project)

Description copied from interface: IModelVisitor

Method for visiting a project.

Specified by:

visitProject in interface IModelVisitor

Overrides:

visitProject in class ModelVisitorAdapter

Parameters:

project - The project which should be visited.

visitDecisionVariableDeclaration

public void visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)

Description copied from interface: IModelVisitor

This method is used for visiting a decision variable declaration.

Specified by:

visitDecisionVariableDeclaration in interface IModelVisitor

Overrides:

visitDecisionVariableDeclaration in class ModelVisitorAdapter

Parameters:

decl - One declaration which should be visited.

visitConstraint

public void visitConstraint(Constraint constraint)

Description copied from interface: IModelVisitor

Method for visiting a constraint.

Specified by:

visitConstraint in interface IModelVisitor

Overrides:

visitConstraint in class ModelVisitorAdapter

Parameters:

constraint - The constraint which should be visited.

visitPartialEvaluationBlock

public void visitPartialEvaluationBlock(PartialEvaluationBlock block)

Description copied from interface: IModelVisitor

Method for visiting a partial evaluation block.

Specified by:

visitPartialEvaluationBlock in interface IModelVisitor

Overrides:

visitPartialEvaluationBlock in class ModelVisitorAdapter

Parameters:

block - The partial evaluation block which should be visited.

visitAttributeAssignment

public void visitAttributeAssignment(AttributeAssignment assignment)

Description copied from interface: IModelVisitor

Visits an attribute assignment.

Specified by:

visitAttributeAssignment in interface IModelVisitor

Overrides:

visitAttributeAssignment in class ModelVisitorAdapter

Parameters:

assignment - the assignment to visit