Uses of Class
net.ssehub.easy.varModel.model.rewrite.RewriteContext

Packages that use RewriteContext

Package	Description
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.rewrite.modifier	Modifier for the ProjectRewriteVisitor.

Uses of RewriteContext in net.ssehub.easy.varModel.model.rewrite

Fields in net.ssehub.easy.varModel.model.rewrite declared as RewriteContext

Modifier and Type	Field	Description
private RewriteContext	AssignmentReducer.context
private RewriteContext	DeletedElementsCollector.context
private RewriteContext	ProjectRewriteVisitor.context
private RewriteContext	ValueCopy.context

Constructors in net.ssehub.easy.varModel.model.rewrite with parameters of type RewriteContext

Modifier	Constructor	Description
(package private)	AssignmentReducer(RewriteContext context)	Default constructor.
(package private)	DeletedElementsCollector(Project originProject, FilterType filterType, RewriteContext context)	Single constructor of this class.
(package private)	ValueCopy(RewriteContext context, Value value)	Single constructor of this class.

Uses of RewriteContext in net.ssehub.easy.varModel.model.rewrite.modifier

Methods in net.ssehub.easy.varModel.model.rewrite.modifier with parameters of type RewriteContext

Modifier and Type	Method	Description
protected boolean	AbstractFrozenChecker.allInstancesAreFrozen(AbstractVariable declaration, RewriteContext context)	Checks whether all instances of the given declaration are already frozen.
protected boolean	AbstractFrozenChecker.constraintIsFrozen(ConstraintSyntaxTree constraint, RewriteContext context)	Checks whether the given constraint contains only constant values or frozen variables.
ProjectImport	ImportNameFilter.handleImport(ProjectImport element, RewriteContext context)
ProjectImport	ImportRegExNameFilter.handleImport(ProjectImport pImport, RewriteContext context)
ProjectImport	IProjectImportFilter.handleImport(ProjectImport pImport, RewriteContext context)	Specification how to handle ProjectImports.
ContainableModelElement	DeclarationNameFilter.handleModelElement(ContainableModelElement element, RewriteContext context)
ContainableModelElement	FrozenCompoundConstraintsOmitter.handleModelElement(ContainableModelElement element, RewriteContext context)
ContainableModelElement	FrozenConstraintsFilter.handleModelElement(ContainableModelElement element, RewriteContext context)
ContainableModelElement	FrozenConstraintVarFilter.handleModelElement(ContainableModelElement element, RewriteContext context)
ContainableModelElement	FrozenTypeDefResolver.handleModelElement(ContainableModelElement element, RewriteContext context)
ContainableModelElement	IModelElementFilter.handleModelElement(ContainableModelElement element, RewriteContext context)	Specification how to handle ContainableModelElements.
ContainableModelElement	ModelElementFilter.handleModelElement(ContainableModelElement element, RewriteContext context)
void	IProjectModifier.modifyProject(Project project, RewriteContext context)	Specification how to modify Projects.