Class FsmGraphProcessor.FsmPage

    • Field Detail

      • curState

        protected java.lang.String curState
      • curTransIdx

        protected int curTransIdx
      • fsmName

        protected java.lang.String fsmName
      • fsmAnchorName

        protected java.lang.String fsmAnchorName
      • transitionPrefix

        protected java.lang.String transitionPrefix
      • traceDesc

        protected java.lang.String traceDesc
    • Constructor Detail

      • FsmPage

        public FsmPage​(int index,
                       java.lang.String channelId,
                       java.lang.String fsmName)
    • Method Detail

      • getAspect

        public java.lang.String getAspect()
        Description copied from class: ReportEntity
        Gets the aspect which contains this report entity. Class report generator uses this information for an automatic reference generation; Other components of report generator may use this information as they see fit.
        Overrides:
        getAspect in class ReportEntity
        Returns:
        Aspect name. Empty string is used for an empty aspect. null if the aspect is unidentified.
      • generateRef

        public java.lang.String generateRef​(HtmlReportPage from,
                                            java.lang.String mark)
        Description copied from class: HtmlReportPage
        Generates a reference to the section mark of this page from the page from. If this page is included in another then generation is delegated to parent page.
        Overrides:
        generateRef in class HtmlReportPage
        Parameters:
        from - Page from where reference is.
        mark - Section's anchor. Null for reference to whole page.
        Returns:
        HTML-code of reference.
      • getLevel

        public int getLevel()