| Constructor and Description |
|---|
EquivalenceEstablishmentContext(Model originalModel,
Model migratedModel,
EolExecutor executor,
FlockExecution execution) |
| Constructor and Description |
|---|
Equivalence(EolExecutor executor,
FlockExecution execution) |
NoEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original) |
TypeBasedEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
ModelElement equivalent) |
| Modifier and Type | Method and Description |
|---|---|
Equivalence |
EquivalenceFactory.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory equivalentFactory) |
Equivalence |
DefaultEquivalenceFactory.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory equivalentFactory) |
| Constructor and Description |
|---|
GuardedConstructContext(ModelElement element,
EolExecutor executor) |
MigrateRuleContext(Equivalence equivalence,
EolExecutor executor,
FlockExecution execution) |
TypeMappingContext(ModelElement original,
EolExecutor executor,
FlockExecution execution,
EquivalenceEstablishmentContext.EquivalentFactory equivalentFactory) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Guard.isSatisifedBy(EolExecutor executor,
Variable variable) |
| Modifier and Type | Method and Description |
|---|---|
void |
Body.applyTo(EolExecutor executor,
Variable... variables) |
| Modifier and Type | Method and Description |
|---|---|
Equivalence |
Retyping.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory factory) |
Equivalence |
PackageRetyping.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory factory) |
Equivalence |
PackageDeletion.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory equivalentFactory) |
Equivalence |
Deletion.createEquivalence(EolExecutor executor,
FlockExecution execution,
ModelElement original,
EquivalenceEstablishmentContext.EquivalentFactory equivalentFactory) |