Package net.ssehub.easy.varModel.cstEvaluation

Class VariableValueCopier.SourceBasedFreezeProvider

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.VariableValueCopier.SourceBasedFreezeProvider

All Implemented Interfaces:

IFreezeSelector, VariableValueCopier.IFreezeProvider

Enclosing class:

VariableValueCopier

private static class VariableValueCopier.SourceBasedFreezeProvider
extends Object
implements VariableValueCopier.IFreezeProvider, IFreezeSelector

A freeze provider based on known frozen assignment states.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private IDecisionVariable	source
private IDecisionVariable	target

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SourceBasedFreezeProvider(IDecisionVariable source, IDecisionVariable target)	Creates a freeze provider based on a given variable pair.

Method Summary

Modifier and Type	Method	Description
ConstraintSyntaxTree	createButExpression(DecisionVariableDeclaration freezeIter)	Creates the freeze-but expression.
private IDecisionVariable	findCorrespondence(IDecisionVariable tVar)	Finds the corresponding variable for tVar (assumed to be within the nesting hierarchy of target) within the nesting hierarchy of source.
String	getFreezeVariableName()	The name of the freeze variable.
IFreezeSelector	getSelector()	Returns a freeze selector to use.
boolean	shallFreeze(IDecisionVariable variable)	Returns whether variable shall be frozen.

Methods inherited from class java.lang.Object

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

Field Details

source

private IDecisionVariable source

target

private IDecisionVariable target

Constructor Details

SourceBasedFreezeProvider

private SourceBasedFreezeProvider(IDecisionVariable source,
 IDecisionVariable target)

Creates a freeze provider based on a given variable pair.

Parameters:

source - the source variable to take the states from

target - the target variable to identify variables to be frozen within and to search for a correspondence within source

Method Details

getFreezeVariableName

public String getFreezeVariableName()

Description copied from interface: VariableValueCopier.IFreezeProvider

The name of the freeze variable.

Specified by:

getFreezeVariableName in interface VariableValueCopier.IFreezeProvider

Returns:

the name

createButExpression

public ConstraintSyntaxTree createButExpression(DecisionVariableDeclaration freezeIter)
                                         throws CSTSemanticException,
ValueDoesNotMatchTypeException

Description copied from interface: VariableValueCopier.IFreezeProvider

Creates the freeze-but expression.

Specified by:

createButExpression in interface VariableValueCopier.IFreezeProvider

Parameters:

freezeIter - the freeze iterator variable (of type FreezeVariableType)

Returns:

the but-expression

Throws:

CSTSemanticException - in case that the but-expression was not constructed correctly

ValueDoesNotMatchTypeException - in case that creating values fails

getSelector

public IFreezeSelector getSelector()

Description copied from interface: VariableValueCopier.IFreezeProvider

Returns a freeze selector to use.

Specified by:

getSelector in interface VariableValueCopier.IFreezeProvider

Returns:

the selector or null for none, i.e., create an internal freeze-block based on the information in this provider

shallFreeze

public boolean shallFreeze(IDecisionVariable variable)

Description copied from interface: IFreezeSelector

Returns whether variable shall be frozen.

Specified by:

shallFreeze in interface IFreezeSelector

Parameters:

variable - the variable to be tested

Returns:

true if variable shall be frozen, false else

findCorrespondence

private IDecisionVariable findCorrespondence(IDecisionVariable tVar)

Finds the corresponding variable for tVar (assumed to be within the nesting hierarchy of target) within the nesting hierarchy of source.

Parameters:

tVar - the variable to search for

Returns:

the corresponding variable within the nesting hierarchy of source or null for none found.