Package net.ssehub.easy.varModel.cst

Class ConstraintReplacer

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintReplacer

All Implemented Interfaces:

IConstraintTreeVisitor

public class ConstraintReplacer
extends Object
implements IConstraintTreeVisitor

Class to copy an expression. May be superseded by CopyVisitor.

Author:

beck, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	copiedConstraint
private static final net.ssehub.easy.basics.logger.EASyLoggerFactory.EASyLogger	LOGGER
private Map<Leaf,Leaf>	mapping
private ConstraintSyntaxTree	origin
private Map<AbstractVariable,AbstractVariable>	varMapping

Constructor Summary

Constructors

Constructor	Description
ConstraintReplacer(ConstraintSyntaxTree origin)	Creates a ConstraintReplacer witch is needed to copy a OCLFeatureCall.

Method Summary

Modifier and Type	Method	Description
private AbstractVariable	map(AbstractVariable var)	Maps an abstract variable for proper copying.
private DecisionVariableDeclaration	map(DecisionVariableDeclaration var)	Maps a decision variable for proper copying.
private void	replace(Leaf oldLeaf)	Replaces a leaf if in mapping.
ConstraintSyntaxTree	replaceVariable(Leaf oldLeaf, Leaf newLeaf)	Copies a ConstraintSyntaxTree and replaces all occurrences of oldLeaf with newLeaf.
private void	resolve()	Resolves the type of copiedConstraint.
void	visitAnnotationVariable(AttributeVariable variable)	Visits a AttributeVariable.
void	visitBlockExpression(BlockExpression block)	Visits the block.
void	visitComment(Comment comment)	Visits a comment.
void	visitCompoundAccess(CompoundAccess access)	Visits a compound access node.
void	visitCompoundInitializer(CompoundInitializer initializer)	Visits a compound initializer.
void	visitConstantValue(ConstantValue value)	Visits a constant value.
void	visitContainerInitializer(ContainerInitializer initializer)	Visits a container initializer.
void	visitContainerOperationCall(ContainerOperationCall call)	Visits a container operation call (e.g.
void	visitDeferInitExpression(DeferInitExpression expression)	Visits a default init expression.
void	visitIfThen(IfThen ifThen)	Visits an if-then-else expression.
void	visitLet(Let let)	Visits a let expression.
void	visitMultiAndExpression(MultiAndExpression expression)	Visits a multi-and expression.
void	visitOclFeatureCall(OCLFeatureCall call)	Visits an OCL feature call.
void	visitParenthesis(Parenthesis parenthesis)	Visits a parenthesis.
void	visitSelf(Self self)	Visits self.
void	visitUnresolvedExpression(UnresolvedExpression expression)	Visits an unresolved expression.
void	visitVariable(Variable variable)	Visits a variable.

Methods inherited from class java.lang.Object

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

Field Details

LOGGER

private static final net.ssehub.easy.basics.logger.EASyLoggerFactory.EASyLogger LOGGER

mapping

private Map<Leaf,Leaf> mapping

varMapping

private Map<AbstractVariable,AbstractVariable> varMapping

copiedConstraint

private ConstraintSyntaxTree copiedConstraint

origin

private ConstraintSyntaxTree origin

Constructor Details

ConstraintReplacer

public ConstraintReplacer(ConstraintSyntaxTree origin)

Creates a ConstraintReplacer witch is needed to copy a OCLFeatureCall.

Parameters:

origin - ConstraintSyntaxTree witch should be copied

Method Details

replaceVariable

public ConstraintSyntaxTree replaceVariable(Leaf oldLeaf,
 Leaf newLeaf)

Copies a ConstraintSyntaxTree and replaces all occurrences of oldLeaf with newLeaf.

Parameters:

oldLeaf - Variables and Constants witch should be replaced

newLeaf - Replacement of oldLeaf

Returns:

returns a new ConstraintSyntaxTree

visitConstantValue

public void visitConstantValue(ConstantValue value)

Description copied from interface: IConstraintTreeVisitor

Visits a constant value.

Specified by:

visitConstantValue in interface IConstraintTreeVisitor

Parameters:

value - the value which should be visited

visitVariable

public void visitVariable(Variable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a variable.

Specified by:

visitVariable in interface IConstraintTreeVisitor

Parameters:

variable - the variable which should be visited

replace

private void replace(Leaf oldLeaf)

Replaces a leaf if in mapping.

Parameters:

oldLeaf - the candidate for replacement

visitParenthesis

public void visitParenthesis(Parenthesis parenthesis)

Description copied from interface: IConstraintTreeVisitor

Visits a parenthesis.

Specified by:

visitParenthesis in interface IConstraintTreeVisitor

Parameters:

parenthesis - the parenthesis which should be visited

visitDeferInitExpression

public void visitDeferInitExpression(DeferInitExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits a default init expression.

Specified by:

visitDeferInitExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression

visitCompoundInitializer

public void visitCompoundInitializer(CompoundInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a compound initializer.

Specified by:

visitCompoundInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the compound initializer node

visitContainerInitializer

public void visitContainerInitializer(ContainerInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a container initializer.

Specified by:

visitContainerInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the container initializer node

visitComment

public void visitComment(Comment comment)

Description copied from interface: IConstraintTreeVisitor

Visits a comment.

Specified by:

visitComment in interface IConstraintTreeVisitor

Parameters:

comment - the comment node which should be visited

visitOclFeatureCall

public void visitOclFeatureCall(OCLFeatureCall call)

Description copied from interface: IConstraintTreeVisitor

Visits an OCL feature call.

Specified by:

visitOclFeatureCall in interface IConstraintTreeVisitor

Parameters:

call - the feature call which should be visited

visitMultiAndExpression

public void visitMultiAndExpression(MultiAndExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits a multi-and expression.

Specified by:

visitMultiAndExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression to be visited

resolve

private void resolve()

Resolves the type of copiedConstraint.

visitLet

public void visitLet(Let let)

Description copied from interface: IConstraintTreeVisitor

Visits a let expression.

Specified by:

visitLet in interface IConstraintTreeVisitor

Parameters:

let - the let expression which should be visited

visitIfThen

public void visitIfThen(IfThen ifThen)

Description copied from interface: IConstraintTreeVisitor

Visits an if-then-else expression.

Specified by:

visitIfThen in interface IConstraintTreeVisitor

Parameters:

ifThen - the if-then-else expression which should be visited

visitContainerOperationCall

public void visitContainerOperationCall(ContainerOperationCall call)

Description copied from interface: IConstraintTreeVisitor

Visits a container operation call (e.g. quantors, iterators).

Specified by:

visitContainerOperationCall in interface IConstraintTreeVisitor

Parameters:

call - the container operation call

map

private AbstractVariable map(AbstractVariable var)

Maps an abstract variable for proper copying.

Parameters:

var - the variable to be mapped

Returns:

the mapped variable

map

private DecisionVariableDeclaration map(DecisionVariableDeclaration var)

Maps a decision variable for proper copying.

Parameters:

var - the variable to be mapped

Returns:

the mapped variable

visitCompoundAccess

public void visitCompoundAccess(CompoundAccess access)

Description copied from interface: IConstraintTreeVisitor

Visits a compound access node.

Specified by:

visitCompoundAccess in interface IConstraintTreeVisitor

Parameters:

access - the compound access node

visitUnresolvedExpression

public void visitUnresolvedExpression(UnresolvedExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits an unresolved expression. Please note that an unresolved expression may represent a leaf as well as an inner tree node. Typically, visitors shall continue visiting transparently at UnresolvedExpression.getActualExpression().

Specified by:

visitUnresolvedExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression

visitSelf

public void visitSelf(Self self)

Description copied from interface: IConstraintTreeVisitor

Visits self.

Specified by:

visitSelf in interface IConstraintTreeVisitor

Parameters:

self - the self object to visit

visitAnnotationVariable

public void visitAnnotationVariable(AttributeVariable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a AttributeVariable.

Specified by:

visitAnnotationVariable in interface IConstraintTreeVisitor

Parameters:

variable - the attribute variable which should be visited

visitBlockExpression

public void visitBlockExpression(BlockExpression block)

Description copied from interface: IConstraintTreeVisitor

Visits the block.

Specified by:

visitBlockExpression in interface IConstraintTreeVisitor

Parameters:

block - the block to be visited