invariant function

dynamic invariant(
  1. dynamic condition,
  2. String message
)

Implementation

dynamic invariant(dynamic condition, String message){
  if(condition){
    return;
  }
  throw AssertionError(message);
}