pub enum BuildingExternalProjection<Transport, SourceCleanliness> {
Parse {
connection: Conn<Transport, ParseResponse, Dirty>,
message: BuildingParseExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Bind {
connection: Conn<Transport, BindResponse, Dirty>,
message: BuildingBindExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Describe {
connection: Conn<Transport, DescribeResponse, SourceCleanliness>,
message: BuildingDescribeExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Execute {
connection: Conn<Transport, ExecuteResponse, Dirty>,
message: BuildingExecuteExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Close {
connection: Conn<Transport, CloseResponse, SourceCleanliness>,
message: BuildingCloseExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Flush {
connection: Conn<Transport, Building, SourceCleanliness>,
message: BuildingFlushExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
Sync {
connection: Conn<Transport, SyncResponse, SourceCleanliness>,
message: BuildingSyncExternalTransitionMessage,
source_cleanliness: PhantomData<SourceCleanliness>,
},
// some variants omitted
}Expand description
Typed next-connection projection for BuildingExternalMessage.
Variants§
Parse
The Event::Parse transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ParseResponse, Dirty>Connection after applying the selected message transition.
message: BuildingParseExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Bind
The Event::Bind transition and its correctly typed next connection.
Fields
connection: Conn<Transport, BindResponse, Dirty>Connection after applying the selected message transition.
message: BuildingBindExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Describe
The Event::Describe transition and its correctly typed next connection.
Fields
connection: Conn<Transport, DescribeResponse, SourceCleanliness>Connection after applying the selected message transition.
message: BuildingDescribeExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Execute
The Event::Execute transition and its correctly typed next connection.
Fields
connection: Conn<Transport, ExecuteResponse, Dirty>Connection after applying the selected message transition.
message: BuildingExecuteExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Close
The Event::Close transition and its correctly typed next connection.
Fields
connection: Conn<Transport, CloseResponse, SourceCleanliness>Connection after applying the selected message transition.
message: BuildingCloseExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Flush
The Event::Flush transition and its correctly typed next connection.
Fields
connection: Conn<Transport, Building, SourceCleanliness>Connection after applying the selected message transition.
message: BuildingFlushExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.
Sync
The Event::Sync transition and its correctly typed next connection.
Fields
connection: Conn<Transport, SyncResponse, SourceCleanliness>Connection after applying the selected message transition.
message: BuildingSyncExternalTransitionMessageValidated message which selected this transition.
source_cleanliness: PhantomData<SourceCleanliness>Retains the source cleanliness parameter even when replaced.