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>
AIModelElementFilterto 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 aConfigurationis available containing already derived and propagated variables.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Class<? extends ContainableModelElement>getModifyingModelClass()Specification for which kind of classes this may be applied to.ContainableModelElementhandleModelElement(ContainableModelElement element, RewriteContext context)Specification how to handleContainableModelElements.-
Methods inherited from class net.ssehub.easy.varModel.model.rewrite.modifier.AbstractFrozenChecker
allInstancesAreFrozen, constraintIsFrozen, getConfiguration, getVariable
-
-
-
-
Constructor Detail
-
FrozenConstraintsFilter
public FrozenConstraintsFilter(Configuration config)
Default Constructor if aConfigurationis available containing already derived and propagated variables.- Parameters:
config- A already initializedConfiguration.
-
-
Method Detail
-
getModifyingModelClass
public java.lang.Class<? extends ContainableModelElement> getModifyingModelClass()
Description copied from interface:IModelElementFilterSpecification 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:IModelElementFilterSpecification how to handleContainableModelElements.- Parameters:
element- AContainableModelElementwhich may be modified by this class.context- Knowledge of the current translation, comes from theProjectRewriteVisitor.- 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.
-
-