Microsoft.SpecExplorer.ObjectModel Namespace

The Microsoft.SpecExplorer.ObjectModel namespace contains types used describe a transition system, which is the result of an exploration event.

The TransitionSystem class represents a complete transition system, including all the states and transitions, along with their properties and contents. Other classes represent important elements of a state machine, such as states, transitions, constraints, and so on.

To create a custom post processor, write a class that implements the IPostProcessor interface. When Spec Explorer calls a post processor, it supplies the post processor with the transition system on which to operate.

ClassDescription
ActionInvocationAn class representing an action invocation.
ActionSymbolA class representing an action symbol.
AssociationReferenceA type represents property association reference of a get or set method.
ConfigSwitchSupports the serialization infrastructure. Do not use this type.
ConstraintA class representing a constraint.
ExplorationResultThe object model representing an exploration result.
ExplorationResultExtensionsA class used to persist exploration result extension.
ExplorationResultLoaderThis class supports loading exploration result file into corresponding object models.
ExplorationResultLoadingExceptionException thrown when error occured loading exploration result
ExplorationResultPackerThis class supports packing exploration result object models into file.
NodeA class to represent a node in state content. It can be value, frame, thread, etc...
ObjectModelHelpersA class which contains extension methods to convert LINQ expressions and reflection data into serializable form.
PostProcessorExceptionAn exception used for customized processing to report errors, Spec Explorer will catch PostProcessorException thrown in Process method and report its message in Error List Window and Output Window.
ProbeA class representing a probe.
SerializableBinaryExpressionA binary and XML serializable representation of a LINQ binary expression
SerializableConditionalExpressionA binary and XML serializable representation of a LINQ conditional expression
SerializableConstantExpressionA binary and XML serializable representation of a LINQ constant expression
SerializableConstructorInfoA binary and XML serializable representation of a constructor.
SerializableElementInitA binary and XML serializable representation of a LINQ element initialization
SerializableEnumExpressionA binary and XML serializable representation of a LINQ enum expression
SerializableEventInfoA binary and XML serializable representation of an event.
SerializableExpressionA binary and XML serializable representation of a LINQ expression
SerializableExpressionVisitorvisitor of SerializableExpression
SerializableFieldInfoA binary and XML serializable representation of a field.
SerializableInvocationExpressionA binary and XML serializable representation of a LINQ invocation expression
SerializableLambdaExpressionA binary and XML serializable representation of a LINQ lambda expression
SerializableListInitExpressionA binary and XML serializable representation of a LINQ list init expression
SerializableMemberAssignmentA binary and XML serializable representation of a LINQ member assignment
SerializableMemberBindingA binary and XML serializable representation of a LINQ member binding
SerializableMemberExpressionA binary and XML serializable representation of a LINQ member expression
SerializableMemberInfoA binary and XML serializable representation of a member.
SerializableMemberInitExpressionA binary and XML serializable representation of a LINQ member init expression
SerializableMemberListBindingA binary and XML serializable representation of a LINQ list binding
SerializableMemberMemberBindingA binary and XML serializable representation of a recursive LINQ member binding
SerializableMethodBaseA binary and XML serializable representation of a method base.
SerializableMethodCallExpressionA binary and XML serializable representation of a LINQ call expression
SerializableMethodInfoA binary and XML serializable representation of a method.
SerializableNewArrayExpressionA binary and XML serializable representation of a LINQ new array expression
SerializableNewExpressionA binary and XML serializable representation of a LINQ new expression
SerializableParameterExpressionA binary and XML serializable representation of a LINQ parameter expression
SerializableParameterInfoA binary and XML serializable representation of a parameter.
SerializablePropertyInfoA binary and XML serializable representation of a property.
SerializableTypeA binary and XML serializable representation of a type.
SerializableTypeBinaryExpressionA binary and XML serializable representation of a LINQ type binary expression
SerializableUnaryExpressionA binary and XML serializable representation of a LINQ unary expression
SharedEntitySetA class to represent the shared entities which contains values shared among all states in a transition system.
StateA class representing a state.
StateContentsThe object model wrapping state entities and shared entities.
StateEntityThe object model representing state content.
TransitionA class describing a state transition.
TransitionSystemA class representing the states and transitions in an exploration result, together with their properties and contents.
TransitionSystemElementThe base class of all transition system elements.
For internal purposes only; supports the serialization infrastructure.

InterfaceDescription
IPostProcessorInterface of user customized processing

EnumerationDescription
ActionSymbolKindThe kind of an action.
AssociationReferenceKindDescribes the kind of an association reference.
ExpressionTypeDescribes the node types for the nodes of an expression tree. This type must be consistent with ExpressionType
NodeKindDescribes the kind of a node.
ProbeValueKindThe kind of probe value.
StateFlagsA type representing the targetFlags of a state.
StateRelationKindPossible kinds of relation between one state and its representative.



Community Additions

ADD
Show: