commands

May 18, 2020

Changes in this version

+ func Replay(systemUnderTest SystemUnderTest, initialState State, commands ...Command) *gopter.PropResult

Dec 10, 2017

Changes in this version

+ func Prop(commands Commands) gopter.Prop

+ type Command interface

+ NextState func(state State) State

+ PostCondition func(state State, result Result) *gopter.PropResult

+ PreCondition func(state State) bool

+ Run func(systemUnderTest SystemUnderTest) Result

+ String func() string

+ type Commands interface

+ DestroySystemUnderTest func(SystemUnderTest)

+ GenCommand func(state State) gopter.Gen

+ GenInitialState func() gopter.Gen

+ InitialPreCondition func(state State) bool

+ NewSystemUnderTest func(initialState State) SystemUnderTest

+ type ProtoCommand struct

+ Name string

+ NextStateFunc func(state State) State

+ PostConditionFunc func(state State, result Result) *gopter.PropResult

+ PreConditionFunc func(state State) bool

+ RunFunc func(systemUnderTest SystemUnderTest) Result

+ func (p *ProtoCommand) NextState(state State) State

+ func (p *ProtoCommand) PostCondition(state State, result Result) *gopter.PropResult

+ func (p *ProtoCommand) PreCondition(state State) bool

+ func (p *ProtoCommand) Run(systemUnderTest SystemUnderTest) Result

+ func (p *ProtoCommand) String() string

+ type ProtoCommands struct

+ DestroySystemUnderTestFunc func(SystemUnderTest)

+ GenCommandFunc func(State) gopter.Gen

+ InitialPreConditionFunc func(State) bool

+ InitialStateGen gopter.Gen

+ NewSystemUnderTestFunc func(initialState State) SystemUnderTest

+ func (p *ProtoCommands) DestroySystemUnderTest(systemUnderTest SystemUnderTest)

+ func (p *ProtoCommands) GenCommand(state State) gopter.Gen

+ func (p *ProtoCommands) GenInitialState() gopter.Gen

+ func (p *ProtoCommands) InitialPreCondition(state State) bool

+ func (p *ProtoCommands) NewSystemUnderTest(initialState State) SystemUnderTest

+ type Result interface

+ type State interface

+ type SystemUnderTest interface