Action7<State, System, T1, T2, T3, T4, T5, T6, T7, R> constructor

Action7<State, System, T1, T2, T3, T4, T5, T6, T7, R>(String description, Arbitrary<T1> arbitrary1, Arbitrary<T2> arbitrary2, Arbitrary<T3> arbitrary3, Arbitrary<T4> arbitrary4, Arbitrary<T5> arbitrary5, Arbitrary<T6> arbitrary6, Arbitrary<T7> arbitrary7, { required FutureOr<void> nextState(State, T1, T2, T3, T4, T5, T6, T7,), required FutureOr<R> run(System, T1, T2, T3, T4, T5, T6, T7,), FutureOr<bool> precondition(State, T1, T2, T3, T4, T5, T6, T7,)?, FutureOr<bool> postcondition(State, T1, T2, T3, T4, T5, T6, T7, R,)?, })

Creates a new action command with 7 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.
• arbitrary7: The arbitrary used to generate the seventh 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

Action7(
  String description,
  Arbitrary<T1> arbitrary1,
  Arbitrary<T2> arbitrary2,
  Arbitrary<T3> arbitrary3,
  Arbitrary<T4> arbitrary4,
  Arbitrary<T5> arbitrary5,
  Arbitrary<T6> arbitrary6,
  Arbitrary<T7> arbitrary7, {
  required FutureOr<void> Function(State, T1, T2, T3, T4, T5, T6, T7)
      nextState,
  required FutureOr<R> Function(System, T1, T2, T3, T4, T5, T6, T7) run,
  FutureOr<bool> Function(State, T1, T2, T3, T4, T5, T6, T7)? precondition,
  FutureOr<bool> Function(State, T1, T2, T3, T4, T5, T6, T7, R)?
      postcondition,
}) : super(
        description,
        combine7(
          arbitrary1,
          arbitrary2,
          arbitrary3,
          arbitrary4,
          arbitrary5,
          arbitrary6,
          arbitrary7,
        ),
        nextState: (s, args) => nextState(
          s,
          args.$1,
          args.$2,
          args.$3,
          args.$4,
          args.$5,
          args.$6,
          args.$7,
        ),
        run: (sys, args) => run(
          sys,
          args.$1,
          args.$2,
          args.$3,
          args.$4,
          args.$5,
          args.$6,
          args.$7,
        ),
        precondition: (s, args) => asyncCallOr(
          () => precondition?.call(
            s,
            args.$1,
            args.$2,
            args.$3,
            args.$4,
            args.$5,
            args.$6,
            args.$7,
          ),
          true,
        ),
        postcondition: (s, args, r) => asyncCallOr(
          () => postcondition?.call(
            s,
            args.$1,
            args.$2,
            args.$3,
            args.$4,
            args.$5,
            args.$6,
            args.$7,
            r,
          ),
          true,
        ),
      );