FrozenConstraintsFilter (EASy-Producer Documentation API)

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

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.
`ContainableModelElement`	`handleModelElement(ContainableModelElement element, RewriteContext context)`	Specification how to handle `ContainableModelElement`s.

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