Package net.ssehub.easy.varModel.cstEvaluation

Class LocalConfiguration

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.LocalConfiguration

All Implemented Interfaces:

IRestrictionEvaluationContext, IConfiguration

public class LocalConfiguration
extends java.lang.Object
implements IConfiguration, IRestrictionEvaluationContext

Creates a local configuration instance.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Map<AbstractVariable,IDecisionVariable>	map

Constructor Summary

Constructors

Constructor	Description
LocalConfiguration()	Creates a local configuration instance.

Method Summary

Modifier and Type	Method	Description
IDecisionVariable	addDecision(IDecisionVariable decision)	Adds a (local) decision to this configuration.
(package private) Value	bind(IDatatype type, EvaluationContext context)	Binds the given type to the first matching decision variable.
void	endEvaluation(java.lang.Object processor)	Notifies the context about the end of the evaluation.
Value	getAllInstances(IDatatype type)	Returns all instances of type.
IDecisionVariable	getDecision(AbstractVariable declaration)	Returns the specified IDecisionVariable.
(package private) void	rebind(CustomOperation actual, CustomOperation replacement)	Rebinds the parameters from actual to replacement, e.g., for dynamic dispatch.
void	setValue(IVariable variable, Version version)	Defines the value for the given variable in this context.
java.lang.Object	startEvaluation()	Notifies the context about starting the evaluation.
java.lang.String	toString()
void	unsetValue(IVariable variable)	Unsets the value for the given variable.

Methods inherited from class java.lang.Object

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

Field Detail

map

private java.util.Map<AbstractVariable,IDecisionVariable> map

Constructor Detail

LocalConfiguration

public LocalConfiguration()

Creates a local configuration instance.

Method Detail

getDecision

public IDecisionVariable getDecision(AbstractVariable declaration)

Description copied from interface: IConfiguration

Returns the specified IDecisionVariable.

Specified by:

getDecision in interface IConfiguration

Parameters:

declaration - The declaration for which the configuration entity should be returned.

Returns:

The IDecisionVariable for the given declaration

addDecision

public IDecisionVariable addDecision(IDecisionVariable decision)

Adds a (local) decision to this configuration.

Parameters:

decision - the related decision

Returns:

decision (builder pattern style)

getAllInstances

public Value getAllInstances(IDatatype type)

Description copied from interface: IConfiguration

Returns all instances of type.

Specified by:

getAllInstances in interface IConfiguration

Parameters:

type - the type to return the instances for

Returns:

all instances of type in terms of a container value consisting of references (may be null if this is not possible, e.g., in case of Integer)

bind

Value bind(IDatatype type,
           EvaluationContext context)

Binds the given type to the first matching decision variable. Rationale: Static (all-quantized) variable access needs to be bound automatically. In that case, there is an implicitly created enclosing quantor (rewritten expression), and only one, i.e., the first one can be bound.

Parameters:

type - the type to bind to

context - the evaluation context

Returns:

the bound value (may be null if there is none)

setValue

public void setValue(IVariable variable,
                     Version version)
              throws RestrictionEvaluationException

Description copied from interface: IRestrictionEvaluationContext

Defines the value for the given variable in this context. May imply that the given variable is added to the context if adequate.

Specified by:

setValue in interface IRestrictionEvaluationContext

Parameters:

variable - the variable to be defined

version - the actual value

Throws:

RestrictionEvaluationException - in case that setting the variable fails, e.g., due to type conflicts

unsetValue

public void unsetValue(IVariable variable)
                throws RestrictionEvaluationException

Description copied from interface: IRestrictionEvaluationContext

Unsets the value for the given variable. May imply that the variable is removed from the context if adequate.

Specified by:

unsetValue in interface IRestrictionEvaluationContext

Parameters:

variable - the variable to be unset

Throws:

RestrictionEvaluationException - in case that setting the variable fails, e.g., due to type conflicts

startEvaluation

public java.lang.Object startEvaluation()
                                 throws RestrictionEvaluationException

Description copied from interface: IRestrictionEvaluationContext

Notifies the context about starting the evaluation.

Specified by:

startEvaluation in interface IRestrictionEvaluationContext

Returns:

returns the evaluation processor

Throws:

RestrictionEvaluationException - in case that a sub context cannot be created

endEvaluation

public void endEvaluation(java.lang.Object processor)
                   throws RestrictionEvaluationException

Description copied from interface: IRestrictionEvaluationContext

Notifies the context about the end of the evaluation.

Specified by:

endEvaluation in interface IRestrictionEvaluationContext

Parameters:

processor - the evaluation processor for release

Throws:

RestrictionEvaluationException - in case that a sub context cannot be removed

rebind

void rebind(CustomOperation actual,
            CustomOperation replacement)

Rebinds the parameters from actual to replacement, e.g., for dynamic dispatch. As a prerequisite, actual and replacement must have the same number of parameters and compatible parameter types, i.e., replacement must have the same or more specific parameter types then actual.

Parameters:

actual - the operation for which the parameters shall be replace

replacement - the operation replacing actual

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object