void function ( final Supplier < RuntimeException > arg0 ) { if ( ! assertion . get ( ) ) { throw arg0 . get ( ) ; } }
check if the precondition is met ie , the assertion returns true and if it is not then throw an exception created by a supplier . concode_field_sep Supplier<Boolean> assertion concode_field_sep Precondition assertPrecondition concode_elem_sep Precondition assertPrecondition