Creates a mock specification expecting method m to be called with arguments
satisfying assertion a and returning value produced by function f using input arguments.
Creates a mock specification expecting method m to be called with any arguments
and returning value produced by function f using input arguments.
Creates a mock specification expecting method m to be called with any arguments
and returning value produced by effect f using input arguments.
Creates a mock specification expecting method m to be called with any arguments
and returning value produced by effect f.
Creates a mock specification expecting method m to be called with any arguments
and returning value v.
Creates a mock specification expecting method m to be called with arguments
satisfying assertion a and returning unit.
Creates a mock specification expecting method m to be called with arguments
satisfying assertion a and returning value produced by effect f using input arguments.
Creates a mock specification expecting method m to be called with arguments
satisfying assertion a and returning value produced by effect f.
Creates a mock specification expecting method m to be called with no arguments
and returning value v.
Creates a mock specification expecting method m to be called with no arguments
and returning value produced by effect f.
Creates a mock specification expecting method m to be called with arguments
satisfying assertion a and returning value v.
Creates a mock specification that holds the final value a produced by specification.
Creates a mock specification that holds the final value a produced by specification.
Models completed specification with no further expectations.
Automatically converts specification to managed environement.