|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: B T
Length: 12588 (0x312c)
Types: TextFile
Names: »B«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
-- CHECKS AN ENUMERATED TYPE OF 256 ELEMENTS
with Instrument;
use Instrument;
procedure Centa2 is
type Big_Enum is (
Enumeratee_Number_1,
Enumeratee_Number_2,
Enumeratee_Number_3,
Enumeratee_Number_4,
Enumeratee_Number_5,
Enumeratee_Number_6,
Enumeratee_Number_7,
Enumeratee_Number_8,
Enumeratee_Number_9,
Enumeratee_Number_10,
Enumeratee_Number_11,
Enumeratee_Number_12,
Enumeratee_Number_13,
Enumeratee_Number_14,
Enumeratee_Number_15,
Enumeratee_Number_16,
Enumeratee_Number_17,
Enumeratee_Number_18,
Enumeratee_Number_19,
Enumeratee_Number_20,
Enumeratee_Number_21,
Enumeratee_Number_22,
Enumeratee_Number_23,
Enumeratee_Number_24,
Enumeratee_Number_25,
Enumeratee_Number_26,
Enumeratee_Number_27,
Enumeratee_Number_28,
Enumeratee_Number_29,
Enumeratee_Number_30,
Enumeratee_Number_31,
Enumeratee_Number_32,
Enumeratee_Number_33,
Enumeratee_Number_34,
Enumeratee_Number_35,
Enumeratee_Number_36,
Enumeratee_Number_37,
Enumeratee_Number_38,
Enumeratee_Number_39,
Enumeratee_Number_40,
Enumeratee_Number_41,
Enumeratee_Number_42,
Enumeratee_Number_43,
Enumeratee_Number_44,
Enumeratee_Number_45,
Enumeratee_Number_46,
Enumeratee_Number_47,
Enumeratee_Number_48,
Enumeratee_Number_49,
Enumeratee_Number_50,
Enumeratee_Number_51,
Enumeratee_Number_52,
Enumeratee_Number_53,
Enumeratee_Number_54,
Enumeratee_Number_55,
Enumeratee_Number_56,
Enumeratee_Number_57,
Enumeratee_Number_58,
Enumeratee_Number_59,
Enumeratee_Number_60,
Enumeratee_Number_61,
Enumeratee_Number_62,
Enumeratee_Number_63,
Enumeratee_Number_64,
Enumeratee_Number_65,
Enumeratee_Number_66,
Enumeratee_Number_67,
Enumeratee_Number_68,
Enumeratee_Number_69,
Enumeratee_Number_70,
Enumeratee_Number_71,
Enumeratee_Number_72,
Enumeratee_Number_73,
Enumeratee_Number_74,
Enumeratee_Number_75,
Enumeratee_Number_76,
Enumeratee_Number_77,
Enumeratee_Number_78,
Enumeratee_Number_79,
Enumeratee_Number_80,
Enumeratee_Number_81,
Enumeratee_Number_82,
Enumeratee_Number_83,
Enumeratee_Number_84,
Enumeratee_Number_85,
Enumeratee_Number_86,
Enumeratee_Number_87,
Enumeratee_Number_88,
Enumeratee_Number_89,
Enumeratee_Number_90,
Enumeratee_Number_91,
Enumeratee_Number_92,
Enumeratee_Number_93,
Enumeratee_Number_94,
Enumeratee_Number_95,
Enumeratee_Number_96,
Enumeratee_Number_97,
Enumeratee_Number_98,
Enumeratee_Number_99,
Enumeratee_Number_100,
Enumeratee_Number_101,
Enumeratee_Number_102,
Enumeratee_Number_103,
Enumeratee_Number_104,
Enumeratee_Number_105,
Enumeratee_Number_106,
Enumeratee_Number_107,
Enumeratee_Number_108,
Enumeratee_Number_109,
Enumeratee_Number_110,
Enumeratee_Number_111,
Enumeratee_Number_112,
Enumeratee_Number_113,
Enumeratee_Number_114,
Enumeratee_Number_115,
Enumeratee_Number_116,
Enumeratee_Number_117,
Enumeratee_Number_118,
Enumeratee_Number_119,
Enumeratee_Number_120,
Enumeratee_Number_121,
Enumeratee_Number_122,
Enumeratee_Number_123,
Enumeratee_Number_124,
Enumeratee_Number_125,
Enumeratee_Number_126,
Enumeratee_Number_127,
Enumeratee_Number_128,
Enumeratee_Number_129,
Enumeratee_Number_130,
Enumeratee_Number_131,
Enumeratee_Number_132,
Enumeratee_Number_133,
Enumeratee_Number_134,
Enumeratee_Number_135,
Enumeratee_Number_136,
Enumeratee_Number_137,
Enumeratee_Number_138,
Enumeratee_Number_139,
Enumeratee_Number_140,
Enumeratee_Number_141,
Enumeratee_Number_142,
Enumeratee_Number_143,
Enumeratee_Number_144,
Enumeratee_Number_145,
Enumeratee_Number_146,
Enumeratee_Number_147,
Enumeratee_Number_148,
Enumeratee_Number_149,
Enumeratee_Number_150,
Enumeratee_Number_151,
Enumeratee_Number_152,
Enumeratee_Number_153,
Enumeratee_Number_154,
Enumeratee_Number_155,
Enumeratee_Number_156,
Enumeratee_Number_157,
Enumeratee_Number_158,
Enumeratee_Number_159,
Enumeratee_Number_160,
Enumeratee_Number_161,
Enumeratee_Number_162,
Enumeratee_Number_163,
Enumeratee_Number_164,
Enumeratee_Number_165,
Enumeratee_Number_166,
Enumeratee_Number_167,
Enumeratee_Number_168,
Enumeratee_Number_169,
Enumeratee_Number_170,
Enumeratee_Number_171,
Enumeratee_Number_172,
Enumeratee_Number_173,
Enumeratee_Number_174,
Enumeratee_Number_175,
Enumeratee_Number_176,
Enumeratee_Number_177,
Enumeratee_Number_178,
Enumeratee_Number_179,
Enumeratee_Number_180,
Enumeratee_Number_181,
Enumeratee_Number_182,
Enumeratee_Number_183,
Enumeratee_Number_184,
Enumeratee_Number_185,
Enumeratee_Number_186,
Enumeratee_Number_187,
Enumeratee_Number_188,
Enumeratee_Number_189,
Enumeratee_Number_190,
Enumeratee_Number_191,
Enumeratee_Number_192,
Enumeratee_Number_193,
Enumeratee_Number_194,
Enumeratee_Number_195,
Enumeratee_Number_196,
Enumeratee_Number_197,
Enumeratee_Number_198,
Enumeratee_Number_199,
Enumeratee_Number_200,
Enumeratee_Number_201,
Enumeratee_Number_202,
Enumeratee_Number_203,
Enumeratee_Number_204,
Enumeratee_Number_205,
Enumeratee_Number_206,
Enumeratee_Number_207,
Enumeratee_Number_208,
Enumeratee_Number_209,
Enumeratee_Number_210,
Enumeratee_Number_211,
Enumeratee_Number_212,
Enumeratee_Number_213,
Enumeratee_Number_214,
Enumeratee_Number_215,
Enumeratee_Number_216,
Enumeratee_Number_217,
Enumeratee_Number_218,
Enumeratee_Number_219,
Enumeratee_Number_220,
Enumeratee_Number_221,
Enumeratee_Number_222,
Enumeratee_Number_223,
Enumeratee_Number_224,
Enumeratee_Number_225,
Enumeratee_Number_226,
Enumeratee_Number_227,
Enumeratee_Number_228,
Enumeratee_Number_229,
Enumeratee_Number_230,
Enumeratee_Number_231,
Enumeratee_Number_232,
Enumeratee_Number_233,
Enumeratee_Number_234,
Enumeratee_Number_235,
Enumeratee_Number_236,
Enumeratee_Number_237,
Enumeratee_Number_238,
Enumeratee_Number_239,
Enumeratee_Number_240,
Enumeratee_Number_241,
Enumeratee_Number_242,
Enumeratee_Number_243,
Enumeratee_Number_244,
Enumeratee_Number_245,
Enumeratee_Number_246,
Enumeratee_Number_247,
Enumeratee_Number_248,
Enumeratee_Number_249,
Enumeratee_Number_250,
Enumeratee_Number_251,
Enumeratee_Number_252,
Enumeratee_Number_253,
Enumeratee_Number_254,
Enumeratee_Number_255,
Enumeratee_Number_256);
An_Array : array (Big_Enum) of Integer;
X : Big_Enum;
J : Integer;
begin
Start ("CENTA2", " CHECKING ENUMERATION TYPE OF 256 ELEMENTS");
for I in 1 .. 1000 loop
-- FIRST, A SANITY CHECK
J := 0;
for I in Big_Enum
loop
J := J + 1;
An_Array (I) := Big_Enum'Pos (I);
end loop;
if J /= 256 then
Comment ("FAILED (1)");
end if;
X := Enumeratee_Number_2;
loop
if not (An_Array (X) > An_Array (Big_Enum'Pred (X))) then
Comment ("FAILED (2)");
end if;
exit when X = Enumeratee_Number_256;
X := Big_Enum'Succ (X);
end loop;
end loop;
Stop;
end Centa2;