class
	INTEGER_OVERFLOW_CHECKER

General
	cluster: elks
	description: "String - Integer/Natural conversion overflow checker"
	create: make

Ancestors
	NUMERIC_INFORMATION

Queries
	double_type_valid (type: INTEGER_32): BOOLEAN
	integer_natural_type_valid (type: INTEGER_32): BOOLEAN
	integer_type_valid (type: INTEGER_32): BOOLEAN
	max_integer_type: INTEGER_64
	max_natural_type: NATURAL_64
	natural_type_valid (type: INTEGER_32): BOOLEAN
	real_double_type_valid (type: INTEGER_32): BOOLEAN
	real_type_valid (type: INTEGER_32): BOOLEAN
	Type_count: INTEGER_32
	Type_double: INTEGER_32
	Type_integer: INTEGER_32
	Type_integer_16: INTEGER_32
	Type_integer_32: INTEGER_32
	Type_integer_64: INTEGER_32
	Type_integer_8: INTEGER_32
	Type_integer_natural_separator: INTEGER_32
	Type_natural: INTEGER_32
	Type_natural_16: INTEGER_32
	Type_natural_32: INTEGER_32
	Type_natural_64: INTEGER_32
	Type_natural_8: INTEGER_32
	Type_no_limitation: INTEGER_32
	Type_real: INTEGER_32
	will_overflow (part1, part2: [like max_natural_type] NATURAL_64; type, sign: INTEGER_32): BOOLEAN

Generated by ISE EiffelStudio