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

Class FrozenConstraintVarFilter

java.lang.Object

net.ssehub.easy.varModel.model.rewrite.modifier.AbstractFrozenChecker<DecisionVariableDeclaration>

net.ssehub.easy.varModel.model.rewrite.modifier.FrozenConstraintVarFilter

All Implemented Interfaces:

IModelElementFilter<DecisionVariableDeclaration>

public class FrozenConstraintVarFilter
extends AbstractFrozenChecker<DecisionVariableDeclaration>

Removes frozen ConstraintType variables if they are only pointing to frozen variable.

Author:

El-Sharkawy

Constructor Summary

Constructors

Constructor	Description
FrozenConstraintVarFilter(Configuration config)	Default constructor of this class.

Method Summary

Modifier and Type	Method	Description
java.lang.Class<? extends ContainableModelElement>	getModifyingModelClass()	Specification for which kind of classes this may be applied to.
ContainableModelElement	handleModelElement(ContainableModelElement element, RewriteContext context)	Specification how to handle ContainableModelElements.

Methods inherited from class net.ssehub.easy.varModel.model.rewrite.modifier.AbstractFrozenChecker

allInstancesAreFrozen, constraintIsFrozen, getConfiguration, getVariable

Methods inherited from class java.lang.Object

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

Constructor Detail

FrozenConstraintVarFilter

public FrozenConstraintVarFilter(Configuration config)

Default constructor of this class.

Parameters:

config - A already initialized Configuration, needed for checking whether an arbitrary variable is already frozen.

Method Detail

getModifyingModelClass

public java.lang.Class<? extends ContainableModelElement> getModifyingModelClass()

Description copied from interface: IModelElementFilter

Specification for which kind of classes this may be applied to.

Returns:

The ContainableModelElements which shall be modified by this class.

handleModelElement

public ContainableModelElement handleModelElement(ContainableModelElement element,
                                                  RewriteContext context)

Description copied from interface: IModelElementFilter

Specification how to handle ContainableModelElements.

Parameters:

element - A ContainableModelElement which may be modified by this class.

context - Knowledge of the current translation, comes from the ProjectRewriteVisitor.

Returns:

The modified element. Maybe the same instance as passed as parameter (if nothing should be changed) or null if the element should be deleted.