Searched defs:refined_byte_type (Results 1 – 2 of 2) sorted by relevance
1111 function refined_byte_type (byteX : field_types; constraint : String) subprogram1117 subtype max_range is Positive range 1 .. 4;1118 zero_required : constant String := "(VALUE >= 0)";1119 max_size : max_range;
299 function refined_byte_type (byteX : field_types; constraint : String) subprogspec