WITH REPORT ;
PROCEDURE C45220D IS
USE REPORT;
TYPE NB IS NEW BOOLEAN ;
SUBTYPE T1 IS NB RANGE NB'(FALSE)..NB'(FALSE) ;
SUBTYPE T2 IS NB RANGE NB'(TRUE )..NB'(TRUE );
SUBTYPE T3 IS NB RANGE NB'(FALSE)..NB'(TRUE );
SUBTYPE T4 IS T3 RANGE NB'(TRUE )..NB'(TRUE );
FVAR1 : T1 := NB'(FALSE) ;
TVAR1 : T2 := NB'(TRUE );
FVAR2 : T3 := NB'(FALSE) ;
TVAR2 : T4 := NB'(TRUE );
ERROR_COUNT : INTEGER := 0 ;
PROCEDURE BUMP IS
BEGIN
ERROR_COUNT := ERROR_COUNT + 1 ;
END BUMP ;
FUNCTION IDENT_NEW_BOOL( THE_ARGUMENT : NB ) RETURN NB IS
BEGIN
IF EQUAL(2,2) THEN RETURN THE_ARGUMENT;
ELSE RETURN NB'(FALSE) ;
END IF;
END ;
BEGIN
TEST( "C45220D" , "CHECK THAT '<' , '<=' , '>' , '>=' PRODUCE" &
" CORRECT RESULTS ON DERIVED-BOOLEAN-TYPE" &
" OPERANDS" ) ;
FVAR1 := IDENT_NEW_BOOL( NB'(FALSE) ) ;
TVAR1 := IDENT_NEW_BOOL( NB'(TRUE )) ;
FVAR2 := IDENT_NEW_BOOL( NB'(FALSE) ) ;
TVAR2 := IDENT_NEW_BOOL( NB'(TRUE )) ;
ERROR_COUNT := 0 ;
IF NB'(FALSE) < NB'(FALSE) THEN BUMP ; END IF;
IF FVAR1 < NB'(FALSE) THEN BUMP ; END IF;
IF NB'(FALSE) < FVAR2 THEN BUMP ; END IF;
IF FVAR2 < FVAR1 THEN BUMP ; END IF;
IF NB'(FALSE) < NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 < NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) < TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 < TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) < NB'(FALSE) THEN BUMP ; END IF;
IF NB'(TRUE ) < FVAR1 THEN BUMP ; END IF;
IF TVAR2 < NB'(FALSE) THEN BUMP ; END IF;
IF TVAR1 < FVAR2 THEN BUMP ; END IF;
IF NB'(TRUE ) < NB'(TRUE ) THEN BUMP ; END IF;
IF TVAR1 < NB'(TRUE ) THEN BUMP ; END IF;
IF NB'(TRUE ) < TVAR2 THEN BUMP ; END IF;
IF TVAR2 < TVAR1 THEN BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '<'" );
END IF;
ERROR_COUNT := 0 ;
IF NB'(FALSE) <= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 <= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) <= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 <= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) <= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 <= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) <= NB'(FALSE) THEN BUMP ; END IF;
IF NB'(TRUE ) <= FVAR1 THEN BUMP ; END IF;
IF TVAR2 <= NB'(FALSE) THEN BUMP ; END IF;
IF TVAR1 <= FVAR2 THEN BUMP ; END IF;
IF NB'(TRUE ) <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(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 N_BOOLEAN VALUES - FAILURE '<='" );
END IF;
ERROR_COUNT := 0 ;
IF NB'(FALSE) > NB'(FALSE) THEN BUMP ; END IF;
IF FVAR1 > NB'(FALSE) THEN BUMP ; END IF;
IF NB'(FALSE) > FVAR2 THEN BUMP ; END IF;
IF FVAR2 > FVAR1 THEN BUMP ; END IF;
IF NB'(FALSE) > NB'(TRUE ) THEN BUMP ; END IF;
IF FVAR1 > NB'(TRUE ) THEN BUMP ; END IF;
IF NB'(FALSE) > TVAR2 THEN BUMP ; END IF;
IF FVAR2 > TVAR1 THEN BUMP ; END IF;
IF NB'(TRUE ) > NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) > FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 > NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 > FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) > NB'(TRUE ) THEN BUMP ; END IF;
IF TVAR1 > NB'(TRUE ) THEN BUMP ; END IF;
IF NB'(TRUE ) > TVAR2 THEN BUMP ; END IF;
IF TVAR2 > TVAR1 THEN BUMP ; END IF;
IF ERROR_COUNT > 0 THEN
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '>'" );
END IF;
ERROR_COUNT := 0 ;
IF NB'(FALSE) >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF FVAR1 >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF FVAR2 >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(FALSE) >= NB'(TRUE ) THEN BUMP ; END IF;
IF FVAR1 >= NB'(TRUE ) THEN BUMP ; END IF;
IF NB'(FALSE) >= TVAR2 THEN BUMP ; END IF;
IF FVAR2 >= TVAR1 THEN BUMP ; END IF;
IF NB'(TRUE ) >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
IF TVAR2 >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
IF NB'(TRUE ) >= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF TVAR1 >= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
IF NB'(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 N_BOOLEAN VALUES - FAILURE '>='" );
END IF;
RESULT ;
END C45220D;