1-- C87B04B.ADA 2 3-- Grant of Unlimited Rights 4-- 5-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, 6-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 7-- unlimited rights in the software and documentation contained herein. 8-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making 9-- this public release, the Government intends to confer upon all 10-- recipients unlimited rights equal to those held by the Government. 11-- These rights include rights to use, duplicate, release or disclose the 12-- released technical data and computer software in whole or in part, in 13-- any manner and for any purpose whatsoever, and to have or permit others 14-- to do so. 15-- 16-- DISCLAIMER 17-- 18-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR 19-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 20-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE 21-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 22-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A 23-- PARTICULAR PURPOSE OF SAID MATERIAL. 24--* 25-- OBJECTIVE: 26-- CHECK THAT OVERLOADING RESOLUTION USES THE RULE THAT: 27 28-- IN AN ACCURACY CONSTRAINT OF A SUBTYPE INDICATION, THE 29-- EXPRESSIONS FOR THE LOWER AND UPPER BOUNDS MUST BE COMPATIBLE 30-- WITH THE SUBTYPE'S EXPLICIT TYPEMARK. 31 32-- HISTORY: 33-- TRH 06/29/82 CREATED ORIGINAL TEST. 34-- BCB 11/12/87 CHANGED HEADER TO STANDARD FORMAT. CORRECTED 35-- CONSTRAINT ERRORS. 36-- KAS 11/24/95 DELETED SUBTYPE DIGITS CONSTRAINT 37 38WITH REPORT; USE REPORT; 39 40PROCEDURE C87B04B IS 41 42 TYPE EXACT IS DIGITS 5 RANGE -1.0 .. 1.0; 43 TYPE HEX IS DELTA 2.0 ** (-4) RANGE -1.0 .. 1.0; 44 45 FUNCTION F1 RETURN EXACT IS 46 BEGIN 47 RETURN 0.0; 48 END F1; 49 50 FUNCTION F1 RETURN FLOAT IS 51 BEGIN 52 FAILED ("RESOLUTION INCORRECT - ACCURACY CONSTRAINT OF " & 53 "SUBTYPE INDICATION - F1"); 54 RETURN 0.0; 55 END F1; 56 57 FUNCTION "+" (X : INTEGER) RETURN HEX IS 58 BEGIN 59 RETURN 0.0; 60 END "+"; 61 62 FUNCTION "+" (X : INTEGER) RETURN FLOAT IS 63 BEGIN 64 FAILED ("RESOLUTION INCORRECT - ACCURACY CONSTRAINT OF " & 65 "SUBTYPE INDICATION - +"); 66 RETURN 0.0; 67 END "+"; 68 69BEGIN 70 TEST ("C87B04B","OVERLOADED EXPRESSIONS IN ACCURACY CONTRAINTS" & 71 " OF FLOATING/FIXED POINT SUBTYPE INDICATIONS"); 72 73 DECLARE 74 SUBTYPE CLOSE IS EXACT RANGE -1.0 .. F1; 75 SUBTYPE BIN IS HEX DELTA 2.0 ** (-1) RANGE "+" (0) .. 0.5; 76 77 BEGIN 78 NULL; 79 END; 80 81 RESULT; 82END C87B04B; 83