net.ssehub.easy.reasoning.core.reasoner

Class AttributesCheckVisitor

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.AttributesCheckVisitor

All Implemented Interfaces:

net.ssehub.easy.varModel.confModel.IConfigurationVisitor

public class AttributesCheckVisitor
extends java.lang.Object
implements net.ssehub.easy.varModel.confModel.IConfigurationVisitor

A visitor for checking frozen values for all variables which correspond to a given (temporary) assignment of attribute values.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	isValid
private ReasoningResult	result
private java.util.Map<java.lang.String,java.util.List<net.ssehub.easy.varModel.model.values.Value>>	values

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AttributesCheckVisitor(ReasoningResult result, AttributeValues values) Creates a new visitor storing the given instances for processing.

Method Summary

Modifier and Type	Method and Description
static boolean	check(net.ssehub.easy.varModel.confModel.Configuration configuration, AttributeValues values, ReasoningResult result) Checks the given configuration with respect to values and adjusts result if required.
static boolean	check(net.ssehub.easy.varModel.confModel.Configuration configuration, ReasonerConfiguration reasonerConfiguration, ReasoningResult result) Checks the given configuration with respect to values and adjusts result if required.
private boolean	checkDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Checks a single variable.
private boolean	checkDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable attribute, net.ssehub.easy.varModel.confModel.IAssignmentState state) Checks a single variable.
static Message	createMessage(java.lang.String variableName, java.lang.String attributeName, net.ssehub.easy.varModel.model.values.Value value, net.ssehub.easy.varModel.model.ModelElement conflictingModelElement) Creates the error message in case that an attribute assignment is missing.
private static java.lang.String	getQualifiedName(net.ssehub.easy.varModel.confModel.IDecisionVariable variable) Returns the qualified name of the given decision variable.
boolean	isValid() Returns whether the given configuration is valid with respect to the given set of attributes and the actual values of the attributes.
void	visitConfiguration(net.ssehub.easy.varModel.confModel.Configuration configuration)
void	visitDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Methods inherited from class java.lang.Object

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

Field Detail

result

private ReasoningResult result

values

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

isValid

private boolean isValid

Constructor Detail

AttributesCheckVisitor

private AttributesCheckVisitor(ReasoningResult result,
                               AttributeValues values)

Creates a new visitor storing the given instances for processing.

Parameters:

values - the attribute values used as basis for the check (may be null)

result - the reasoning results (may be modified as a side effect)

Method Detail

check

public static boolean check(net.ssehub.easy.varModel.confModel.Configuration configuration,
                            ReasonerConfiguration reasonerConfiguration,
                            ReasoningResult result)

Checks the given configuration with respect to values and adjusts result if required.

Parameters:

configuration - the configuration to be checked (will not be modified)

reasonerConfiguration - the configuration holding the attribute values (may be null)

result - the reasoning results (may be modified as a side effect)

Returns:

true if the configuration is valid, false else

check

public static boolean check(net.ssehub.easy.varModel.confModel.Configuration configuration,
                            AttributeValues values,
                            ReasoningResult result)

Checks the given configuration with respect to values and adjusts result if required.

Parameters:

configuration - the configuration to be checked (will not be modified)

values - the attribute values used as basis for the check (may be null)

result - the reasoning results (may be modified as a side effect)

Returns:

true if the configuration is valid, false else

isValid

public boolean isValid()

Returns whether the given configuration is valid with respect to the given set of attributes and the actual values of the attributes.

Returns:

true if the configuration is valid, false else

visitConfiguration

public void visitConfiguration(net.ssehub.easy.varModel.confModel.Configuration configuration)

Specified by:

visitConfiguration in interface net.ssehub.easy.varModel.confModel.IConfigurationVisitor

visitDecisionVariable

public void visitDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Specified by:

visitDecisionVariable in interface net.ssehub.easy.varModel.confModel.IConfigurationVisitor

checkDecisionVariable

private boolean checkDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Checks a single variable.

Parameters:

variable - the configuration value to be checked

Returns:

true if the configuration is valid, false else

getQualifiedName

private static java.lang.String getQualifiedName(net.ssehub.easy.varModel.confModel.IDecisionVariable variable)

Returns the qualified name of the given decision variable.

Parameters:

variable - the qualified name of the given decision variable

Returns:

the qualified name

checkDecisionVariable

private boolean checkDecisionVariable(net.ssehub.easy.varModel.confModel.IDecisionVariable attribute,
                                      net.ssehub.easy.varModel.confModel.IAssignmentState state)

Checks a single variable.

Parameters:

attribute - the variable representing the attribute

state - the assignment state of the variable being attributed by attribute

Returns:

true if the configuration is valid, false else

createMessage

public static Message createMessage(java.lang.String variableName,
                                    java.lang.String attributeName,
                                    net.ssehub.easy.varModel.model.values.Value value,
                                    net.ssehub.easy.varModel.model.ModelElement conflictingModelElement)

Creates the error message in case that an attribute assignment is missing.

Parameters:

variableName - the name of the variable causing the error

attributeName - the name of the required attribute

value - the value of the required attribute

conflictingModelElement - the model element representing the conflict (may be null if irrelevant)

Returns:

the message instance