WITH REPORT ;
PROCEDURE C45220B IS
USE REPORT;
SUBTYPE T1 IS BOOLEAN RANGE FALSE..FALSE ;
SUBTYPE T2 IS BOOLEAN RANGE TRUE..TRUE ;
SUBTYPE T3 IS BOOLEAN RANGE FALSE..TRUE ;
SUBTYPE T4 IS T3 RANGE TRUE..TRUE ;
FVAR1 : T1 := FALSE ;
TVAR1 : T2 := TRUE ;
FVAR2 : T3 := FALSE ;
TVAR2 : T4 := TRUE ;
ERROR_COUNT : INTEGER := 0 ;
PROCEDURE BUMP IS
BEGIN
ERROR_COUNT := ERROR_COUNT + 1 ;
END BUMP ;
BEGIN
TEST( "C45220B" , "CHECK THAT '<' , '<=' , '>' , '>=' PRODUCE" &
" CORRECT RESULTS ON BOOLEAN-TYPE OPERANDS" ) ;
FVAR1 := IDENT_BOOL( FALSE ) ;
TVAR1 := IDENT_BOOL( TRUE ) ;
FVAR2 := IDENT_BOOL( FALSE ) ;
TVAR2 := IDENT_BOOL( TRUE ) ;
ERROR_COUNT := 0 ;
IF FALSE < FALSE THEN BUMP ; END IF;
IF FVAR1 < FALSE THEN BUMP ; END IF;
IF FALSE < FVAR2 THEN BUMP ; END IF;
IF FVAR2 < FVAR1 THEN BUMP ; END IF;
IF FALSE < TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 < TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE < TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 < TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE < FALSE THEN BUMP ; END IF;
IF TRUE < FVAR1 THEN BUMP ; END IF;
IF TVAR2 < FALSE THEN BUMP ; END IF;
IF TVAR1 < FVAR2 THEN BUMP ; END IF;
IF TRUE < TRUE THEN BUMP ; END IF;
IF TVAR1 < TRUE THEN BUMP ; END IF;
IF TRUE < TVAR2 THEN BUMP ; END IF;
IF TVAR2 < TVAR1 THEN BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF BOOLEAN VALUES - FAILURE '<'" );
END IF;
ERROR_COUNT := 0 ;
IF FALSE <= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 <= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE <= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 <= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF FALSE <= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 <= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE <= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 <= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE <= FALSE THEN BUMP ; END IF;
IF TRUE <= FVAR1 THEN BUMP ; END IF;
IF TVAR2 <= FALSE THEN BUMP ; END IF;
IF TVAR1 <= FVAR2 THEN BUMP ; END IF;
IF TRUE <= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 <= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE <= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 <= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF BOOLEAN VALUES - FAILURE '<='" );
END IF;
ERROR_COUNT := 0 ;
IF FALSE > FALSE THEN BUMP ; END IF;
IF FVAR1 > FALSE THEN BUMP ; END IF;
IF FALSE > FVAR2 THEN BUMP ; END IF;
IF FVAR2 > FVAR1 THEN BUMP ; END IF;
IF FALSE > TRUE THEN BUMP ; END IF;
IF FVAR1 > TRUE THEN BUMP ; END IF;
IF FALSE > TVAR2 THEN BUMP ; END IF;
IF FVAR2 > TVAR1 THEN BUMP ; END IF;
IF TRUE > FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE > FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 > FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 > FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE > TRUE THEN BUMP ; END IF;
IF TVAR1 > TRUE THEN BUMP ; END IF;
IF TRUE > TVAR2 THEN BUMP ; END IF;
IF TVAR2 > TVAR1 THEN BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF BOOLEAN VALUES - FAILURE '>'" );
END IF;
ERROR_COUNT := 0 ;
IF FALSE >= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 >= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF FALSE >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF FALSE >= TRUE THEN BUMP ; END IF;
IF FVAR1 >= TRUE THEN BUMP ; END IF;
IF FALSE >= TVAR2 THEN BUMP ; END IF;
IF FVAR2 >= TVAR1 THEN BUMP ; END IF;
IF TRUE >= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 >= FALSE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TRUE >= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 >= TRUE THEN NULL ; ELSE BUMP ; END IF;
IF TRUE >= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 >= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF BOOLEAN VALUES - FAILURE '>='" );
END IF;
RESULT ;
END C45220B;