Package net.ssehub.easy.varModel.cstEvaluation

Class EvaluationUtils.VariableReplacer

java.lang.Object

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

All Implemented Interfaces:

net.ssehub.easy.basics.modelManagement.IVersionRestriction.IVariableMapper, CopyVisitor.IVariableReplacer

Enclosing class:

EvaluationUtils

static class EvaluationUtils.VariableReplacer
extends Object
implements CopyVisitor.IVariableReplacer

Implements a variable replacer.

Author:

Holger Eichelberger

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
net.ssehub.easy.basics.modelManagement.IVariable	map(net.ssehub.easy.basics.modelManagement.IVariable variable)
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 Details

iter

private Variable iter

decls

private List<AbstractVariable> decls

Constructor Details

VariableReplacer

VariableReplacer(DecisionVariableDeclaration iter,
 List<AbstractVariable> decls)

Creates a variable replacer.

Parameters:

iter - the iter declaration to be replaced

decls - the replacing declarations

Method Details

map

public net.ssehub.easy.basics.modelManagement.IVariable map(net.ssehub.easy.basics.modelManagement.IVariable variable)

Specified by:

map in interface net.ssehub.easy.basics.modelManagement.IVersionRestriction.IVariableMapper

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