Class SystemChecker

Namespace

Microsoft.Accordant

Assembly

Accordant.dll

This class validates the system behavior by explaining it in terms of stateful contracts.

public class SystemChecker

Inheritance

object

SystemChecker

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Methods

Validate(IList<IList<IStepFunction>>, IState, Action<IState, IList<IStepFunction>>)

public static StateProfile Validate(IList<IList<IStepFunction>> sequenceOfConcurrentSteps, IState startingState, Action<IState, IList<IStepFunction>> hook = null)

Parameters

sequenceOfConcurrentSteps IList<IList<IStepFunction>>

startingState IState

hook Action<IState, IList<IStepFunction>>

Returns

StateProfile

Validate(IList<IList<IStepFunction>>, StateProfile, Action<IState, IList<IStepFunction>>)

public static StateProfile Validate(IList<IList<IStepFunction>> sequenceOfConcurrentSteps, StateProfile stateProfile, Action<IState, IList<IStepFunction>> hook = null)

Parameters

sequenceOfConcurrentSteps IList<IList<IStepFunction>>

stateProfile StateProfile

hook Action<IState, IList<IStepFunction>>

Returns

StateProfile