Class StepFunctionApplicationException

Namespace

Microsoft.Accordant

Assembly

Accordant.dll

This is an exception thrown during state graph exploration where applying a step function on the state in a state graph node leads to an exception thrown from the step function application code. The step function application code is written by users of this framework and can throw arbitrary exceptions due to bugs. That exception is caught and wrapped up in this exception. It also contains a path from the root node to the target node where the exception was thrown that can help in debugging the issue.

public class StepFunctionApplicationException : Exception, ISerializable

Inheritance

object

Exception

StepFunctionApplicationException

Implements

ISerializable

Inherited Members

Exception.GetBaseException()

Exception.GetObjectData(SerializationInfo, StreamingContext)

Exception.GetType()

Exception.ToString()

Exception.Data

Exception.HelpLink

Exception.HResult

Exception.InnerException

Exception.Message

Exception.Source

Exception.StackTrace

Exception.TargetSite

Exception.SerializeObjectState

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

Constructors

StepFunctionApplicationException(Exception, StateGraphNode, IList<(IStepFunction stepFunction, StateGraphNode node)>, IStepFunction)

public StepFunctionApplicationException(Exception exception, StateGraphNode node, IList<(IStepFunction stepFunction, StateGraphNode node)> pathToNode, IStepFunction stepFunction)

Parameters

exception Exception

node StateGraphNode

pathToNode IList<(IStepFunction stepFunction, StateGraphNode node)>

stepFunction IStepFunction

Properties

ExceptionEncounteringNode

The state graph node at which applying one of its step functions lead to the exception.

public StateGraphNode ExceptionEncounteringNode { get; set; }

Property Value

StateGraphNode

ExceptionEncounteringStepFunction

The step function that lead to the exception.

public IStepFunction ExceptionEncounteringStepFunction { get; set; }

Property Value

IStepFunction

PathToNode

The path from the root node to the node at which the exception was encountered. The initial step function is null for the starting node.

public IList<(IStepFunction stepFunction, StateGraphNode node)> PathToNode { get; set; }

Property Value

IList<(IStepFunction stepFunction, StateGraphNode node)>