public class SimSEFFBodyXpt extends SEFFBodyXpt
Constructor and Description |
---|
SimSEFFBodyXpt() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.CharSequence |
_action(org.palladiosimulator.pcm.seff.AcquireAction aa) |
protected java.lang.CharSequence |
_action(org.palladiosimulator.pcm.seff.BranchAction ba) |
protected java.lang.String |
_action(org.palladiosimulator.pcm.seff.CollectionIteratorAction cir) |
protected java.lang.CharSequence |
_action(org.palladiosimulator.analyzer.completions.DelegatingExternalCallAction deca) |
protected java.lang.CharSequence |
_action(org.palladiosimulator.pcm.seff.ForkAction fa) |
protected java.lang.String |
_action(org.palladiosimulator.pcm.seff.LoopAction la) |
protected java.lang.CharSequence |
_action(org.palladiosimulator.pcm.seff.ReleaseAction ra) |
protected java.lang.CharSequence |
_action(org.palladiosimulator.pcm.seff.SetVariableAction sva) |
protected java.lang.String |
_action(org.palladiosimulator.pcm.seff.StartAction sa) |
protected java.lang.String |
_action(org.palladiosimulator.pcm.seff.StopAction sa) |
protected java.lang.CharSequence |
_branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition abt,
java.lang.String counterNumber) |
protected java.lang.CharSequence |
_branchTransition(org.palladiosimulator.pcm.seff.GuardedBranchTransition gbt,
java.lang.String counterNumber) |
protected java.lang.CharSequence |
_branchTransition(org.palladiosimulator.pcm.seff.ProbabilisticBranchTransition pbt,
java.lang.String counterNumber) |
java.lang.CharSequence |
action(org.palladiosimulator.pcm.seff.AbstractAction deca) |
java.lang.CharSequence |
branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition gbt,
java.lang.String counterNumber) |
java.lang.CharSequence |
failureInternalActionPreTM(org.palladiosimulator.pcm.seff.InternalAction ia) |
java.lang.CharSequence |
failureOccurrence(org.palladiosimulator.pcm.reliability.InternalFailureOccurrenceDescription ifod) |
java.lang.CharSequence |
raiseInternalSoftwareFailure(org.palladiosimulator.pcm.reliability.SoftwareInducedFailureType sift,
java.lang.String internalActionId) |
_action, _action, _action, _action, _checkFailureTypeMatch, _checkFailureTypeMatch, _checkFailureTypeMatch, _checkFailureTypeMatch, catchFailureExceptions, checkFailureTypeMatch, checkIfExceptionIsHandled, initFailureHandling, nextRecoveryActionAlternative, recoveryActionAlternative
protected java.lang.String _action(org.palladiosimulator.pcm.seff.CollectionIteratorAction cir)
_action
in class SEFFBodyXpt
protected java.lang.String _action(org.palladiosimulator.pcm.seff.LoopAction la)
_action
in class SEFFBodyXpt
public java.lang.CharSequence failureInternalActionPreTM(org.palladiosimulator.pcm.seff.InternalAction ia)
failureInternalActionPreTM
in class SEFFBodyXpt
public java.lang.CharSequence failureOccurrence(org.palladiosimulator.pcm.reliability.InternalFailureOccurrenceDescription ifod)
public java.lang.CharSequence raiseInternalSoftwareFailure(org.palladiosimulator.pcm.reliability.SoftwareInducedFailureType sift, java.lang.String internalActionId)
protected java.lang.CharSequence _action(org.palladiosimulator.pcm.seff.BranchAction ba)
_action
in class SEFFBodyXpt
protected java.lang.CharSequence _branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition abt, java.lang.String counterNumber)
protected java.lang.CharSequence _branchTransition(org.palladiosimulator.pcm.seff.GuardedBranchTransition gbt, java.lang.String counterNumber)
protected java.lang.CharSequence _branchTransition(org.palladiosimulator.pcm.seff.ProbabilisticBranchTransition pbt, java.lang.String counterNumber)
protected java.lang.CharSequence _action(org.palladiosimulator.pcm.seff.AcquireAction aa)
_action
in class SEFFBodyXpt
protected java.lang.CharSequence _action(org.palladiosimulator.pcm.seff.ReleaseAction ra)
_action
in class SEFFBodyXpt
protected java.lang.String _action(org.palladiosimulator.pcm.seff.StartAction sa)
_action
in class SEFFBodyXpt
protected java.lang.String _action(org.palladiosimulator.pcm.seff.StopAction sa)
_action
in class SEFFBodyXpt
protected java.lang.CharSequence _action(org.palladiosimulator.pcm.seff.SetVariableAction sva)
_action
in class SEFFBodyXpt
protected java.lang.CharSequence _action(org.palladiosimulator.pcm.seff.ForkAction fa)
_action
in class SEFFBodyXpt
protected java.lang.CharSequence _action(org.palladiosimulator.analyzer.completions.DelegatingExternalCallAction deca)
_action
in class SEFFBodyXpt
public java.lang.CharSequence action(org.palladiosimulator.pcm.seff.AbstractAction deca)
action
in class SEFFBodyXpt
public java.lang.CharSequence branchTransition(org.palladiosimulator.pcm.seff.AbstractBranchTransition gbt, java.lang.String counterNumber)