diff options
Diffstat (limited to 'testsuite/vests/vhdl-93/billowitch/compliant/tc519.vhd')
| -rw-r--r-- | testsuite/vests/vhdl-93/billowitch/compliant/tc519.vhd | 699 |
1 files changed, 699 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/billowitch/compliant/tc519.vhd b/testsuite/vests/vhdl-93/billowitch/compliant/tc519.vhd new file mode 100644 index 0000000..2427b94 --- /dev/null +++ b/testsuite/vests/vhdl-93/billowitch/compliant/tc519.vhd @@ -0,0 +1,699 @@ + +-- Copyright (C) 2001 Bill Billowitch. + +-- Some of the work to develop this test suite was done with Air Force +-- support. The Air Force and Bill Billowitch assume no +-- responsibilities for this software. + +-- This file is part of VESTs (Vhdl tESTs). + +-- VESTs is free software; you can redistribute it and/or modify it +-- under the terms of the GNU General Public License as published by the +-- Free Software Foundation; either version 2 of the License, or (at +-- your option) any later version. + +-- VESTs is distributed in the hope that it will be useful, but WITHOUT +-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +-- for more details. + +-- You should have received a copy of the GNU General Public License +-- along with VESTs; if not, write to the Free Software Foundation, +-- Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + +-- --------------------------------------------------------------------- +-- +-- $Id: tc519.vhd,v 1.2 2001-10-26 16:29:56 paw Exp $ +-- $Revision: 1.2 $ +-- +-- --------------------------------------------------------------------- + +package c03s03b00x00p03n01i00519pkg is +----------------------------------USING ONLY WHITE MATTER--------------------------------- +------------------------------------------------------------------------------------------ +---ACCESS TYPE FROM STANDARD PACKAGE + + type boolean_ptr is access boolean ; --simple boolean type + type bit_ptr is access bit ; --simple bit type + type char_ptr is access character; --simple character type + type severity_level_ptr is access severity_level;--simple severity type + type integer_ptr is access integer; --simple integer type + type real_ptr is access real; --simple real type + type time_ptr is access time; --simple time type + type natural_ptr is access natural; --simple natural type + type positive_ptr is access positive; --simple positive type + type string_ptr is access string; --simple string type + type bit_vector_ptr is access bit_vector; --simple bit_vector type + +------------------------------------------------------------------------------------------ + +--UNCONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + type boolean_vector is array (natural range <>) of boolean; + type severity_level_vector is array (natural range <>) of severity_level; + type integer_vector is array (natural range <>) of integer; + type real_vector is array (natural range <>) of real; + type time_vector is array (natural range <>) of time; + type natural_vector is array (natural range <>) of natural; + type positive_vector is array (natural range <>) of positive; + +------------------------------------------------------------------------------------------- +--CONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + subtype boolean_vector_st is boolean_vector(0 to 15); + subtype severity_level_vector_st is severity_level_vector(0 to 15); + subtype integer_vector_st is integer_vector(0 to 15); + subtype real_vector_st is real_vector(0 to 15); + subtype time_vector_st is time_vector(0 to 15); + subtype natural_vector_st is natural_vector(0 to 15); + subtype positive_vector_st is positive_vector(0 to 15); + +------------------------------------------------------------------------------------------- +------------------------------------------------------------------------------------------- + +--CONSTRAINED ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + type boolean_cons_vector is array (15 downto 0) of boolean; + type severity_level_cons_vector is array (15 downto 0) of severity_level; + type integer_cons_vector is array (15 downto 0) of integer; + type real_cons_vector is array (15 downto 0) of real; + type time_cons_vector is array (15 downto 0) of time; + type natural_cons_vector is array (15 downto 0) of natural; + type positive_cons_vector is array (15 downto 0) of positive; + +------------------------------------------------------------------------------------------- + +--CONSTRAINED ARRAY OF ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + type boolean_cons_vectorofvector is array (0 to 15) of boolean_cons_vector; + type severity_level_cons_vectorofvector is array (0 to 15) of severity_level_cons_vector; + type integer_cons_vectorofvector is array (0 to 15) of integer_cons_vector ; + type real_cons_vectorofvector is array (0 to 15) of real_cons_vector; + type time_cons_vectorofvector is array (0 to 15) of time_cons_vector; + type natural_cons_vectorofvector is array (0 to 15) of natural_cons_vector; + type positive_cons_vectorofvector is array (0 to 15) of positive_cons_vector; + +------------------------------------------------------------------------------------------- + +--UNCONSTRAINED 2-DIMENSIONAL ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + type s2boolean_vector is array (natural range <>,natural range <>) of boolean; + type s2bit_vector is array (natural range <>,natural range <>) of bit; + type s2char_vector is array (natural range <>,natural range <>) of character; + type s2severity_level_vector is array (natural range <>,natural range <>) of severity_level; + type s2integer_vector is array (natural range <>,natural range <>) of integer; + type s2real_vector is array (natural range <>,natural range <>) of real; + type s2time_vector is array (natural range <>,natural range <>) of time; + type s2natural_vector is array (natural range <>,natural range <>) of natural; + type s2positive_vector is array (natural range <>,natural range <>) of positive; + +------------------------------------------------------------------------------------------- + +--CONSTRAINED 2-DIMENSIONAL ARRAY OF TYPES FROM STANDARD PACKAGE +--Index type is natural + type column is range 1 to 64; + type row is range 1 to 1024; + type s2boolean_cons_vector is array (row,column) of boolean; + type s2bit_cons_vector is array (row,column) of bit; + type s2char_cons_vector is array (row,column) of character; + type s2severity_level_cons_vector is array (row,column) of severity_level; + type s2integer_cons_vector is array (row,column) of integer; + type s2real_cons_vector is array (row,column) of real; + type s2time_cons_vector is array (row,column) of time; + type s2natural_cons_vector is array (row,column) of natural; + type s2positive_cons_vector is array (row,column) of positive; + +------------------------------------------------------------------------------------------- + +--RECORD WITH FIELDS FROM STANDARD PACKAGE + + type record_std_package is record + a: boolean; + b: bit; + c:character; + d:severity_level; + e:integer; + f:real; + g:time; + h:natural; + i:positive; + end record; + + +------------------------------------------------------------------------------------------- + +--RECORD WITH FIELDS AS CONSTRAINT ARRAYS + + type record_array_st is record + a:boolean_vector_st; + b:severity_level_vector_st; + c:integer_vector_st; + d:real_vector_st; + e:time_vector_st; + f:natural_vector_st; + g:positive_vector_st; + end record; + +------------------------------------------------------------------------------------------- + +--RECORD WITH FIELDS AS CONSTRAINT ARRAYS + + type record_cons_array is record + a:boolean_cons_vector; + b:severity_level_cons_vector; + c:integer_cons_vector; + d:real_cons_vector; + e:time_cons_vector; + f:natural_cons_vector; + g:positive_cons_vector; + end record; + +------------------------------------------------------------------------------------------- + +--RECORD WITH FIELDS AS 2-DIMENSIONAL CONSTRAINED ARRAYS + + type record_2cons_array is record + a:s2boolean_cons_vector; + b:s2bit_cons_vector; + c:s2char_cons_vector; + d:s2severity_level_cons_vector; + e:s2integer_cons_vector; + f:s2real_cons_vector; + g:s2time_cons_vector; + h:s2natural_cons_vector; + i:s2positive_cons_vector; + end record; + +------------------------------------------------------------------------------------------- + +--RECORD WITH FIELDS AS 2-DIMENSIONAL CONSTRAINED ARRAYS OF ARRAY + type record_cons_arrayofarray is record + a:boolean_cons_vectorofvector; + b:severity_level_cons_vectorofvector; + c:integer_cons_vectorofvector; + d:real_cons_vectorofvector; + e:time_cons_vectorofvector; + f:natural_cons_vectorofvector; + g:positive_cons_vectorofvector; + end record; + +-------------------------------------------------------------------------------------------- + + type record_of_ptr is record + a:boolean_ptr ; --simple boolean type + b:bit_ptr; --simple bit type + c:char_ptr; --simple character type + e:severity_level_ptr; --simple severity type + f:integer_ptr; --simple integer type + g:real_ptr ; --simple real type + h:time_ptr; --simple time type + i:natural_ptr; --simple natural type + j:positive_ptr; --simple positive type + k:string_ptr; --simple string type + l:bit_vector_ptr; --simple bit_vector type + end record; + +-------------------------------------------------------------------------------------------- + + type record_of_records is record + a: record_std_package; + c: record_cons_array; + e: record_2cons_array; + g: record_cons_arrayofarray; + h: record_of_ptr; + i: record_array_st; + end record; + +-------------------------------------------------------------------------------------------- +--ACCESS TYPES FOR ABOVE +-------------------------------------------------------------------------------------------- + + type boolean_vector_ptr is access boolean_vector; + type severity_level_vector_ptr is access severity_level_vector; + type integer_vector_ptr is access integer_vector; + type real_vector_ptr is access real_vector; + type time_vector_ptr is access time_vector; + type natural_vector_ptr is access natural_vector; + type positive_vector_ptr is access positive_vector; +-------------------------------------------------------------------------------------------- + type boolean_cons_vector_ptr is access boolean_cons_vector; + type severity_level_cons_vector_ptr is access severity_level_cons_vector; + type integer_cons_vector_ptr is access integer_cons_vector; + type real_cons_vector_ptr is access real_cons_vector; + type time_cons_vector_ptr is access time_cons_vector; + type natural_cons_vector_ptr is access natural_cons_vector; + type positive_cons_vector_ptr is access positive_cons_vector; +-------------------------------------------------------------------------------------------- + type boolean_cons_vectorofvector_ptr is access boolean_cons_vectorofvector; + type sev_lvl_cons_vecofvec_ptr is access severity_level_cons_vectorofvector; + type integer_cons_vectorofvector_ptr is access integer_cons_vectorofvector; + type real_cons_vectorofvector_ptr is access real_cons_vectorofvector; + type time_cons_vectorofvector_ptr is access time_cons_vectorofvector; + type natural_cons_vectorofvector_ptr is access natural_cons_vectorofvector; + type posi_cons_vecofvec_ptr is access positive_cons_vectorofvector; +-------------------------------------------------------------------------------------------- + type s2boolean_vector_ptr is access boolean_vector; + type s2bit_vector_ptr is access s2bit_vector; + type s2char_vector_ptr is access s2char_vector; + type s2severity_level_vector_ptr is access s2severity_level_vector; + type s2integer_vector_ptr is access s2integer_vector; + type s2real_vector_ptr is access s2real_vector; + type s2time_vector_ptr is access s2time_vector; + type s2positive_vector_ptr is access s2positive_vector; +-------------------------------------------------------------------------------------------- + type s2boolean_cons_vector_ptr is access s2boolean_cons_vector; + type s2bit_cons_vector_ptr is access s2bit_cons_vector; + type s2char_cons_vector_ptr is access s2char_cons_vector; + type s2sev_lvl_cons_vec_ptr is access s2severity_level_cons_vector; + type s2integer_cons_vector_ptr is access s2integer_cons_vector; + type s2real_cons_vector_ptr is access s2real_cons_vector; + type s2time_cons_vector_ptr is access s2time_cons_vector; + type s2natural_cons_vector_ptr is access natural_cons_vector; + type s2positive_cons_vector_ptr is access s2positive_cons_vector; +-------------------------------------------------------------------------------------------- + type record_std_package_ptr is access record_std_package; + type record_cons_array_ptr is access record_cons_array; + type record_2cons_array_ptr is access record_2cons_array; + type record_cons_arrayofarray_ptr is access record_cons_arrayofarray; + type record_of_ptr_ptr is access record_of_ptr; + type record_of_records_ptr is access record_of_records; + +-------------------------------------------------------------------------------------------- + +--------------------USING PARTIAL GRAY & PARTIAL WHITE MATTER------------------------------- + + + type four_value is ('Z','0','1','X'); --enumerated type + type four_value_map is array(four_value) of boolean; + subtype binary is four_value range '0' to '1'; + type four_value_vector is array (natural range <>) of four_value; --unconstraint array of + type byte is array(0 to 7) of bit; + subtype word is bit_vector(0 to 15); --constrained array + function resolution(i:in four_value_vector) return four_value; --bus resolution + subtype four_value_state is resolution four_value; --function type + type state_vector is array (natural range <>) of four_value_state; --unconstraint array of + constant size :integer := 63; + type primary_memory is array(0 to size) of word; --array of an array + type primary_memory_module is --record with field + record --as an array + enable:binary; + memory_number:primary_memory; + end record; + type whole_memory is array(0 to size) of primary_memory_module; --array of a complex record + type current is range -2147483647 to +2147483647 + units + nA; + uA = 1000 nA; + mA = 1000 uA; + A = 1000 mA; + end units; + type resistance is range -2147483647 to +2147483647 + units + uOhm; + mOhm = 1000 uOhm; + Ohm = 1000 mOhm; + KOhm = 1000 Ohm; + end units; + subtype delay is integer range 1 to 10; + + type four_value_ptr is access four_value; + type four_value_map_ptr is access four_value_map; + type binary_ptr is access binary; + type four_value_vector_ptr is access four_value_vector; --ennumerated type + type byte_ptr is access byte; + type word_ptr is access word; + type four_value_state_ptr is access four_value_state; + type state_vector_ptr is access state_vector; --type returned by resolu. + type primary_memory_ptr is access primary_memory; + type whole_memory_ptr is access whole_memory; + type current_ptr is access current; + type resistance_ptr is access resistance; + type delay_ptr is access delay; + +----------------------------------------------------------------------------------------- +end c03s03b00x00p03n01i00519pkg; + +package body c03s03b00x00p03n01i00519pkg is + function resolution(i:in four_value_vector) return four_value is + variable temp :four_value := 'Z'; + begin + return temp; + end; +end c03s03b00x00p03n01i00519pkg; + +use work.c03s03b00x00p03n01i00519pkg.all; +ENTITY c03s03b00x00p03n01i00519ent IS +END c03s03b00x00p03n01i00519ent; + +ARCHITECTURE c03s03b00x00p03n01i00519arch OF c03s03b00x00p03n01i00519ent IS +BEGIN + TESTING: PROCESS + variable var1 : boolean_ptr ; + variable var2 : bit_ptr ; + variable var3 : char_ptr ; + variable var4 : severity_level_ptr ; + variable var5 : integer_ptr ; + variable var6 : real_ptr ; + variable var7 : time_ptr ; + variable var8 : natural_ptr ; + variable var9 : positive_ptr ; + variable var10 : string_ptr ; + variable var11 : bit_vector_ptr ; + variable var12 : boolean_vector_ptr ; + variable var13 : severity_level_vector_ptr ; + variable var14 : integer_vector_ptr ; + variable var15 : real_vector_ptr ; + variable var16 : time_vector_ptr ; + variable var17 : natural_vector_ptr ; + variable var18 : positive_vector_ptr ; + variable var19 : boolean_cons_vector_ptr ; + variable var20 : severity_level_cons_vector_ptr ; + variable var21 : integer_cons_vector_ptr ; + variable var22 : real_cons_vector_ptr ; + variable var23 : time_cons_vector_ptr ; + variable var24 : natural_cons_vector_ptr ; + variable var25 : positive_cons_vector_ptr ; + variable var26 : boolean_cons_vectorofvector_ptr ; + variable var27 : sev_lvl_cons_vecofvec_ptr ; + variable var28 : integer_cons_vectorofvector_ptr ; + variable var29 : real_cons_vectorofvector_ptr ; + variable var30 : time_cons_vectorofvector_ptr ; + variable var31 : natural_cons_vectorofvector_ptr ; + variable var32 : posi_cons_vecofvec_ptr ; + variable var33 : s2boolean_vector_ptr ; + variable var34 : s2bit_vector_ptr ; + variable var35 : s2char_vector_ptr ; + variable var36 : s2severity_level_vector_ptr ; + variable var37 : s2integer_vector_ptr ; + variable var38 : s2real_vector_ptr ; + variable var39 : s2time_vector_ptr ; + variable var40 : s2positive_vector_ptr ; + variable var41 : s2boolean_cons_vector_ptr ; + variable var42 : s2bit_cons_vector_ptr ; + variable var43 : s2char_cons_vector_ptr ; + variable var44 : s2sev_lvl_cons_vec_ptr ; + variable var45 : s2integer_cons_vector_ptr ; + variable var46 : s2real_cons_vector_ptr ; + variable var47 : s2time_cons_vector_ptr ; + variable var48 : s2natural_cons_vector_ptr ; + variable var49 : s2positive_cons_vector_ptr ; + variable var50 : record_std_package_ptr ; + variable var51 : record_cons_array_ptr ; + variable var52 : record_2cons_array_ptr ; + variable var53 : record_cons_arrayofarray_ptr ; + variable var54 : record_of_ptr_ptr ; + variable var55 : record_of_records_ptr ; + variable var56 : four_value_ptr ; + variable var57 : four_value_map_ptr ; + variable var58 : binary_ptr ; + variable var59 : four_value_vector_ptr ; + variable var60 : byte_ptr ; + variable var61 : word_ptr ; + variable var62 : four_value_state_ptr ; + variable var63 : state_vector_ptr ; + variable var64 : primary_memory_ptr ; + variable var65 : whole_memory_ptr ; + variable var66 : current_ptr ; + variable var67 : resistance_ptr ; + variable var68 : delay_ptr ; + BEGIN + assert (var1 = null) + report "var1 has not been set to null." severity FAILURE ; + assert (var2 = null) + report "var2 has not been set to null." severity FAILURE ; + assert (var3 = null) + report "var3 has not been set to null." severity FAILURE ; + assert (var4 = null) + report "var4 has not been set to null." severity FAILURE ; + assert (var5 = null) + report "var5 has not been set to null." severity FAILURE ; + assert (var6 = null) + report "var6 has not been set to null." severity FAILURE ; + assert (var7 = null) + report "var7 has not been set to null." severity FAILURE ; + assert (var8 = null) + report "var8 has not been set to null." severity FAILURE ; + assert (var9 = null) + report "var9 has not been set to null." severity FAILURE ; + assert (var10 = null) + report "var10 has not been set to null." severity FAILURE ; + assert (var11 = null) + report "var11 has not been set to null." severity FAILURE ; + assert (var12 = null) + report "var12 has not been set to null." severity FAILURE ; + assert (var13 = null) + report "var13 has not been set to null." severity FAILURE ; + assert (var14 = null) + report "var14 has not been set to null." severity FAILURE ; + assert (var15 = null) + report "var15 has not been set to null." severity FAILURE ; + assert (var16 = null) + report "var16 has not been set to null." severity FAILURE ; + assert (var17 = null) + report "var17 has not been set to null." severity FAILURE ; + assert (var18 = null) + report "var18 has not been set to null." severity FAILURE ; + assert (var19 = null) + report "var19 has not been set to null." severity FAILURE ; + assert (var20 = null) + report "var20 has not been set to null." severity FAILURE ; + assert (var21 = null) + report "var21 has not been set to null." severity FAILURE ; + assert (var22 = null) + report "var22 has not been set to null." severity FAILURE ; + assert (var23 = null) + report "var23 has not been set to null." severity FAILURE ; + assert (var24 = null) + report "var24 has not been set to null." severity FAILURE ; + assert (var25 = null) + report "var25 has not been set to null." severity FAILURE ; + assert (var26 = null) + report "var26 has not been set to null." severity FAILURE ; + assert (var27 = null) + report "var27 has not been set to null." severity FAILURE ; + assert (var28 = null) + report "var28 has not been set to null." severity FAILURE ; + assert (var29 = null) + report "var29 has not been set to null." severity FAILURE ; + assert (var30 = null) + report "var30 has not been set to null." severity FAILURE ; + assert (var31 = null) + report "var31 has not been set to null." severity FAILURE ; + assert (var32 = null) + report "var32 has not been set to null." severity FAILURE ; + assert (var33 = null) + report "var33 has not been set to null." severity FAILURE ; + assert (var34 = null) + report "var34 has not been set to null." severity FAILURE ; + assert (var35 = null) + report "var35 has not been set to null." severity FAILURE ; + assert (var36 = null) + report "var36 has not been set to null." severity FAILURE ; + assert (var37 = null) + report "var37 has not been set to null." severity FAILURE ; + assert (var38 = null) + report "var38 has not been set to null." severity FAILURE ; + assert (var39 = null) + report "var39 has not been set to null." severity FAILURE ; + assert (var40 = null) + report "var40 has not been set to null." severity FAILURE ; + assert (var41 = null) + report "var41 has not been set to null." severity FAILURE ; + assert (var42 = null) + report "var42 has not been set to null." severity FAILURE ; + assert (var43 = null) + report "var43 has not been set to null." severity FAILURE ; + assert (var44 = null) + report "var44 has not been set to null." severity FAILURE ; + assert (var45 = null) + report "var45 has not been set to null." severity FAILURE ; + assert (var46 = null) + report "var46 has not been set to null." severity FAILURE ; + assert (var47 = null) + report "var47 has not been set to null." severity FAILURE ; + assert (var48 = null) + report "var48 has not been set to null." severity FAILURE ; + assert (var49 = null) + report "var49 has not been set to null." severity FAILURE ; + assert (var50 = null) + report "var50 has not been set to null." severity FAILURE ; + assert (var51 = null) + report "var51 has not been set to null." severity FAILURE ; + assert (var52 = null) + report "var52 has not been set to null." severity FAILURE ; + assert (var53 = null) + report "var53 has not been set to null." severity FAILURE ; + assert (var54 = null) + report "var54 has not been set to null." severity FAILURE ; + assert (var55 = null) + report "var55 has not been set to null." severity FAILURE ; + assert (var56 = null) + report "var56 has not been set to null." severity FAILURE ; + assert (var57 = null) + report "var57 has not been set to null." severity FAILURE ; + assert (var58 = null) + report "var58 has not been set to null." severity FAILURE ; + assert (var59 = null) + report "var59 has not been set to null." severity FAILURE ; + assert (var60 = null) + report "var60 has not been set to null." severity FAILURE ; + assert (var61 = null) + report "var61 has not been set to null." severity FAILURE ; + assert (var62 = null) + report "var62 has not been set to null." severity FAILURE ; + assert (var63 = null) + report "var63 has not been set to null." severity FAILURE ; + assert (var64 = null) + report "var64 has not been set to null." severity FAILURE ; + assert (var65 = null) + report "var65 has not been set to null." severity FAILURE ; + assert (var66 = null) + report "var66 has not been set to null." severity FAILURE ; + assert (var67 = null) + report "var67 has not been set to null." severity FAILURE ; + assert (var68 = null) + report "var68 has not been set to null." severity FAILURE ; + assert NOT((var1 = null) + and (var2 = null) + and (var3 = null) + and (var4 = null) + and (var5 = null) + and (var6 = null) + and (var7 = null) + and (var8 = null) + and (var9 = null) + and (var10 = null) + and (var11 = null) + and (var12 = null) + and (var13 = null) + and (var14 = null) + and (var15 = null) + and (var16 = null) + and (var17 = null) + and (var18 = null) + and (var19 = null) + and (var20 = null) + and (var21 = null) + and (var22 = null) + and (var23 = null) + and (var24 = null) + and (var25 = null) + and (var26 = null) + and (var27 = null) + and (var28 = null) + and (var29 = null) + and (var30 = null) + and (var31 = null) + and (var32 = null) + and (var33 = null) + and (var34 = null) + and (var35 = null) + and (var36 = null) + and (var37 = null) + and (var38 = null) + and (var39 = null) + and (var40 = null) + and (var41 = null) + and (var42 = null) + and (var43 = null) + and (var44 = null) + and (var45 = null) + and (var46 = null) + and (var47 = null) + and (var48 = null) + and (var49 = null) + and (var50 = null) + and (var51 = null) + and (var52 = null) + and (var53 = null) + and (var54 = null) + and (var55 = null) + and (var56 = null) + and (var57 = null) + and (var58 = null) + and (var59 = null) + and (var60 = null) + and (var61 = null) + and (var62 = null) + and (var63 = null) + and (var64 = null) + and (var65 = null) + and (var66 = null) + and (var67 = null) + and (var68 = null)) + report "***PASSED TEST: c03s03b00x00p03n01i00519" + severity NOTE; + assert ((var1 = null) + and (var2 = null) + and (var3 = null) + and (var4 = null) + and (var5 = null) + and (var6 = null) + and (var7 = null) + and (var8 = null) + and (var9 = null) + and (var10 = null) + and (var11 = null) + and (var12 = null) + and (var13 = null) + and (var14 = null) + and (var15 = null) + and (var16 = null) + and (var17 = null) + and (var18 = null) + and (var19 = null) + and (var20 = null) + and (var21 = null) + and (var22 = null) + and (var23 = null) + and (var24 = null) + and (var25 = null) + and (var26 = null) + and (var27 = null) + and (var28 = null) + and (var29 = null) + and (var30 = null) + and (var31 = null) + and (var32 = null) + and (var33 = null) + and (var34 = null) + and (var35 = null) + and (var36 = null) + and (var37 = null) + and (var38 = null) + and (var39 = null) + and (var40 = null) + and (var41 = null) + and (var42 = null) + and (var43 = null) + and (var44 = null) + and (var45 = null) + and (var46 = null) + and (var47 = null) + and (var48 = null) + and (var49 = null) + and (var50 = null) + and (var51 = null) + and (var52 = null) + and (var53 = null) + and (var54 = null) + and (var55 = null) + and (var56 = null) + and (var57 = null) + and (var58 = null) + and (var59 = null) + and (var60 = null) + and (var61 = null) + and (var62 = null) + and (var63 = null) + and (var64 = null) + and (var65 = null) + and (var66 = null) + and (var67 = null) + and (var68 = null)) + report "***FAILED TEST: c03s03b00x00p03n01i00519 - The null value of an access type is the default initial value of the type." + severity ERROR; + wait; + END PROCESS TESTING; + +END c03s03b00x00p03n01i00519arch; |