Action4<State, System, T1, T2, T3, T4, R> constructor
Action4<State, System, T1, T2, T3, T4, R> (
- String description,
- Arbitrary<
T1> arbitrary1, - Arbitrary<
T2> arbitrary2, - Arbitrary<
T3> arbitrary3, - Arbitrary<
T4> arbitrary4, { - required void nextState(
- State,
- T1,
- T2,
- T3,
- T4,
- required R run(
- System,
- T1,
- T2,
- T3,
- T4,
- bool precondition(
- State,
- T1,
- T2,
- T3,
- T4,
- bool postcondition(
- State,
- T1,
- T2,
- T3,
- T4,
- R,
Creates a new action command with 4 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.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
Action4(
String description,
Arbitrary<T1> arbitrary1,
Arbitrary<T2> arbitrary2,
Arbitrary<T3> arbitrary3,
Arbitrary<T4> arbitrary4, {
required void Function(State, T1, T2, T3, T4) nextState,
required R Function(System, T1, T2, T3, T4) run,
bool Function(State, T1, T2, T3, T4)? precondition,
bool Function(State, T1, T2, T3, T4, R)? postcondition,
}) : super(
description,
combine4(
arbitrary1,
arbitrary2,
arbitrary3,
arbitrary4,
(a, b, c, d) => (a, b, c, d),
),
nextState: (s, args) =>
nextState(s, args.$1, args.$2, args.$3, args.$4),
run: (sys, args) => run(sys, args.$1, args.$2, args.$3, args.$4),
precondition: (s, args) =>
precondition?.call(s, args.$1, args.$2, args.$3, args.$4) ?? true,
postcondition: (s, args, r) =>
postcondition?.call(s, args.$1, args.$2, args.$3, args.$4, r) ??
true,
);