- indexing
- copyright: "Object Tools, 1996-2002"
- version: "1.3"
- cluster: formats
class G_HEX_FORMATTER
- inherit
-
G_UNSIGNED_INTEGER_FORMATTER
-
- redefine
- is_valid_base,
- make
- end
- creation
- make
- feature
-
make (i: INTEGER_REF)
-
is_valid_base (b: INTEGER): BOOLEAN
-
- ensure
-
Result implies b = 16
end -- class G_HEX_FORMATTER