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

Class FrozenCompoundConstraintsOmitter

java.lang.Object

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

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

All Implemented Interfaces:

IModelElementFilter<Compound>

public class FrozenCompoundConstraintsOmitter
extends AbstractFrozenChecker<Compound>

Removes constraint out of compounds, pointing to only frozen and constant elements.

Author:

El-Sharkawy

Constructor Summary

Constructors

Constructor	Description
FrozenCompoundConstraintsOmitter(Configuration config)	Single constructor for this class.

Method Summary

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

FrozenCompoundConstraintsOmitter

public FrozenCompoundConstraintsOmitter(Configuration config)

Single constructor for this class.

Parameters:

config - The configuration is needed to check whether all variables used in a constraint are really frozen.

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.