Class Action.JustMutate<S>

    • Constructor Detail

      • JustMutate

        public JustMutate()
    • Method Detail

      • transformer

        public Arbitrary<Transformer<S>> transformer()
        Description copied from interface: Action.Independent
        Return an arbitrary for transformers that does not depend on the previous state.

        In addition to performing a state transformation the transforming function can also check or assert post-conditions and invariants that should hold when doing the transformation.

        Specified by:
        transformer in interface Action.Independent<S>
        an arbitrary of type Transformer.
      • mutate

        public abstract void mutate​(S state)
      • description

        public java.lang.String description()