Package net.ssehub.easy.varModel.cstEvaluation

Class IndexAccessor

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.EvaluationAccessor

net.ssehub.easy.varModel.cstEvaluation.AbstractDecisionVariableEvaluationAccessor

net.ssehub.easy.varModel.cstEvaluation.IndexAccessor

class IndexAccessor
extends AbstractDecisionVariableEvaluationAccessor

Implements an accessor for index access. May lead to a constant value after evaluation.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private int	index
static Pool<IndexAccessor>	POOL

Constructor Summary

Constructors

Modifier	Constructor	Description
private	IndexAccessor()	Creates an instance.

Method Summary

Modifier and Type	Method	Description
protected IndexAccessor	bind(IDecisionVariable variable, EvaluationContext context, int index)	Binds this accessor.
Value	getReferenceValue()	Returns the value of a reference to the accessed element.
Value	getValue()	Returns the value of the accessed element.
boolean	isAssignable()	Returns whether values can be assigned to this evaluator.
void	release()	Releases this instance.
boolean	setValue(Value value, boolean asAssignment)	Defines a new value for the accessed element.

Methods inherited from class net.ssehub.easy.varModel.cstEvaluation.AbstractDecisionVariableEvaluationAccessor

bind, clear, getVariable, isLocal, notifyVariableChange, toString

Methods inherited from class net.ssehub.easy.varModel.cstEvaluation.EvaluationAccessor

addBoundContainerElement, addBoundContainerElement, bind, bindContainer, bindContainer, clearContainerElements, dereferenceIfNeeded, getBoundContainerElement, getBoundContainerElementCount, getContext, getDereferencedValue, getValue, isAssigned, isConstant, release, setValue, validateContext

Methods inherited from class java.lang.Object

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

Field Detail

POOL

public static final Pool<IndexAccessor> POOL

index

private int index

Constructor Detail

IndexAccessor

private IndexAccessor()

Creates an instance. Private due to pooling.

Method Detail

bind

protected IndexAccessor bind(IDecisionVariable variable,
                             EvaluationContext context,
                             int index)

Binds this accessor.

Parameters:

variable - the underlying variable

context - the evaluation context

index - the index into the variable

Returns:

this (builder pattern)

getValue

public Value getValue()

Description copied from class: EvaluationAccessor

Returns the value of the accessed element.

Specified by:

getValue in class EvaluationAccessor

Returns:

the value (may be null if undefined)

setValue

public boolean setValue(Value value,
                        boolean asAssignment)

Description copied from class: EvaluationAccessor

Defines a new value for the accessed element. In case of failures, add appropriate messages to the context.

Specified by:

setValue in class EvaluationAccessor

Parameters:

value - the new value

asAssignment - does this happen through an IVML assignment operation

Returns:

true if successful, false else

isAssignable

public boolean isAssignable()

Description copied from class: EvaluationAccessor

Returns whether values can be assigned to this evaluator.

Specified by:

isAssignable in class EvaluationAccessor

Returns:

true if values can be assigned, false else

release

public void release()

Description copied from class: EvaluationAccessor

Releases this instance.

Specified by:

release in class EvaluationAccessor

getReferenceValue

public Value getReferenceValue()

Description copied from class: EvaluationAccessor

Returns the value of a reference to the accessed element.

Overrides:

getReferenceValue in class AbstractDecisionVariableEvaluationAccessor

Returns:

the value (may be null if undefined)