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:

net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor, net.ssehub.easy.varModel.model.IModelVisitor

Enclosing class:

Resolver

private class Resolver.ConstraintTranslationVisitor
extends net.ssehub.easy.varModel.model.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 and Description
private java.util.List<net.ssehub.easy.varModel.model.PartialEvaluationBlock>	evals

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ConstraintTranslationVisitor()

Method Summary

Modifier and Type	Method and Description
void	visitAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assignment)
void	visitConstraint(net.ssehub.easy.varModel.model.Constraint constraint)
void	visitDecisionVariableDeclaration(net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)
void	visitPartialEvaluationBlock(net.ssehub.easy.varModel.model.PartialEvaluationBlock block)
void	visitProject(net.ssehub.easy.varModel.model.Project 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<net.ssehub.easy.varModel.model.PartialEvaluationBlock> evals

Constructor Detail

ConstraintTranslationVisitor

private ConstraintTranslationVisitor()

Method Detail

visitProject

public void visitProject(net.ssehub.easy.varModel.model.Project project)

Specified by:

visitProject in interface net.ssehub.easy.varModel.model.IModelVisitor

Overrides:

visitProject in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

visitDecisionVariableDeclaration

public void visitDecisionVariableDeclaration(net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)

Specified by:

visitDecisionVariableDeclaration in interface net.ssehub.easy.varModel.model.IModelVisitor

Overrides:

visitDecisionVariableDeclaration in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

visitConstraint

public void visitConstraint(net.ssehub.easy.varModel.model.Constraint constraint)

Specified by:

visitConstraint in interface net.ssehub.easy.varModel.model.IModelVisitor

Overrides:

visitConstraint in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

visitPartialEvaluationBlock

public void visitPartialEvaluationBlock(net.ssehub.easy.varModel.model.PartialEvaluationBlock block)

Specified by:

visitPartialEvaluationBlock in interface net.ssehub.easy.varModel.model.IModelVisitor

Overrides:

visitPartialEvaluationBlock in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

visitAttributeAssignment

public void visitAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assignment)

Specified by:

visitAttributeAssignment in interface net.ssehub.easy.varModel.model.IModelVisitor

Overrides:

visitAttributeAssignment in class net.ssehub.easy.varModel.model.ModelVisitorAdapter