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

Class FrozenConstraintsFilter

java.lang.Object

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

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

All Implemented Interfaces:

IModelElementFilter<Constraint>

public class FrozenConstraintsFilter
extends AbstractFrozenChecker<Constraint>

A IModelElementFilter to filter constraints, containing only frozen variables and constants. Assignment constraints won't be filtered (to keepm the frozen configuration).

Author:

El-Sharkawy

Constructor Summary

Constructors

Constructor	Description
FrozenConstraintsFilter(Configuration config)	Default Constructor if a Configuration is available containing already derived and propagated variables.

Method Summary

Modifier and Type	Method	Description
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 Details

FrozenConstraintsFilter

public FrozenConstraintsFilter(Configuration config)

Default Constructor if a Configuration is available containing already derived and propagated variables.

Parameters:

config - A already initialized Configuration.

Method Details

getModifyingModelClass

public 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.