Package net.ssehub.easy.varModel.cstEvaluation

Class EvaluationUtils.VariableReplacer

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.EvaluationUtils.VariableReplacer

All Implemented Interfaces:

IVersionRestriction.IVariableMapper, CopyVisitor.IVariableReplacer

Enclosing class:

EvaluationUtils

static class EvaluationUtils.VariableReplacer
extends java.lang.Object
implements CopyVisitor.IVariableReplacer

Implements a variable replacer.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.List<AbstractVariable>	decls
private Variable	iter

Constructor Summary

Constructors

Constructor	Description
VariableReplacer(DecisionVariableDeclaration iter, java.util.List<AbstractVariable> decls)	Creates a variable replacer.

Method Summary

Modifier and Type	Method	Description
IVariable	map(IVariable variable)	Maps variable to its copied version.
ConstraintSyntaxTree	mapLeaf(Variable variable)	Maps a leaf variable.
ConstraintSyntaxTree	mapSelf(Self self)	Maps a leaf node.

Methods inherited from class java.lang.Object

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

Field Detail

iter

private Variable iter

decls

private java.util.List<AbstractVariable> decls

Constructor Detail

VariableReplacer

VariableReplacer(DecisionVariableDeclaration iter,
                 java.util.List<AbstractVariable> decls)

Creates a variable replacer.

Parameters:

iter - the iter declaration to be replaced

decls - the replacing declarations

Method Detail

map

public IVariable map(IVariable variable)

Description copied from interface: IVersionRestriction.IVariableMapper

Maps variable to its copied version.

Specified by:

map in interface IVersionRestriction.IVariableMapper

Parameters:

variable - the variable

Returns:

the mapped variable (may be null if there is no mapping)

mapLeaf

public ConstraintSyntaxTree mapLeaf(Variable variable)

Description copied from interface: CopyVisitor.IVariableReplacer

Maps a leaf variable.

Specified by:

mapLeaf in interface CopyVisitor.IVariableReplacer

Parameters:

variable - the variable to be mapped

Returns:

the mapped expression or null if there is no mapping

mapSelf

public ConstraintSyntaxTree mapSelf(Self self)

Description copied from interface: CopyVisitor.IVariableReplacer

Maps a leaf node.

Specified by:

mapSelf in interface CopyVisitor.IVariableReplacer

Parameters:

self - the node to be mapped

Returns:

the mapped expression or null if there is no mapping