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.
Modifier and Type | Field and Description |
---|---|
static Requirements |
INSTANCE
Defines a simple domain specific language for the specification of financial contracts. Currently covers:
|
Modifier and Type | Method and Description |
---|---|
void |
using(java.lang.String $receiver,
boolean expr)
Throws IllegalArgumentException if the given expression evaluates to false.
|
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(java.lang.String $receiver, boolean expr)
Throws IllegalArgumentException if the given expression evaluates to false.