haal-models-0.1.0.0: src/Haal/Models/TLS/RSABSAFECV4V0V4ServerRegular.hs
-- Generated by haal-gen. Do not edit manually.
module Haal.Models.TLS.RSABSAFECV4V0V4ServerRegular
( RSABSAFECV4V0V4ServerRegularInput (..)
, RSABSAFECV4V0V4ServerRegularOutput (..)
, rSABSAFECV4V0V4ServerRegular
) where
import qualified Data.Set as Set
import Haal.Automaton.MealyAutomaton (MealyAutomaton, mkMealyAutomaton)
data RSABSAFECV4V0V4ServerRegularInput
= In_ApplicationData
| In_ApplicationDataEmpty
| In_ChangeCipherSpec
| In_ClientHelloRSA
| In_ClientKeyExchange
| In_EmptyCertificate
| In_Finished
| In_HeartbeatRequest
deriving (Show, Eq, Ord, Enum, Bounded)
data RSABSAFECV4V0V4ServerRegularOutput
= Out_Alert_Warning__Close_notify
| Out_Empty
| Out_ServerHello___Certificate___ServerHelloDone
| Out_Alert_Fatal__Unexpected_message
| Out_Alert_Fatal__Bad_record_MAC
| Out_ChangeCipherSpec___Finished
| Out_Alert_Fatal__Illegal_parameter
| Out_ApplicationDataAlert_Warning__Close_notify
| Out_Alert_Fatal__Illegal_parameter_Alert_Warning__Close_notify
| Out_Alert_Fatal__Internal_error
| Out_Alert_Fatal__Unexpected_message_Alert_Warning__Close_notify
deriving (Show, Eq, Ord, Enum, Bounded)
rSABSAFECV4V0V4ServerRegular :: MealyAutomaton Int RSABSAFECV4V0V4ServerRegularInput RSABSAFECV4V0V4ServerRegularOutput
rSABSAFECV4V0V4ServerRegular = mkMealyAutomaton delta lambda (Set.fromList [0..8]) 0
where
delta 0 In_ApplicationData = 1
delta 0 In_ApplicationDataEmpty = 2
delta 0 In_ChangeCipherSpec = 3
delta 0 In_ClientHelloRSA = 4
delta 0 In_ClientKeyExchange = 1
delta 0 In_EmptyCertificate = 1
delta 0 In_Finished = 1
delta 0 In_HeartbeatRequest = 1
delta 5 In_ApplicationData = 1
delta 5 In_ApplicationDataEmpty = 6
delta 5 In_ChangeCipherSpec = 1
delta 5 In_ClientHelloRSA = 1
delta 5 In_ClientKeyExchange = 1
delta 5 In_EmptyCertificate = 1
delta 5 In_Finished = 7
delta 5 In_HeartbeatRequest = 1
delta 4 In_ApplicationData = 1
delta 4 In_ApplicationDataEmpty = 4
delta 4 In_ChangeCipherSpec = 1
delta 4 In_ClientHelloRSA = 1
delta 4 In_ClientKeyExchange = 8
delta 4 In_EmptyCertificate = 1
delta 4 In_Finished = 1
delta 4 In_HeartbeatRequest = 1
delta 6 In_ApplicationData = 1
delta 6 In_ApplicationDataEmpty = 6
delta 6 In_ChangeCipherSpec = 1
delta 6 In_ClientHelloRSA = 1
delta 6 In_ClientKeyExchange = 1
delta 6 In_EmptyCertificate = 1
delta 6 In_Finished = 7
delta 6 In_HeartbeatRequest = 1
delta 8 In_ApplicationData = 1
delta 8 In_ApplicationDataEmpty = 8
delta 8 In_ChangeCipherSpec = 5
delta 8 In_ClientHelloRSA = 1
delta 8 In_ClientKeyExchange = 1
delta 8 In_EmptyCertificate = 1
delta 8 In_Finished = 1
delta 8 In_HeartbeatRequest = 1
delta 3 In_ApplicationData = 1
delta 3 In_ApplicationDataEmpty = 1
delta 3 In_ChangeCipherSpec = 1
delta 3 In_ClientHelloRSA = 1
delta 3 In_ClientKeyExchange = 1
delta 3 In_EmptyCertificate = 1
delta 3 In_Finished = 1
delta 3 In_HeartbeatRequest = 1
delta 2 In_ApplicationData = 1
delta 2 In_ApplicationDataEmpty = 3
delta 2 In_ChangeCipherSpec = 1
delta 2 In_ClientHelloRSA = 1
delta 2 In_ClientKeyExchange = 1
delta 2 In_EmptyCertificate = 1
delta 2 In_Finished = 1
delta 2 In_HeartbeatRequest = 1
delta 7 In_ApplicationData = 1
delta 7 In_ApplicationDataEmpty = 7
delta 7 In_ChangeCipherSpec = 1
delta 7 In_ClientHelloRSA = 1
delta 7 In_ClientKeyExchange = 1
delta 7 In_EmptyCertificate = 1
delta 7 In_Finished = 1
delta 7 In_HeartbeatRequest = 1
delta 1 In_ApplicationData = 1
delta 1 In_ApplicationDataEmpty = 1
delta 1 In_ChangeCipherSpec = 1
delta 1 In_ClientHelloRSA = 1
delta 1 In_ClientKeyExchange = 1
delta 1 In_EmptyCertificate = 1
delta 1 In_Finished = 1
delta 1 In_HeartbeatRequest = 1
delta _ _ = error "haal-gen: undefined transition"
lambda 0 In_ApplicationData = Out_Alert_Warning__Close_notify
lambda 0 In_ApplicationDataEmpty = Out_Empty
lambda 0 In_ChangeCipherSpec = Out_Empty
lambda 0 In_ClientHelloRSA = Out_ServerHello___Certificate___ServerHelloDone
lambda 0 In_ClientKeyExchange = Out_Alert_Warning__Close_notify
lambda 0 In_EmptyCertificate = Out_Alert_Warning__Close_notify
lambda 0 In_Finished = Out_Alert_Warning__Close_notify
lambda 0 In_HeartbeatRequest = Out_Alert_Warning__Close_notify
lambda 5 In_ApplicationData = Out_Alert_Fatal__Unexpected_message
lambda 5 In_ApplicationDataEmpty = Out_Empty
lambda 5 In_ChangeCipherSpec = Out_Alert_Fatal__Bad_record_MAC
lambda 5 In_ClientHelloRSA = Out_Alert_Fatal__Bad_record_MAC
lambda 5 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message
lambda 5 In_EmptyCertificate = Out_Alert_Fatal__Bad_record_MAC
lambda 5 In_Finished = Out_ChangeCipherSpec___Finished
lambda 5 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message
lambda 4 In_ApplicationData = Out_Alert_Fatal__Unexpected_message
lambda 4 In_ApplicationDataEmpty = Out_Empty
lambda 4 In_ChangeCipherSpec = Out_Alert_Fatal__Illegal_parameter
lambda 4 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message
lambda 4 In_ClientKeyExchange = Out_Empty
lambda 4 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message
lambda 4 In_Finished = Out_Alert_Fatal__Unexpected_message
lambda 4 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message
lambda 6 In_ApplicationData = Out_Alert_Fatal__Unexpected_message
lambda 6 In_ApplicationDataEmpty = Out_Empty
lambda 6 In_ChangeCipherSpec = Out_Alert_Fatal__Unexpected_message
lambda 6 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message
lambda 6 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message
lambda 6 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message
lambda 6 In_Finished = Out_ChangeCipherSpec___Finished
lambda 6 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message
lambda 8 In_ApplicationData = Out_Alert_Fatal__Unexpected_message
lambda 8 In_ApplicationDataEmpty = Out_Empty
lambda 8 In_ChangeCipherSpec = Out_Empty
lambda 8 In_ClientHelloRSA = Out_Alert_Fatal__Unexpected_message
lambda 8 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message
lambda 8 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message
lambda 8 In_Finished = Out_Alert_Fatal__Unexpected_message
lambda 8 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message
lambda 3 In_ApplicationData = Out_Alert_Warning__Close_notify
lambda 3 In_ApplicationDataEmpty = Out_Alert_Warning__Close_notify
lambda 3 In_ChangeCipherSpec = Out_Alert_Warning__Close_notify
lambda 3 In_ClientHelloRSA = Out_Alert_Warning__Close_notify
lambda 3 In_ClientKeyExchange = Out_Alert_Warning__Close_notify
lambda 3 In_EmptyCertificate = Out_Alert_Warning__Close_notify
lambda 3 In_Finished = Out_Alert_Warning__Close_notify
lambda 3 In_HeartbeatRequest = Out_Alert_Warning__Close_notify
lambda 2 In_ApplicationData = Out_Alert_Warning__Close_notify
lambda 2 In_ApplicationDataEmpty = Out_Empty
lambda 2 In_ChangeCipherSpec = Out_Alert_Warning__Close_notify
lambda 2 In_ClientHelloRSA = Out_Alert_Warning__Close_notify
lambda 2 In_ClientKeyExchange = Out_Alert_Warning__Close_notify
lambda 2 In_EmptyCertificate = Out_Alert_Warning__Close_notify
lambda 2 In_Finished = Out_Alert_Warning__Close_notify
lambda 2 In_HeartbeatRequest = Out_Alert_Warning__Close_notify
lambda 7 In_ApplicationData = Out_ApplicationDataAlert_Warning__Close_notify
lambda 7 In_ApplicationDataEmpty = Out_Empty
lambda 7 In_ChangeCipherSpec = Out_Alert_Fatal__Illegal_parameter_Alert_Warning__Close_notify
lambda 7 In_ClientHelloRSA = Out_Alert_Fatal__Internal_error
lambda 7 In_ClientKeyExchange = Out_Alert_Fatal__Unexpected_message
lambda 7 In_EmptyCertificate = Out_Alert_Fatal__Unexpected_message
lambda 7 In_Finished = Out_Alert_Fatal__Unexpected_message
lambda 7 In_HeartbeatRequest = Out_Alert_Fatal__Unexpected_message_Alert_Warning__Close_notify
lambda 1 In_ApplicationData = Out_Empty
lambda 1 In_ApplicationDataEmpty = Out_Empty
lambda 1 In_ChangeCipherSpec = Out_Empty
lambda 1 In_ClientHelloRSA = Out_Empty
lambda 1 In_ClientKeyExchange = Out_Empty
lambda 1 In_EmptyCertificate = Out_Empty
lambda 1 In_Finished = Out_Empty
lambda 1 In_HeartbeatRequest = Out_Empty
lambda _ _ = error "haal-gen: undefined transition"