Interface SessionTracingConfiguration


  • public interface SessionTracingConfiguration
    Facility for enabling or disabling session tracing in FSMTool generated FSM code
    Author:
    charlie
    • Method Detail

      • enable

        void enable()
      • disable

        void disable()
      • isSessionTracerEnabled

        boolean isSessionTracerEnabled()
      • setSessionTracerPrefix

        void setSessionTracerPrefix​(String prefix)
      • getSessionTracerPrefix

        String getSessionTracerPrefix()
      • setStandardTracerPrefix

        void setStandardTracerPrefix​(String prefix)
      • getStandardTracerPrefix

        String getStandardTracerPrefix()