Package | Description |
---|---|
org.polarsys.chess.fla.flamm | |
org.polarsys.chess.fla.flamm.util |
Modifier and Type | Method and Description |
---|---|
Failure |
FlammFactory.createFailure() |
static Failure |
Failure.createNoFailure() |
static Failure |
Failure.createWildcard() |
Failure |
PortFailureTuple.getFailure() |
static Failure |
Failure.getFailureInCollection(java.util.Collection<Failure> collection,
Failure failure) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Failure> |
Port.getFailures()
Returns the value of the 'Failures' containment reference list.
|
java.util.List<Failure> |
Expression.getFailures()
Returns the value of the 'Failures' containment reference list.
|
java.util.List<Failure> |
Port.getNewFailures()
Returns the value of the 'New Failures' containment reference list.
|
java.util.List<Failure> |
Failure.getPreviousFailures()
Returns the value of the 'Previous Failures' reference list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Port.addFailure(Failure failure)
Add a new failure to this port.
A copy of the failure will be created and added to handle EMF containment relationship. |
boolean |
Port.addFailure(Failure failure,
java.util.Collection<Failure> previousFailures)
Add a new failure to this port.
A copy of the failure will be created and added to handle EMF containment relationship. |
boolean |
Port.addFailure(Failure failure,
Failure previousFailure)
Add a new failure to this port.
A copy of the failure will be created and added to handle EMF containment relationship. |
void |
Failure.addPreviousFailure(Failure previousFailure) |
static boolean |
Failure.doCollectionContainFailure(java.util.Collection<Failure> collection,
Failure failure) |
static Failure |
Failure.getFailureInCollection(java.util.Collection<Failure> collection,
Failure failure) |
boolean |
Failure.isSameFailure(Failure other) |
Modifier and Type | Method and Description |
---|---|
boolean |
Port.addFailure(Failure failure,
java.util.Collection<Failure> previousFailures)
Add a new failure to this port.
A copy of the failure will be created and added to handle EMF containment relationship. |
boolean |
Port.addFailures(java.util.Collection<Failure> failures)
Add new failures to this port.
All failures will be copied and added to handle EMF containment relationship. |
void |
Failure.addPreviousFailures(java.util.Collection<Failure> previousFailures) |
static boolean |
Failure.doCollectionContainFailure(java.util.Collection<Failure> collection,
Failure failure) |
void |
Rule.fire(java.util.Collection<Failure> previousFailures)
Transform and propagate failures to the output ports according to this rule.
|
static Failure |
Failure.getFailureInCollection(java.util.Collection<Failure> collection,
Failure failure) |
Constructor and Description |
---|
Failure(Failure oldFailure)
Copy-constructor
|
Failure(Failure oldFailure,
java.util.Collection<Failure> previousFailures)
Copy-constructor
|
Failure(Failure oldFailure,
Failure previousFailure)
Copy-constructor
|
Constructor and Description |
---|
Failure(Failure oldFailure,
java.util.Collection<Failure> previousFailures)
Copy-constructor
|
Modifier and Type | Method and Description |
---|---|
T |
FlammSwitch.caseFailure(Failure object)
Returns the result of interpreting the object as an instance of 'Failure'.
|