with TEXT_IO; package body CHECK is procedure VIOLATE (STR_PREDICATE : in STRING; DRIMAGE : in STRING) is begin TEXT_IO.PUT_LINE ("** VIOLATE: " & STR_PREDICATE & " BY: " & DRIMAGE); end VIOLATE; procedure ASSERT (BOOL_PREDICATE : in BOOLEAN; STR_PREDICATE : in STRING; DRIMAGE : in STRING) is begin if not BOOL_PREDICATE then VIOLATE ( STR_PREDICATE, DRIMAGE); end if; end ASSERT; end CHECK;