Searched refs:GEO_TYPE_IO (Results 1 – 8 of 8) sorted by relevance
159 GEO_TYPE_IO.PUT(OUTPUT, DE.TRAN.GEO);
1343 use GEO_TYPE_IO;1403 GEO_TYPE_IO.PUT(TR.GEO);1447 M := L + GEO_TYPE_IO.DEFAULT_WIDTH;1620 GEO_TYPE_IO.DEFAULT_WIDTH := GEO_TYPE'WIDTH;1672 GEO_TYPE_IO.DEFAULT_WIDTH + 1 +
75 package GEO_TYPE_IO is new TEXT_IO.ENUMERATION_IO(GEO_TYPE); packspec
17 use GEO_TYPE_IO;
23 use GEO_TYPE_IO;
912 GEO_TYPE_IO.GET(LINE(L+1..LAST), TRAN.GEO, L);