Page History

 scchartscchart StateTransitionFinalStateTermination {
  initial state A
  --> B;
  state B {
    initial state B1
    --> CB2;
    final state C B2;
  }
  >--> A immediate C;
  state C;
}

 scchartscchart StateTransitionWeakAbort {
  input bool W;
  initial state A
  --> B;
  state B {
    initial state B1
    --> CB2;
    state CB2;
  }
  --> A immediate C with W;
  state C;
}

 scchartscchart StateTransitionStrongAbort {
  input bool S;
  initial state A
  --> B;
  state B {
    initial state B1
    --> CB2;
    state CB2;
  }
  o--> A immediateC with S;
  
  state C;
}

 scchartscchart StateTransitionRegions {
  input bool S;
  initial state A
  --> B;
  state B {
    region Region1 :
    initial state B1
    --> CB2;
    state C
  --> A immediate B2; region Region2 :
    initial state B3;
  };
}

 scchartscchart StateTransitionActions {
  input bool var1;
  output bool var2;
  initial state A
  --> B;
  state B {
    entry var1 / var2 = true;
    during var1 / var2 = true;
    immediate during var1 / var2 = true;
    exit  --> C;
  state Cvar1 / var2 = true;
    initial state B1
    --> A immediate B2;
    state B2;
  };
}

 scchartscchart StateTransitionHistoryShallow {
  input bool var1;
  output bool var2;
  initial state A
  --> B shallow history with var1;
  state B {
    initial state B1
    --> CB2;
    state B2;
  C}
  --> A immediatewith var1;
}

 scchartscchart StateTransitionHistoryDeep {
  input bool var1;
  output bool var2;
  initial state A
  --> B history with var1;
  state B {
    initial state B1
    --> CB2;
    state CB2;
  }
  --> A with immediatevar1;
}

 scchartscchart StateTransitionDeferred {
  input bool var1;
  output bool var2;
  initial state A
  --> B deferred with var1;
  state B {
  --> C  entry var1 / var2 = true;
  state C}
  --> A with immediatevar1;
}

 scchartscchart StateTransitionCountDelay {
  initialinput statebool Avar1;
  --> Boutput bool var2;
  initial state BA
  --> C B with 4 var1;
  state CB
  --> A with immediatevar1;
}

 scchartscchart StateTransitionArray {
  int myArray[10][2];
    initial state Ainit
  --> B done with myArray[1][0] == 1 / myArray[2][1] = 2;
  final state B
  --> C;
  state C done;
}