Class SimSEFFBodyXpt

    • Constructor Detail

      • SimSEFFBodyXpt

        public SimSEFFBodyXpt()
    • Method Detail

      • _action

        protected String _action​(org.palladiosimulator.pcm.seff.CollectionIteratorAction cir)
        Overrides:
        _action in class SEFFBodyXpt
      • _action

        protected String _action​(org.palladiosimulator.pcm.seff.LoopAction la)
        Overrides:
        _action in class SEFFBodyXpt
      • failureOccurrence

        public CharSequence failureOccurrence​(org.palladiosimulator.pcm.reliability.InternalFailureOccurrenceDescription ifod)
      • raiseInternalSoftwareFailure

        public CharSequence raiseInternalSoftwareFailure​(org.palladiosimulator.pcm.reliability.SoftwareInducedFailureType sift,
                                                         String internalActionId)
      • _branchTransition

        protected CharSequence _branchTransition​(org.palladiosimulator.pcm.seff.AbstractBranchTransition abt,
                                                 String counterNumber)
      • _branchTransition

        protected CharSequence _branchTransition​(org.palladiosimulator.pcm.seff.GuardedBranchTransition gbt,
                                                 String counterNumber)
      • _branchTransition

        protected CharSequence _branchTransition​(org.palladiosimulator.pcm.seff.ProbabilisticBranchTransition pbt,
                                                 String counterNumber)
      • _action

        protected String _action​(org.palladiosimulator.pcm.seff.StartAction sa)
        Overrides:
        _action in class SEFFBodyXpt
      • _action

        protected String _action​(org.palladiosimulator.pcm.seff.StopAction sa)
        Overrides:
        _action in class SEFFBodyXpt
      • _action

        protected CharSequence _action​(org.palladiosimulator.analyzer.completions.DelegatingExternalCallAction deca)
        Overrides:
        _action in class SEFFBodyXpt
      • branchTransition

        public CharSequence branchTransition​(org.palladiosimulator.pcm.seff.AbstractBranchTransition gbt,
                                             String counterNumber)