C# (CSharp) NuTrace ParcerFSM Examples

Example #1

 public CounterexampleBegin(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #2

 public ParcerState(ParcerFSM fsm)
 {
     _fsm = fsm;
 }

Example #3

 public CounterexampleEnd(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #4

 public Fault(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #5

 public LoopVariable(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #6

 public LoopState(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #7

 public LoopBeginState(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #8

 public CounterexampleState(ParcerFSM fsm)
     : base(fsm)
 {
 }

Example #9

 public CommentLine3(ParcerFSM fsm)
     : base(fsm)
 {
 }