Package net.ssehub.easy.varModel.cst

Class CopyVisitor

java.lang.Object

net.ssehub.easy.varModel.cst.BasicCopyVisitor

net.ssehub.easy.varModel.cst.CopyVisitor

All Implemented Interfaces:

IConstraintTreeVisitor

Direct Known Subclasses:

CSTCopyVisitor

public class CopyVisitor
extends BasicCopyVisitor

Copies a constraint syntax tree possibly mapping the variables. May be reused after calling BasicCopyVisitor.clear()

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	CopyVisitor.IVariableReplacer	Defines a common variable replacer.

Field Summary

Fields

Modifier and Type	Field	Description
private IVersionRestriction.IVariableMapper	mapper
private java.util.Map<AbstractVariable,AbstractVariable>	mapping
private CopyVisitor.IVariableReplacer	replacer

Constructor Summary

Constructors

Constructor	Description
CopyVisitor()	Creates a copy visitor without mapping.
CopyVisitor(java.util.Map<AbstractVariable,AbstractVariable> mapping)	Creates a copy visitor with explicit mapping.
CopyVisitor(IVersionRestriction.IVariableMapper mapper)	Creates a copy visitor with explicit mapping.

Method Summary

Modifier and Type	Method	Description
protected java.util.Map<AbstractVariable,AbstractVariable>	getMapping()	Returns the specified variable mapping.
protected AbstractVariable	mapVariable(AbstractVariable var)	Maps a variable.
protected DecisionVariableDeclaration	mapVariable(DecisionVariableDeclaration var)	Maps a variable.
void	visitAnnotationVariable(AttributeVariable variable)	Visits a AttributeVariable.
void	visitSelf(Self self)	Visits self.
void	visitVariable(Variable variable)	Visits a variable.

Methods inherited from class net.ssehub.easy.varModel.cst.BasicCopyVisitor

clear, getCopyExpressions, getCopyVariables, getLogger, getResult, inferDatatype, setCopyConstants, setCopyExpressions, setCopyVariables, setDoInferDatatype, setResult, visitBlockExpression, visitComment, visitCompoundAccess, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitContainerOperationCall, visitIfThen, visitLet, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitUnresolvedExpression

Methods inherited from class java.lang.Object

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

Field Detail

mapping

private java.util.Map<AbstractVariable,AbstractVariable> mapping

mapper

private IVersionRestriction.IVariableMapper mapper

replacer

private CopyVisitor.IVariableReplacer replacer

Constructor Detail

CopyVisitor

public CopyVisitor()

Creates a copy visitor without mapping.

CopyVisitor

public CopyVisitor(java.util.Map<AbstractVariable,AbstractVariable> mapping)

Creates a copy visitor with explicit mapping.

Parameters:

mapping - a mapping from old variable declarations to new variable declarations, existing variable declarations are taken over if no mapping is given, may be null in case of no mapping at all

CopyVisitor

public CopyVisitor(IVersionRestriction.IVariableMapper mapper)

Creates a copy visitor with explicit mapping.

Parameters:

mapper - the variable mapper (may be null)

Method Detail

getMapping

protected java.util.Map<AbstractVariable,AbstractVariable> getMapping()

Returns the specified variable mapping.

Returns:

A mapping from old variable declarations to new variable declarations, existing variable declarations are taken over if no mapping is given, may be null

visitVariable

public void visitVariable(Variable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a variable.

Specified by:

visitVariable in interface IConstraintTreeVisitor

Overrides:

visitVariable in class BasicCopyVisitor

Parameters:

variable - the variable which should be visited

mapVariable

protected DecisionVariableDeclaration mapVariable(DecisionVariableDeclaration var)

Description copied from class: BasicCopyVisitor

Maps a variable.

Overrides:

mapVariable in class BasicCopyVisitor

Parameters:

var - the variable to be mapped

Returns:

the mapped variable or var

mapVariable

protected AbstractVariable mapVariable(AbstractVariable var)

Description copied from class: BasicCopyVisitor

Maps a variable.

Overrides:

mapVariable in class BasicCopyVisitor

Parameters:

var - the variable to be mapped

Returns:

the mapped variable or var

visitAnnotationVariable

public void visitAnnotationVariable(AttributeVariable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a AttributeVariable.

Specified by:

visitAnnotationVariable in interface IConstraintTreeVisitor

Overrides:

visitAnnotationVariable in class BasicCopyVisitor

Parameters:

variable - the attribute variable which should be visited

visitSelf

public void visitSelf(Self self)

Description copied from interface: IConstraintTreeVisitor

Visits self.

Specified by:

visitSelf in interface IConstraintTreeVisitor

Overrides:

visitSelf in class BasicCopyVisitor

Parameters:

self - the self object to visit