-- TESTS VERSION.
instance Show TTransition where
  show (TDelay a _)      = "TDelay(" ++ show(a) ++ ")"
  show (TExec a _)       = "TExec(" ++ show(a) ++ ")"
  show (TExit a _)       = "TExit(" ++ show(a) ++ ")"
  show (TIf a _)         = "TIf(" ++ show(a) ++ ")"
  show (TIn a _)         = "TIn(" ++ show(a) ++ ")"
  show (TInAP a b _)     = "TInAP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TInPP a b _)     = "TInPP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TInF a b _)      = "TInF(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TJump a _)       = "TJump(" ++ show(a) ++ ")"
  show (TLoop a _)       = "TLoop(" ++ show(a) ++ ")"
  show (TLoopEvery a _)  = "TLoopEvery(" ++ show(a) ++ ")"
  show (TNull a _)       = "TNull(" ++ show(a) ++ ")"
  show (TOut a _)        = "TOut(" ++ show(a) ++ ")"
  show (TOutAP a b _)    = "TOutAP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TOutPP a b _)    = "TOutPP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TOutF a b _)     = "TOutF(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (TSelect a _)     = "TSelect(" ++ show(a) ++ ")"
  show (TStart a _)      = "TStart(" ++ show(a) ++ ")"
  show (STInAP a b _)    = "STInAP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (STInPP a b _)    = "STInPP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (STOutAP a b _)   = "STOutAP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (STOutPP a b _)   = "STOutPP(" ++ show(a) ++ ", " ++ show(b) ++ ")"
  show (STDelayEnd a _)  = "STDelayEnd(" ++ show(a) ++ ")"
  show (STLoopEnd a _)   = "STLoopEnd(" ++ show(a) ++ ")"
  show (STInEnd a _)     = "STInEnd(" ++ show(a) ++ ")"
  show (STOutEnd a _)    = "STOutEnd(" ++ show(a) ++ ")"

----------------------------------------------------------------------

