Package net.ssehub.easy.varModel.model.rewrite

Class CSTCopyVisitor

java.lang.Object

net.ssehub.easy.varModel.cst.BasicCopyVisitor

net.ssehub.easy.varModel.cst.CopyVisitor

net.ssehub.easy.varModel.model.rewrite.CSTCopyVisitor

All Implemented Interfaces:

IConstraintTreeVisitor

class CSTCopyVisitor
extends CopyVisitor

Special CopyVisitor as needed by the ProjectCopyVisitor.

Author:

El-Sharkawy

Nested Class Summary

Nested classes/interfaces inherited from class net.ssehub.easy.varModel.cst.CopyVisitor

CopyVisitor.IVariableReplacer

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	complete
private ProjectCopyVisitor	copyier
private boolean	forceAccessors
private boolean	visitItrExpression

Constructor Summary

Constructors

Constructor	Description
CSTCopyVisitor(java.util.Map<AbstractVariable,AbstractVariable> mapping, ProjectCopyVisitor copyier)	Creates a copy visitor with explicit mapping.

Method Summary

Modifier and Type	Method	Description
private AbstractVariable	mapAnnotation(Attribute var)	Part of mapVariable(AbstractVariable) to map Attributes.
protected AbstractVariable	mapVariable(AbstractVariable var)	Maps a variable.
protected DecisionVariableDeclaration	mapVariable(DecisionVariableDeclaration var)	Maps a variable.
(package private) void	setForceaccessors(boolean forceAccessors)	Specification whether this visitor should try to fix broken ICustomOperationAccessors.
(package private) boolean	translatedCompletely()	Specifies whether the constraint could be translated completely.
void	visitCompoundInitializer(CompoundInitializer initializer)	Visits a compound initializer.
void	visitConstantValue(ConstantValue constantValue)	Visits a constant value.
void	visitContainerInitializer(ContainerInitializer initializer)	Visits a container initializer.
void	visitContainerOperationCall(ContainerOperationCall call)	Visits a container operation call (e.g.
void	visitOclFeatureCall(OCLFeatureCall call)	Visits an OCL feature call.
void	visitSelf(Self self)	Visits self.

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

getMapping, visitAnnotationVariable, visitVariable

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

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

Methods inherited from class java.lang.Object

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

Field Detail

visitItrExpression

private boolean visitItrExpression

complete

private boolean complete

copyier

private ProjectCopyVisitor copyier

forceAccessors

private boolean forceAccessors

Constructor Detail

CSTCopyVisitor

CSTCopyVisitor(java.util.Map<AbstractVariable,AbstractVariable> mapping,
               ProjectCopyVisitor copyier)

Creates a copy visitor with explicit mapping. This is for the final round of translation, where all projects have been translated.

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

copyier - The calling ProjectCopyVisitor, containing the list of currently translated projects.

Method Detail

setForceaccessors

void setForceaccessors(boolean forceAccessors)

Specification whether this visitor should try to fix broken ICustomOperationAccessors. These are usually Projects.

Parameters:

forceAccessors - true If an accessor could not be found, a fallback (unprezise) mechanism is used, this should only be used at the end of the translation if all projects are surely copied, false is the default option for this.

translatedCompletely

boolean translatedCompletely()

Specifies whether the constraint could be translated completely.

Returns:

true constraint was translated completely, false UntranslatedDeclarations have been used and must be translated at a later point.

mapVariable

protected AbstractVariable mapVariable(AbstractVariable var)

Description copied from class: BasicCopyVisitor

Maps a variable.

Overrides:

mapVariable in class CopyVisitor

Parameters:

var - the variable to be mapped

Returns:

the mapped variable or var

mapAnnotation

private AbstractVariable mapAnnotation(Attribute var)

Part of mapVariable(AbstractVariable) to map Attributes.

Parameters:

var - the annotation to be mapped

Returns:

the mapped variable or var

visitOclFeatureCall

public void visitOclFeatureCall(OCLFeatureCall call)

Description copied from interface: IConstraintTreeVisitor

Visits an OCL feature call.

Specified by:

visitOclFeatureCall in interface IConstraintTreeVisitor

Overrides:

visitOclFeatureCall in class BasicCopyVisitor

Parameters:

call - the feature call which should be visited

visitCompoundInitializer

public void visitCompoundInitializer(CompoundInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a compound initializer.

Specified by:

visitCompoundInitializer in interface IConstraintTreeVisitor

Overrides:

visitCompoundInitializer in class BasicCopyVisitor

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

Overrides:

visitContainerInitializer in class BasicCopyVisitor

Parameters:

initializer - the container initializer node

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

Overrides:

visitContainerOperationCall in class BasicCopyVisitor

Parameters:

call - the container operation call

mapVariable

protected DecisionVariableDeclaration mapVariable(DecisionVariableDeclaration var)

Description copied from class: BasicCopyVisitor

Maps a variable.

Overrides:

mapVariable in class CopyVisitor

Parameters:

var - the variable to be mapped

Returns:

the mapped variable or var

visitConstantValue

public void visitConstantValue(ConstantValue constantValue)

Description copied from interface: IConstraintTreeVisitor

Visits a constant value.

Specified by:

visitConstantValue in interface IConstraintTreeVisitor

Overrides:

visitConstantValue in class BasicCopyVisitor

Parameters:

constantValue - the value 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 CopyVisitor

Parameters:

self - the self object to visit