indexing
	description: "Device technology (DT) constants."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_DEVICE_TECHNOLOGY_CONSTANTS

feature -- Access

	dt_charstream: INTEGER
			-- Character stream

	dt_dispfile: INTEGER
			-- Display file

	dt_metafile: INTEGER
			-- Metafile

	dt_plotter: INTEGER
			-- Vector plotter

	dt_rascamera: INTEGER
			-- Raster camera

	dt_rasdisplay: INTEGER
			-- Raster display

	dt_rasprinter: INTEGER
			-- Raster printer
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_DEVICE_TECHNOLOGY_CONSTANTS