Action6<State, System, T1, T2, T3, T4, T5, T6, R> constructor
Action6<State, System, T1, T2, T3, T4, T5, T6, R> (
- String description,
- Arbitrary<
T1> arbitrary1, - Arbitrary<
T2> arbitrary2, - Arbitrary<
T3> arbitrary3, - Arbitrary<
T4> arbitrary4, - Arbitrary<
T5> arbitrary5, - Arbitrary<
T6> arbitrary6, { - required void nextState(
- State,
- T1,
- T2,
- T3,
- T4,
- T5,
- T6,
- required R run(
- System,
- T1,
- T2,
- T3,
- T4,
- T5,
- T6,
- bool precondition(
- State,
- T1,
- T2,
- T3,
- T4,
- T5,
- T6,
- bool postcondition(
- State,
- T1,
- T2,
- T3,
- T4,
- T5,
- T6,
- R,
Creates a new action command with 6 arbitraries.
Parameters:
description
: The description of the action.arbitrary1
: The arbitrary used to generate the first value.arbitrary2
: The arbitrary used to generate the second value.arbitrary3
: The arbitrary used to generate the third value.arbitrary4
: The arbitrary used to generate the fourth value.arbitrary5
: The arbitrary used to generate the fifth value.arbitrary6
: The arbitrary used to generate the sixth value.run
: A function to perform the action.precondition
: A function to test the precondition of the action.postcondition
: A function to test the postcondition of the action.
Implementation
Action6(
String description,
Arbitrary<T1> arbitrary1,
Arbitrary<T2> arbitrary2,
Arbitrary<T3> arbitrary3,
Arbitrary<T4> arbitrary4,
Arbitrary<T5> arbitrary5,
Arbitrary<T6> arbitrary6, {
required void Function(State, T1, T2, T3, T4, T5, T6) nextState,
required R Function(System, T1, T2, T3, T4, T5, T6) run,
bool Function(State, T1, T2, T3, T4, T5, T6)? precondition,
bool Function(State, T1, T2, T3, T4, T5, T6, R)? postcondition,
}) : super(
description,
combine6(
arbitrary1,
arbitrary2,
arbitrary3,
arbitrary4,
arbitrary5,
arbitrary6,
(a, b, c, d, e, f) => (a, b, c, d, e, f),
),
nextState: (s, args) => nextState(
s,
args.$1,
args.$2,
args.$3,
args.$4,
args.$5,
args.$6,
),
run: (sys, args) =>
run(sys, args.$1, args.$2, args.$3, args.$4, args.$5, args.$6),
precondition: (s, args) =>
precondition?.call(
s,
args.$1,
args.$2,
args.$3,
args.$4,
args.$5,
args.$6,
) ??
true,
postcondition: (s, args, r) =>
postcondition?.call(
s,
args.$1,
args.$2,
args.$3,
args.$4,
args.$5,
args.$6,
r,
) ??
true,
);