haal-models-0.1.3.0: src/Haal/Models/MQTT/VerneMQNonClean.hs
-- Generated by haal-gen. Do not edit manually.
module Haal.Models.MQTT.VerneMQNonClean
( VerneMQNonCleanInput (..)
, VerneMQNonCleanOutput (..)
, verneMQNonClean
) where
import Haal.Automaton.MealyAutomaton (MealyAutomaton, mkMealyAutomatonTable)
data VerneMQNonCleanInput
= In_ConnectC2
| In_ConnectC1
| In_PublishQoS1C1
| In_SubscribeC2QoS1
| In_UnSubscribeC2
| In_DisconnectC2
deriving (Show, Eq, Ord, Enum, Bounded)
data VerneMQNonCleanOutput
= Out_C1_ConnectionClosed__c2_ConnAck
| Out_C1_ConnAck__c2_ConnectionClosed
| Out_C1_ConnectionClosed__c2_ConnectionClosed
| Out_Empty__c2_ConnAck
| Out_C1_PubAck__c2_ConnectionClosed
| Out_Empty__c2_ConnectionClosed
| Out_C1_ConnAck__Empty
| Out_C1_ConnectionClosed__Empty
| Out_C1_ConnectionClosed__c2_SubAck
| Out_C1_ConnectionClosed__c2_UnSubAck
| Out_C1_PubAck__Empty
| Out_Empty__c2_SubAck
| Out_Empty__c2_UnSubAck
| Out_C1_PubAck__c2_Pub_my_topic_messageQos1_1
| Out_Empty__c2_Pub_my_topic_messageQos1_1___c2_ConnAck
| Out_C1_ConnectionClosed__c2_Pub_my_topic_messageQos1_1___c2_ConnAck
| Out_Empty__c2_Pub_my_topic_messageQos1_1___c2_Pub_my_topic_messageQos1_1___c2_ConnAck
| Out_C1_ConnectionClosed__c2_Pub_my_topic_messageQos1_1___c2_Pub_my_topic_messageQos1_1___c2_ConnAck
deriving (Show, Eq, Ord, Enum, Bounded)
{- Transitions (state input -> next state / output):
0 In_ConnectC2 -> 1 / Out_C1_ConnectionClosed__c2_ConnAck
In_ConnectC1 -> 2 / Out_C1_ConnAck__c2_ConnectionClosed
In_PublishQoS1C1 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_UnSubscribeC2 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_DisconnectC2 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
1 In_ConnectC2 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_ConnectC1 -> 3 / Out_C1_ConnAck__Empty
In_PublishQoS1C1 -> 1 / Out_C1_ConnectionClosed__Empty
In_SubscribeC2QoS1 -> 4 / Out_C1_ConnectionClosed__c2_SubAck
In_UnSubscribeC2 -> 1 / Out_C1_ConnectionClosed__c2_UnSubAck
In_DisconnectC2 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
2 In_ConnectC2 -> 3 / Out_Empty__c2_ConnAck
In_ConnectC1 -> 0 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_PublishQoS1C1 -> 2 / Out_C1_PubAck__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 2 / Out_Empty__c2_ConnectionClosed
In_UnSubscribeC2 -> 2 / Out_Empty__c2_ConnectionClosed
In_DisconnectC2 -> 2 / Out_Empty__c2_ConnectionClosed
3 In_ConnectC2 -> 2 / Out_Empty__c2_ConnectionClosed
In_ConnectC1 -> 1 / Out_C1_ConnectionClosed__Empty
In_PublishQoS1C1 -> 3 / Out_C1_PubAck__Empty
In_SubscribeC2QoS1 -> 5 / Out_Empty__c2_SubAck
In_UnSubscribeC2 -> 3 / Out_Empty__c2_UnSubAck
In_DisconnectC2 -> 2 / Out_Empty__c2_ConnectionClosed
4 In_ConnectC2 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_ConnectC1 -> 5 / Out_C1_ConnAck__Empty
In_PublishQoS1C1 -> 4 / Out_C1_ConnectionClosed__Empty
In_SubscribeC2QoS1 -> 4 / Out_C1_ConnectionClosed__c2_SubAck
In_UnSubscribeC2 -> 1 / Out_C1_ConnectionClosed__c2_UnSubAck
In_DisconnectC2 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
5 In_ConnectC2 -> 7 / Out_Empty__c2_ConnectionClosed
In_ConnectC1 -> 4 / Out_C1_ConnectionClosed__Empty
In_PublishQoS1C1 -> 5 / Out_C1_PubAck__c2_Pub_my_topic_messageQos1_1
In_SubscribeC2QoS1 -> 5 / Out_Empty__c2_SubAck
In_UnSubscribeC2 -> 3 / Out_Empty__c2_UnSubAck
In_DisconnectC2 -> 7 / Out_Empty__c2_ConnectionClosed
6 In_ConnectC2 -> 4 / Out_C1_ConnectionClosed__c2_ConnAck
In_ConnectC1 -> 7 / Out_C1_ConnAck__c2_ConnectionClosed
In_PublishQoS1C1 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_UnSubscribeC2 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_DisconnectC2 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
7 In_ConnectC2 -> 5 / Out_Empty__c2_ConnAck
In_ConnectC1 -> 6 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_PublishQoS1C1 -> 8 / Out_C1_PubAck__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 7 / Out_Empty__c2_ConnectionClosed
In_UnSubscribeC2 -> 7 / Out_Empty__c2_ConnectionClosed
In_DisconnectC2 -> 7 / Out_Empty__c2_ConnectionClosed
8 In_ConnectC2 -> 5 / Out_Empty__c2_Pub_my_topic_messageQos1_1___c2_ConnAck
In_ConnectC1 -> 9 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_PublishQoS1C1 -> 10 / Out_C1_PubAck__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 8 / Out_Empty__c2_ConnectionClosed
In_UnSubscribeC2 -> 8 / Out_Empty__c2_ConnectionClosed
In_DisconnectC2 -> 8 / Out_Empty__c2_ConnectionClosed
9 In_ConnectC2 -> 4 / Out_C1_ConnectionClosed__c2_Pub_my_topic_messageQos1_1___c2_ConnAck
In_ConnectC1 -> 8 / Out_C1_ConnAck__c2_ConnectionClosed
In_PublishQoS1C1 -> 9 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 9 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_UnSubscribeC2 -> 9 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_DisconnectC2 -> 9 / Out_C1_ConnectionClosed__c2_ConnectionClosed
10 In_ConnectC2 -> 5 / Out_Empty__c2_Pub_my_topic_messageQos1_1___c2_Pub_my_topic_messageQos1_1___c2_ConnAck
In_ConnectC1 -> 11 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_PublishQoS1C1 -> 10 / Out_C1_PubAck__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 10 / Out_Empty__c2_ConnectionClosed
In_UnSubscribeC2 -> 10 / Out_Empty__c2_ConnectionClosed
In_DisconnectC2 -> 10 / Out_Empty__c2_ConnectionClosed
11 In_ConnectC2 -> 4 / Out_C1_ConnectionClosed__c2_Pub_my_topic_messageQos1_1___c2_Pub_my_topic_messageQos1_1___c2_ConnAck
In_ConnectC1 -> 10 / Out_C1_ConnAck__c2_ConnectionClosed
In_PublishQoS1C1 -> 11 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_SubscribeC2QoS1 -> 11 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_UnSubscribeC2 -> 11 / Out_C1_ConnectionClosed__c2_ConnectionClosed
In_DisconnectC2 -> 11 / Out_C1_ConnectionClosed__c2_ConnectionClosed
-}
verneMQNonClean :: MealyAutomaton Int VerneMQNonCleanInput VerneMQNonCleanOutput
verneMQNonClean =
case mkMealyAutomatonTable 12 0 deltaTable lambdaTable of
Right m -> m
Left err -> error ("haal-gen: invalid transition table: " ++ err)
where
deltaTable =
"\1\2\0\0\0\0\
\\0\3\1\4\1\0\
\\3\0\2\2\2\2\
\\2\1\3\5\3\2\
\\6\5\4\4\1\6\
\\7\4\5\5\3\7\
\\4\7\6\6\6\6\
\\5\6\8\7\7\7\
\\5\9\10\8\8\8\
\\4\8\9\9\9\9\
\\5\11\10\10\10\10\
\\4\10\11\11\11\11"
lambdaTable =
"\0\1\2\2\2\2\
\\2\6\7\8\9\2\
\\3\2\4\5\5\5\
\\5\7\10\11\12\5\
\\2\6\7\8\9\2\
\\5\7\13\11\12\5\
\\0\1\2\2\2\2\
\\3\2\4\5\5\5\
\\14\2\4\5\5\5\
\\15\1\2\2\2\2\
\\16\2\4\5\5\5\
\\17\1\2\2\2\2"