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

Modifier for the ProjectRewriteVisitor.

Interface Summary

Interface	Description
IModelElementFilter<M extends ContainableModelElement>	Optional Rule how to handle elements of a Project, while creating a copy using the ProjectRewriteVisitor.
IProjectImportFilter	Optional Rule how to handle ProjectImports, while creating a copy using the ProjectRewriteVisitor.
IProjectModifier	Optional Rule how to handle Projects, while creating a modifying using the ProjectRewriteVisitor.

Class Summary

Class	Description
AbstractFrozenChecker<M extends ContainableModelElement>	Super class for Filters which should remove elements based on already frozen variables.
DeclarationNameFilter	Filters DecisionVariableDeclarations based on their names.
FrozenCompoundConstraintsOmitter	Removes constraint out of compounds, pointing to only frozen and constant elements.
FrozenConstraintsFilter	A IModelElementFilter to filter constraints, containing only frozen variables and constants.
FrozenConstraintVarFilter	Removes frozen ConstraintType variables if they are only pointing to frozen variable.
FrozenTypeDefResolver	Checks whether all instances of a given DerivedDatatype are frozen and will remove all constraints, if all instances are frozen or if none exist.
ImportNameFilter	Filters ProjectImports based on their names.
ImportRegExNameFilter	Import filter based on a Java regular expression.
ModelElementFilter	A IModelElementFilter to specify that a certain sub class of ContainableModelElement should be generally omitted.