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 aProject, while creating a copy using theProjectRewriteVisitor.IProjectImportFilter Optional Rule how to handleProjectImports, while creating a copy using theProjectRewriteVisitor.IProjectModifier Optional Rule how to handleProjects, while creating a modifying using theProjectRewriteVisitor. -
Class Summary Class Description AbstractFrozenChecker<M extends ContainableModelElement> Super class for Filters which should remove elements based on already frozen variables.DeclarationNameFilter FiltersDecisionVariableDeclarations based on their names.FrozenCompoundConstraintsOmitter Removes constraint out of compounds, pointing to only frozen and constant elements.FrozenConstraintsFilter AIModelElementFilterto filter constraints, containing only frozen variables and constants.FrozenConstraintVarFilter Removes frozenConstraintTypevariables if they are only pointing to frozen variable.FrozenTypeDefResolver Checks whether all instances of a givenDerivedDatatypeare frozen and will remove all constraints, if all instances are frozen or if none exist.ImportNameFilter FiltersProjectImports based on their names.ImportRegExNameFilter Import filter based on a Java regular expression.ModelElementFilter AIModelElementFilterto specify that a certain sub class ofContainableModelElementshould be generally omitted.