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

Class AssignmentReducer

java.lang.Object

net.ssehub.easy.varModel.cst.AbstractConstraintTreeVisitor

net.ssehub.easy.varModel.model.rewrite.AssignmentReducer

All Implemented Interfaces:

IConstraintTreeVisitor

class AssignmentReducer
extends AbstractConstraintTreeVisitor

Part of the ProjectRewriteVisitor to remove sub values of a RHS of an assignment, if declarations of this assignments have been removed.
Visiting should be started with reduce(OCLFeatureCall) instead of using the usual accept methods.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private RewriteContext	context
private boolean	filtered
private ConstraintSyntaxTree	result

Constructor Summary

Constructors

Constructor	Description
AssignmentReducer(RewriteContext context)	Default constructor.

Method Summary

Modifier and Type	Method	Description
(package private) boolean	hasFiltered()	Returns whether the given assignment was filtered or not.
protected ConstraintSyntaxTree	reduce(OCLFeatureCall assignment)	Start method for reducing assignments.
void	visitCompoundInitializer(CompoundInitializer initializer)	Visits a compound initializer.
void	visitConstantValue(ConstantValue constValue)	Visits a constant value.
void	visitContainerInitializer(ContainerInitializer initializer)	Visits a container initializer.

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

visitAnnotationVariable, visitBlockExpression, visitComment, visitCompoundAccess, visitContainerOperationCall, visitDeferInitExpression, visitIfThen, visitLet, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitSelf, visitUnresolvedExpression, visitVariable

Methods inherited from class java.lang.Object

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

Field Details

context

private RewriteContext context

result

private ConstraintSyntaxTree result

filtered

private boolean filtered

Constructor Details

AssignmentReducer

AssignmentReducer(RewriteContext context)

Default constructor.

Parameters:

context - The context, containing information about filtered elements.

Method Details

reduce

protected ConstraintSyntaxTree reduce(OCLFeatureCall assignment)

Start method for reducing assignments.

Parameters:

assignment - And assignment constraint.

Returns:

Will return

• The passed call, if if was not an assignment or if nothing was to filter
• The filtered assignment, if some of the used elements were removed
• null, if all elements or necessary elements have been removed.

hasFiltered

boolean hasFiltered()

Returns whether the given assignment was filtered or not.

Returns:

true Something was filtered, false assignment is at it was before.

visitConstantValue

public void visitConstantValue(ConstantValue constValue)

Description copied from interface: IConstraintTreeVisitor

Visits a constant value.

Specified by:

visitConstantValue in interface IConstraintTreeVisitor

Overrides:

visitConstantValue in class AbstractConstraintTreeVisitor

Parameters:

constValue - the value 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 AbstractConstraintTreeVisitor

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 AbstractConstraintTreeVisitor

Parameters:

initializer - the container initializer node