DataMuseum.dk

top - download

    Length: 1325 (0x52d)
    Types: TextFile
    Notes: R1k Text-file segment

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦5dfef621a⟧ 
            └─⟦this⟧ 

TextFile

--
-- This file may be installed in the root project directory to provide
-- shareable instantiations of the most common instantiations of the
-- text_io generic packages.
--
--

	--
	-- TINY_INTEGER
	--

with text_io;
	package tiny_integer_io is new text_io.integer_io(tiny_integer);
	pragma share_body(tiny_integer_io, TRUE);

	--
	-- SHORT_INTEGER
	--

with text_io;
	package short_integer_io is new text_io.integer_io(short_integer);
	pragma share_body(short_integer_io, TRUE);

	--
	-- INTEGER
	--

with text_io;
	package integer_io is new text_io.integer_io(integer);
	pragma share_body(integer_io, TRUE);

	--
	-- FLOAT
	--

with text_io;
	package float_io is new text_io.float_io(float);
	pragma share_body(float_io, TRUE);

	--
	-- SHORT_FLOAT
	--

with text_io;
	package short_float_io is new text_io.float_io(short_float);
	pragma share_body(short_float_io, TRUE);

	--
	-- LONG_FLOAT
	--

with text_io;
	package long_float_io is new text_io.float_io(long_float);
	pragma share_body(long_float_io, TRUE);

	--
	-- 8 BIT ENUMERATION TYPES
	--

with text_io;
	package enum_8_io is new text_io.enumeration_io(tiny_integer);
	pragma share_body(enum_8_io, TRUE);

	--
	-- 16 BIT ENUMERATION TYPES
	--

with text_io;
	package enum_16_io is new text_io.enumeration_io(short_integer);
	pragma share_body(enum_16_io, TRUE);