FrozenTypeDefResolver (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.model.rewrite.modifier.AbstractFrozenChecker<DerivedDatatype>
- - net.ssehub.easy.varModel.model.rewrite.modifier.FrozenTypeDefResolver

All Implemented Interfaces:

IModelElementFilter<DerivedDatatype>
```
public class FrozenTypeDefResolver
extends AbstractFrozenChecker<DerivedDatatype>
```
Checks whether all instances of a given DerivedDatatype are frozen and will remove all constraints, if all instances are frozen or if none exist.

Author:

El-Sharkawy

Constructor Summary

Constructors
Constructor Description

FrozenTypeDefResolver(Configuration config)
Default constructor of this class.

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
  - FrozenTypeDefResolver
```
public FrozenTypeDefResolver(Configuration config)
```
    Default constructor of this class.
    
    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.