Smtp client state

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
use "net"
use "email"

type SMTPClientState is (SMTPClientStateNoConnection |
                         SMTPClientStateConnected |
                         SMTPClientStateAcceptedEHLO |
                         SMTPClientStateSendingRcptTo |
                         SMTPClientStateReadyForMessage |
                         SMTPClientStatePendingOK |
                         None)

primitive SMTPClientStateNoConnection
primitive SMTPClientStateConnected
primitive SMTPClientStateAcceptedEHLO
primitive SMTPClientStateSendingRcptTo
primitive SMTPClientStateReadyForMessage
primitive SMTPClientStatePendingOK