public class SimSEFFBodyXpt extends SEFFBodyXpt
Constructor and Description |
---|
SimSEFFBodyXpt() |
Modifier and Type | Method and Description |
---|---|
CharSequence |
action(org.palladiosimulator.pcm.seff.AbstractAction deca) |
CharSequence |
branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition gbt,
String counterNumber) |
CharSequence |
failureInternalActionPreTM(org.palladiosimulator.pcm.seff.InternalAction ia) |
CharSequence |
failureOccurrence(org.palladiosimulator.pcm.reliability.InternalFailureOccurrenceDescription ifod) |
CharSequence |
raiseInternalSoftwareFailure(org.palladiosimulator.pcm.reliability.SoftwareInducedFailureType sift,
String internalActionId) |
catchFailureExceptions, checkFailureTypeMatch, checkIfExceptionIsHandled, initFailureHandling, nextRecoveryActionAlternative, recoveryActionAlternative
public CharSequence failureInternalActionPreTM(org.palladiosimulator.pcm.seff.InternalAction ia)
failureInternalActionPreTM
in class SEFFBodyXpt
public CharSequence failureOccurrence(org.palladiosimulator.pcm.reliability.InternalFailureOccurrenceDescription ifod)
public CharSequence raiseInternalSoftwareFailure(org.palladiosimulator.pcm.reliability.SoftwareInducedFailureType sift, String internalActionId)
public CharSequence action(org.palladiosimulator.pcm.seff.AbstractAction deca)
action
in class SEFFBodyXpt
public CharSequence branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition gbt, String counterNumber)