Appccelerate.StateMachine An active state machine. This state machine reacts to events on its own worker thread and the or methods return immediately back to the caller. The type of the state. The type of the event. Initializes a new instance of the class. Initializes a new instance of the class. The name of the state machine. Used in log messages. Initializes a new instance of the class. The name of the state machine. The factory uses to build up internals. Pass your own factory to change the behavior of the state machine. Occurs when no transition could be executed. Occurs when an exception was thrown inside a transition of the state machine. Occurs when a transition begins. Occurs when a transition completed. Gets a value indicating whether this instance is running. The state machine is running if if was started and not yet stopped. true if this instance is running; otherwise, false. Define the behavior of a state. The state. Syntax to build state behavior. Defines the hierarchy on. The super state id. Syntax to build a state hierarchy. Fires the specified event. The event. Fires the specified event. The event. The event argument. Fires the specified priority event. The event will be handled before any already queued event. The event. Fires the specified priority event. The event will be handled before any already queued event. The event. The event argument. Initializes the state machine to the specified initial state. The state to which the state machine is initialized. Saves the current state and history states to a persisted state. Can be restored using . Data to be persisted is passed to the saver. Loads the current state and history states from a persisted state (). The loader should return exactly the data that was passed to the saver. Loader providing persisted data. Starts the state machine. Events will be processed. If the state machine is not started then the events will be queued until the state machine is started. Already queued events are processed Stops the state machine. Events will be queued until the state machine is started. Adds the extension. The extension. Clears all extensions. Creates a state machine report with the specified generator. The report generator. Returns a that represents the current . A that represents the current . Container holding an event and its argument. The type of the event. Base class for state machine extensions with empty implementation. The type of the state. The type of the event. Starts the state machine. The state machine. Stops the state machine. The state machine. Events the queued. The state machine. The event id. The event argument. Events the queued with priority. The state machine. The event id. The event argument. Called after the state machine switched states. The state machine. The old state. The new state. Called when the state machine is initializing. The state machine. The initial state. Can be replaced by the extension. Called when the state machine was initialized. The state machine. The initial state. Called when the state machine enters the initial state. The state machine. The state. Called when the state machine entered the initial state. The state machine. The state. The context. Called when an event is firing on the state machine. The state machine. The event id. Can be replaced by the extension. The event argument. Can be replaced by the extension. Called when an event was fired on the state machine. The state machine. The transition context. Called before an entry action exception is handled. The state machine. The state. The context. The exception. Can be replaced by the extension. Called after an entry action exception was handled. The state machine. The state. The context. The exception. Called before an exit action exception is handled. The state machine. The state. The context. The exception. Can be replaced by the extension. Called after an exit action exception was handled. The state machine. The state. The context. The exception. Called before a guard exception is handled. The state machine. The transition. The transition context. The exception. Can be replaced by the extension. Called after a guard exception was handled. The state machine. The transition. The transition context. The exception. Called before a transition exception is handled. The state machine. The transition. The context. The exception. Can be replaced by the extension. Called after a transition exception is handled. The state machine. The transition. The transition context. The exception. Called when a transition is skipped because its guard returned false. The state machine. The transition. The transition context. Called when a transition is going to be executed. After the guard of the transition evaluated to true. The state machine. The transition. The transition context. Called when a transition was executed. The state machine. The transition. The transition context. Provides guard clauses. Guards against a null argument. The type of the argument. Name of the parameter. The argument. is null. is restricted to reference types to avoid boxing of value type objects. Guards against a null argument if can be null. The type of the argument. Name of the parameter. The argument. is null. Performs a type check to avoid boxing of value type objects. Guards against a null argument property value. The type of the property. Name of the parameter. Name of the property. The argument property. is null. is restricted to reference types to avoid boxing of value type objects. Guards against a null argument property value if can be null. The type of the property. Name of the parameter. Name of the property. The argument property. is null. Performs a type check to avoid boxing of value type objects. Determines whether the specified type is a nullable type. The type. true if the specified type is a nullable type; otherwise, false. When applied to a parameter, this attribute provides an indication to code analysis that the argument has been null checked. Defines the history behavior of a state (on re-entrance of a super state). The state enters into its initial sub-state. The sub-state itself enters its initial sub-state and so on until the innermost nested state is reached. The state enters into its last active sub-state. The sub-state itself enters its initial sub-state and so on until the innermost nested state is reached. The state enters into its last active sub-state. The sub-state itself enters into-its last active state and so on until the innermost nested state is reached. A state machine. The type of the state. The type of the event. Occurs when no transition could be executed. Occurs when an exception was thrown inside a transition of the state machine. Occurs when a transition begins. Occurs when a transition completed. Gets a value indicating whether this instance is running. The state machine is running if if was started and not yet stopped. true if this instance is running; otherwise, false. Define the behavior of a state. The state. Syntax to build state behavior. Defines a state hierarchy. The super state id. Syntax to build hierarchy. Fires the specified event. The event. Fires the specified event. The event. The event argument. Fires the specified priority event. The event will be handled before any already queued event. The event. Fires the specified priority event. The event will be handled before any already queued event. The event. The event argument. Initializes the state machine to the specified initial state. The state to which the state machine is initialized. Starts the state machine. Events will be processed. If the state machine is not started then the events will be queued until the state machine is started. Already queued events are processed Stops the state machine. Events will be queued until the state machine is started. Adds an extension. The extension. Clears all extensions. Creates a state machine report with the specified generator. The report generator. Saves the current state and history states to a persisted state. Can be restored using . Data to be persisted is passed to the saver. Loads the current state and history states from a persisted state (). The loader should return exactly the data that was passed to the saver. Loader providing persisted data. Provides information about a state machine. The type of the state. The type of the event. Gets the name of this instance. The name of this instance. Gets the id of the current state. The id of the current state. Holds all exception messages Cannot cast argument to action argument. The argument. The action. error message Holds a transition action. Executes the transition action. The state machine event argument. Describes the action. Description of the action. Provides context information during a transition. The type of the state. The type of the event. Event arguments holding context information. The type of the state. The type of the event. Provides information about a completed transition. The type of the state. The type of the event. The new state the state machine is in after the transition. Initializes a new instance of the class. The new state id. The context. Gets the new state id the state machine is in after the transition. The new state id the state machine is in after the transition. Event arguments providing a transition context. The type of the state. The type of the event. Initializes a new instance of the class. The event context. Gets the id of the source state of the transition. The id of the source state of the transition. Gets the event id. The event id. Gets the event argument. The event argument. Returns a that represents the current . A that represents the current . Event arguments providing transition exceptions. The type of the state. The type of the event. The exception. Initializes a new instance of the class. The event context. The exception. Gets the exception. The exception. Holds all exception messages Value is not initialized. Value is already initialized. State machine is already initialized. State machine is not initialized. State machine has not yet entered initial state. There must not be more than one transition for a single event of a state with no guard. Transition without guard has to be last declared one. State cannot be its own super-state.. The state. error message Transition cannot be added to the state because it has already been added to the state. The type of the state. The type of the event. The transition. The state. error message Holds a single argument guard. Type of the argument of the guard. Initializes a new instance of the class. The guard. Executes the guard. The state machine event argument. Result of the guard execution. Describes the guard. Description of the guard. Holds an argument less guard. Initializes a new instance of the class. The guard. Executes the guard. The state machine event argument. Result of the guard execution. Describes the guard. Description of the guard. Holds all exception messages Cannot cast argument to guard argument. The argument. The guard. error message Holds a guard. Executes the guard. The state machine event argument. Result of the guard execution. Describes the guard. Description of the guard. Extensions for a state machine have to implement this interface. The type of the state. The type of the event. Called after the state machine was started. The state machine. Called after the state machine stopped. The state machine. Called after an events was queued. The state machine. The event id. The event argument. Called after an events was queued with priority. The state machine. The event id. The event argument. Called after the state machine switched states. The state machine. The old state. The new state. Called when the state machine is initializing. The state machine. The initial state. Can be replaced by the extension. Called when the state machine was initialized. The state machine. The initial state. Called when the state machine enters the initial state. The state machine. The state. Called when the state machine entered the initial state. The state machine. The state. The context. Called when an event is firing on the state machine. The state machine. The event id. Can be replaced by the extension. The event argument. Can be replaced by the extension. Called when an event was fired on the state machine. The state machine. The transition context. Called before an entry action exception is handled. The state machine. The state. The context. The exception. Can be replaced by the extension. Called after an entry action exception was handled. The state machine. The state. The context. The exception. Called before an exit action exception is handled. The state machine. The state. The context. The exception. Can be replaced by the extension. Called after an exit action exception was handled. The state machine. The state. The context. The exception. Called before a guard exception is handled. The state machine. The transition. The transition context. The exception. Can be replaced by the extension. Called after a guard exception was handled. The state machine. The transition. The transition context. The exception. Called before a transition exception is handled. The state machine. The transition. The context. The exception. Can be replaced by the extension. Called after a transition exception is handled. The state machine. The transition. The transition context. The exception. Called when a guard of a transition returns false and therefore the transition is not executed. The state machine. The transition. The transition context. Called when a transition is going to be executed. After the guard of the transition evaluated to true. The state machine. The transition. The transition context. Called when a transition was executed. The state machine. The transition. The transition context. Interface to execute actions on all extensions of the event broker. The type of the state. The type of the event. Executes the specified action for all extensions. The action to execute. A value which can be initialized. Type of the value. Gets or sets the value. The value. Gets a value indicating whether this instance is initialized (has a set value). true if this instance is initialized; otherwise, false. Provides functionalities to notify events. The type of the state. The type of the event. Called when an exception was thrown. The context. The exception. Called before a transition is executed. The context. Represents a state of the state machine. The type of the state. The type of the event. Gets the id of this state. The id of this state. Gets or sets the initial sub-state. Null if this state has no sub-states. The initial sub-state. Null if this state has no sub-states. Gets or sets the super-state. Null if this is a root state. The super-state. Gets the sub-states. The sub-states. Gets the transitions. The transitions. Gets or sets the level in the hierarchy. The level in the hierarchy. Gets or sets the last active state of this state. The last state of the active. Gets the entry actions. The entry actions. Gets the exit actions. The exit actions. Gets or sets the history type of this state. The type of the history. Fires the specified event id on this state. The event context. The result of the transition. Returns a that represents this instance. A that represents this instance. Manages the states of a state machine. The type of the state. The type of the event. Gets the with the specified state id. State with the specified id. The State id. The State with the specified id. Gets all states defined in this dictionary. All states in this directory. Generates a report of the state machine. The type of the state. The type of the event. Generates a report of the state machine. The name of the state machine. The states. The initial state id. Represents a transition in the state machine. The type of the state. The type of the event. Gets or sets the source state of the transition. The source. Gets or sets the target state of the transition. The target. Gets the actions of this transition. The actions. Gets or sets the guard of this transition. The guard. Fires the transition. The event context. The result of the transition. Provides information about the current transition. The type of the state. The type of the event. Adds the specified event id. The event id. The transition. Gets all transitions. All transitions. Represents the result of a transition. The type of the state. The type of the event. Gets a value indicating whether this is fired. true if fired; otherwise, false. Gets the new state. The new state. Specifies the type of the record. A state was entered. A state was exited. Standard implementation of the state machine factory. The type of the state. The type of the event. Provides operations to build a state machine. The type of the state. The type of the event. Initializes a new instance of the class. The state to build. The state dictionary of the state machine. The factory. Defines entry actions. The action. Exit action syntax. Defines an entry action. Type of the parameter of the entry action method. The action. The parameter that will be passed to the entry action. Exit action syntax. Defines an exit action. The action. Event syntax. Defines an exit action. Type of the parameter of the exit action method. The action. The parameter that will be passed to the exit action. Exit action syntax. Builds a transition. The event that triggers the transition. Syntax to build the transition. Defines where to go in response to an event. The target. Execute syntax. Dictionary mapping state ids to states. The type of the state. The type of the event. Maps ids to states. Initializes a new instance of the class. The factory. Gets the with the specified state id. State with the specified id. The State id. The State with the specified id. Gets all states defined in this dictionary. All states in this directory. Base implementation of a state machine. The type of the state. The type of the event. Initializes a new instance of the class. Initializes a new instance of the class. The name of this state machine used in log messages. Initializes a new instance of the class. The name of this state machine used in log messages. The factory used to create internal instances. Occurs when no transition could be executed. Occurs when an exception was thrown inside a transition of the state machine. Occurs when a transition begins. Occurs when a transition completed. Gets the name of this instance. The name of this instance. Gets the id of the current state. The id of the current state. Gets or sets the state of the current. The state of the current. Adds the . The extension. Clears all extensions. Executes the specified for all extensions. The action to execute. Define the behavior of a state. The state. Syntax to build state behavior. Initializes the state machine by setting the specified initial state. The initial state of the state machine. Enters the initial state that was previously set with . Fires the specified event. The event. Fires the specified event. The event. The event argument. Defines the hierarchy on. The super state id. Syntax to build a state hierarchy. Fires the event. The transition context. Returns a that represents the current . A that represents the current . Creates a report with the specified generator. The report generator. Fires the event. The transition event context. Fires the event. The transition event context. Initializes the state machine by setting the specified initial state. The initial state. Responsible for entering the initial state of the state machine. All states up in the hierarchy are entered, too. The type of the state. The type of the event. Traverses up the state hierarchy and build the stack of states. The stack containing all states up the state hierarchy. A state of the state machine. A state can be a sub-state or super-state of another state. The type of the state id. The type of the event id. Collection of the sub-states of this state. Collection of transitions that start in this state ( is equal to this state). The level of this state within the state hierarchy [1..maxLevel] The super-state of this state. Null for states with equal to 1. The initial sub-state of this state. The of this state. Initializes a new instance of the class. The unique id of this state. The state machine information. The extension host. Gets or sets the last active state of this state. The last state of the active. Gets the unique id of this state. The id of this state. Gets the entry actions. The entry actions. Gets the exit actions. The exit action. Gets or sets the initial sub state of this state. The initial sub state of this state. Gets or sets the super-state of this state. The of this state is changed accordingly to the super-state. The super-state of this super. Gets or sets the level of this state in the state hierarchy. When set then the levels of all sub-states are changed accordingly. The level. Gets or sets the history type of this state. The type of the history. Gets the sub-states of this state. The sub-states of this state. Gets the transitions that start in this state. The transitions. Goes recursively up the state hierarchy until a state is found that can handle the event. The event context. The result of the transition. Sets the initial level depending on the level of the super state of this instance. Sets the level of all sub states. Sets this instance as the last state of this instance's super state. Throws an exception if the new super state is this instance. The value. Throws an exception if the new initial state is this instance. The value. Throws an exception if the new initial state is not a sub-state of this instance. The value. Holds all exception messages State cannot be its own super-state.. The state. error message State cannot be the initial sub-state to itself. The state. error message State cannot be the initial state of super state because it is not a direct sub-state. The state. State of the super. error message Recursively traverses the state hierarchy, exiting states along the way, performing the action, and entering states to the target. There exist the following transition scenarios: 0. there is no target state (internal transition) --> handled outside this method. 1. The source and target state are the same (self transition) --> perform the transition directly: Exit source state, perform transition actions and enter target state 2. The target state is a direct or indirect sub-state of the source state --> perform the transition actions, then traverse the hierarchy from the source state down to the target state, entering each state along the way. No state is exited. 3. The source state is a sub-state of the target state --> traverse the hierarchy from the source up to the target, exiting each state along the way. Then perform transition actions. Finally enter the target state. 4. The source and target state share the same super-state 5. All other scenarios: a. The source and target states reside at the same level in the hierarchy but do not share the same direct super-state --> exit the source state, move up the hierarchy on both sides and enter the target state b. The source state is lower in the hierarchy than the target state --> exit the source state and move up the hierarchy on the source state side c. The target state is lower in the hierarchy than the source state --> move up the hierarchy on the target state side, afterward enter target state The source state. The target state. The event context. Manages the transitions of a state. The type of the state. The type of the event. The transitions. The state this transition dictionary belongs to. Initializes a new instance of the class. The state. Gets the transitions for the specified event id. transitions for the event id. Id of the event. The transitions for the event id. Adds the specified event id. The event id. The transition. Gets all transitions. All transitions. Throws an exception if the specified transition is already defined on this state. The transition. If there is no entry in the dictionary then one is created. The event id. Gets all the transitions associated to the specified event. The event id. The list to add the transition. Describes a transition. Type fo the states Type of the events Gets the event id. The event id. Gets the source. The source. Gets the target. The target. Gets the guard. The guard. Gets the actions. The actions. Gets a value indicating whether this is fired. true if fired; otherwise, false. Gets the new state the state machine is in. The new state. Holds all exception messages Transition cannot be added to the state because it has already been added to the state. The type of the state. The type of the event. The transition. The state. error message A passive state machine. This state machine reacts to events on the current thread. The type of the state. The type of the event. The internal state machine. List of all queued events. Whether the state machine is initialized. Whether this state machine is executing an event. Allows that events can be added while executing. Initializes a new instance of the class. Initializes a new instance of the class. The name of the state machine. Used in log messages. Initializes a new instance of the class. The name of the state machine. Used in log messages. The factory. Occurs when no transition could be executed. Occurs when an exception was thrown inside a transition of the state machine. Occurs when a transition begins. Occurs when a transition completed. Gets a value indicating whether this instance is running. The state machine is running if if was started and not yet stopped. true if this instance is running; otherwise, false. Define the behavior of a state. The state. Syntax to build state behavior. Defines the hierarchy on. The super state id. /// Syntax to build a state hierarchy. Fires the specified event. The event. Fires the specified event. The event. The event argument. Fires the specified priority event. The event will be handled before any already queued event. The event. Fires the specified priority event. The event will be handled before any already queued event. The event. The event argument. Initializes the state machine to the specified initial state. The state to which the state machine is initialized. Starts the state machine. Events will be processed. If the state machine is not started then the events will be queued until the state machine is started. Already queued events are processed. Clears all extensions. Creates a state machine report with the specified generator. The report generator. Stops the state machine. Events will be queued until the state machine is started. Adds an extension. The extension. Saves the current state and history states to a persisted state. Can be restored using . Data to be persisted is passed to the saver. Loads the current state and history states from a persisted state (). The loader should return exactly the data that was passed to the saver. Loader providing persisted data. Executes all queued events. Processes the queued events. Gets the next event to process for the queue. The next queued event. Fires the event on state machine. The event to fire. Returns the state to be set as the current state of the state machine. State id. Returns the last active state of all super states that have a last active state (i.e. they count as visited). Key = id of super state, Value = id of last active state. Saves the current state of the state machine. Id of the current state. Saves the last active states of all super states. Key = id of the super state; Value = if of last active state of super state. Generator for csv reports of states and transitions of a state machine. The type of the state. The type of the event. Initializes a new instance of the class. The stream where the states are written to. The stream where the transitions are written to. Generates a report of the state machine. The name of the state machine. The states. The initial state id. Writes the states of a state machine to a stream as csv. The type of the state. The type of the event. Initializes a new instance of the class. The writer. Writes the specified states. The states. Writes the transitions of a state machine to a stream as csv. The type of the state. The type of the event. Initializes a new instance of the class. The writer. Writes the transitions of the specified states. The states. Creates a textual report of a state machine. The type of the state. The type of the event. Gets the resulting report. The result. Generates a report of the state machine. The name of the state machine. The states. The initial state id. Reports the state name, initial state, history type, entry and exit action. The report. The current indentation. The state. Reports the transition. The report. The indentation. The transition. Creates the part of the report for the specified state. The state. The report to add to. The current indentation level. generates a graph meta language file that can be read by yEd. The type of the state. The type of the event. Initializes a new instance of the class. The output writer. Generates a report of the state machine. The name of the state machine. The states. The initial state id. Defines the entry action syntax. The type of the state. The type of the event. Defines an entry action. The action. Exit action syntax. Defines an entry action. The action. Exit action syntax. Type of the event argument passed to the action. Defines an entry action. Type of the parameter of the entry action method. The action. The parameter that will be passed to the entry action. Exit action syntax. Defines the event syntax. The type of the state. The type of the event. Defines an event that is accepted. The event id. On syntax. Defines the exit action syntax. The type of the state. The type of the event. Defines an exit action. The action. Event syntax. Defines an exit action. The action. Event syntax. Type of the event argument passed to the action. Defines an exit action. Type of the parameter of the exit action method. The action. The parameter that will be passed to the exit action. Exit action syntax. Defines the go to syntax inside an If. The type of the state. The type of the event. Defines a transition guard. The transition is only taken if the guard is fulfilled. The type of the guard argument. The guard. If syntax. Defines a transition guard. The transition is only taken if the guard is fulfilled. The guard. If syntax. Defines the transition that is taken when the guards of all other transitions did not match. Default syntax. Defines the transition actions. The action to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The action to execute when the transition is taken. Event syntax Defines the syntax after go to. The type of the state. The type of the event. Defines the transition actions. The action to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The action to execute when the transition is taken. Event syntax Defines the syntax for If or Otherwise. The type of the state. The type of the event. Defines a transition guard. The transition is only taken if the guard is fulfilled. The type of the guard argument. The guard. If syntax. Defines a transition guard. The transition is only taken if the guard is fulfilled. The guard. If syntax. Defines the transition that is taken when the guards of all other transitions did not match. Default syntax. Defines the transition actions. The actions to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The actions to execute when the transition is taken. Event syntax Defines the If syntax. The type of the state. The type of the event. Defines the target state of the transition. The target. Go to syntax Defines the transition actions. The actions to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The actions to execute when the transition is taken. Event syntax Defines the syntax after On. The type of the state. The type of the event. Defines the target state of the transition. The target. Go to syntax Defines a transition guard. The transition is only taken if the guard is fulfilled. The type of the guard argument. The guard. If syntax. Defines a transition guard. The transition is only taken if the guard is fulfilled. The guard. If syntax. Defines the transition actions. The action to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The action to execute when the transition is taken. Event syntax Defines the Otherwise syntax The type of the state. The type of the event. Defines the target state of the transition. The target. Go to syntax Defines the transition actions. The action to execute when the transition is taken. Event syntax Defines the transition actions. The type of the action argument. The action to execute when the transition is taken. Event syntax Correctly formats the FullName of the specified type by taking generics into consideration. The type whose full name is formatted. A correctly formatted full name.