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

Class FrozenTypeDefResolver

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

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

FrozenTypeDefResolver

public FrozenTypeDefResolver(Configuration config)

Default constructor of this class.

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.