net.ssehub.easy.reasoning.core.reasoner

Class AttributeValues.ResolutionVisitor

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.AttributeValues.ResolutionVisitor

All Implemented Interfaces:

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

Enclosing class:

AttributeValues

private class AttributeValues.ResolutionVisitor
extends java.lang.Object
implements net.ssehub.easy.varModel.model.IModelVisitor

A visitor for resolving attribute values.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<net.ssehub.easy.varModel.model.Attribute,java.util.List<net.ssehub.easy.varModel.model.values.Value>>	assignments
private java.lang.StringBuilder	errors

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ResolutionVisitor()

Method Summary

Modifier and Type	Method and Description
java.util.Map<net.ssehub.easy.varModel.model.Attribute,java.util.List<net.ssehub.easy.varModel.model.values.Value>>	getAssignments() Returns the actual assignments.
java.lang.String	getErrors() Returns the errors occurred while assignment.
private void	resolve(net.ssehub.easy.varModel.model.IAttributableElement elt) Resolves an attributable element.
void	visitAttribute(net.ssehub.easy.varModel.model.Attribute attribute)
void	visitAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assignment)
void	visitComment(net.ssehub.easy.varModel.model.Comment comment)
void	visitCompound(net.ssehub.easy.varModel.model.datatypes.Compound compound)
void	visitCompoundAccessStatement(net.ssehub.easy.varModel.model.CompoundAccessStatement access)
void	visitConstraint(net.ssehub.easy.varModel.model.Constraint constraint)
void	visitDecisionVariableDeclaration(net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)
void	visitDerivedDatatype(net.ssehub.easy.varModel.model.datatypes.DerivedDatatype datatype)
void	visitEnum(net.ssehub.easy.varModel.model.datatypes.Enum eenum)
void	visitEnumLiteral(net.ssehub.easy.varModel.model.datatypes.EnumLiteral literal)
void	visitFreezeBlock(net.ssehub.easy.varModel.model.FreezeBlock freeze)
void	visitOperationDefinition(net.ssehub.easy.varModel.model.OperationDefinition opdef)
void	visitOrderedEnum(net.ssehub.easy.varModel.model.datatypes.OrderedEnum eenum)
void	visitPartialEvaluationBlock(net.ssehub.easy.varModel.model.PartialEvaluationBlock block)
void	visitProject(net.ssehub.easy.varModel.model.Project project)
void	visitProjectImport(net.ssehub.easy.varModel.model.ProjectImport pImport)
void	visitProjectInterface(net.ssehub.easy.varModel.model.ProjectInterface iface)
void	visitReference(net.ssehub.easy.varModel.model.datatypes.Reference reference)
void	visitSequence(net.ssehub.easy.varModel.model.datatypes.Sequence sequence)
void	visitSet(net.ssehub.easy.varModel.model.datatypes.Set set)

Methods inherited from class java.lang.Object

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

Field Detail

assignments

private java.util.Map<net.ssehub.easy.varModel.model.Attribute,java.util.List<net.ssehub.easy.varModel.model.values.Value>> assignments

errors

private java.lang.StringBuilder errors

Constructor Detail

ResolutionVisitor

private ResolutionVisitor()

Method Detail

getAssignments

public java.util.Map<net.ssehub.easy.varModel.model.Attribute,java.util.List<net.ssehub.easy.varModel.model.values.Value>> getAssignments()

Returns the actual assignments.

Returns:

the actual assignments

getErrors

public java.lang.String getErrors()

Returns the errors occurred while assignment.

Returns:

the errors

visitEnum

public void visitEnum(net.ssehub.easy.varModel.model.datatypes.Enum eenum)

Specified by:

visitEnum in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitOrderedEnum

public void visitOrderedEnum(net.ssehub.easy.varModel.model.datatypes.OrderedEnum eenum)

Specified by:

visitOrderedEnum in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitCompound

public void visitCompound(net.ssehub.easy.varModel.model.datatypes.Compound compound)

Specified by:

visitCompound in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitDerivedDatatype

public void visitDerivedDatatype(net.ssehub.easy.varModel.model.datatypes.DerivedDatatype datatype)

Specified by:

visitDerivedDatatype in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitEnumLiteral

public void visitEnumLiteral(net.ssehub.easy.varModel.model.datatypes.EnumLiteral literal)

Specified by:

visitEnumLiteral in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitReference

public void visitReference(net.ssehub.easy.varModel.model.datatypes.Reference reference)

Specified by:

visitReference in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitSequence

public void visitSequence(net.ssehub.easy.varModel.model.datatypes.Sequence sequence)

Specified by:

visitSequence in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitSet

public void visitSet(net.ssehub.easy.varModel.model.datatypes.Set set)

Specified by:

visitSet in interface net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor

visitProject

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

Specified by:

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

visitProjectImport

public void visitProjectImport(net.ssehub.easy.varModel.model.ProjectImport pImport)

Specified by:

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

visitDecisionVariableDeclaration

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

Specified by:

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

visitAttribute

public void visitAttribute(net.ssehub.easy.varModel.model.Attribute attribute)

Specified by:

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

visitConstraint

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

Specified by:

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

visitFreezeBlock

public void visitFreezeBlock(net.ssehub.easy.varModel.model.FreezeBlock freeze)

Specified by:

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

visitOperationDefinition

public void visitOperationDefinition(net.ssehub.easy.varModel.model.OperationDefinition opdef)

Specified by:

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

visitPartialEvaluationBlock

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

Specified by:

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

visitProjectInterface

public void visitProjectInterface(net.ssehub.easy.varModel.model.ProjectInterface iface)

Specified by:

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

visitComment

public void visitComment(net.ssehub.easy.varModel.model.Comment comment)

Specified by:

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

visitAttributeAssignment

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

Specified by:

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

resolve

private void resolve(net.ssehub.easy.varModel.model.IAttributableElement elt)

Resolves an attributable element.

Parameters:

elt - the element to be resolved

visitCompoundAccessStatement

public void visitCompoundAccessStatement(net.ssehub.easy.varModel.model.CompoundAccessStatement access)

Specified by:

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