public class Requirements
Defines a simple domain specific language for the specification of financial contracts. Currently covers:
Some utilities for working with commands.
A simple language extension for specifying requirements in English, along with logic to enforce them.
public static Requirements INSTANCE
Defines a simple domain specific language for the specification of financial contracts. Currently covers:
Some utilities for working with commands.
A simple language extension for specifying requirements in English, along with logic to enforce them.
public void using(@NotNull java.lang.String $this$using, boolean expr)
Throws IllegalArgumentException if the given expression evaluates to false.