- indexing
- project: "Visual Eiffel run-time system"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
class RTS_ATTRIBUTE
- inherit
-
RTS_SERVER
- end
- creation
- make
- feature -- Operations
-
make (f: RTS_CLASS_INFO; id: INTEGER)
-
- require
-
non_void_father:
f /= void
-
valid_id:
id > 0 and then id <= f.number_of_attributes
-
name: STRING
-
- ensure
-
valid_name:
Result /= void and then Result.count > 0
-
offset: INTEGER
-
- ensure
-
valid_offset:
Result >= 0
-
type: RTS_CLASS_INFO
-
- ensure
-
valid_type:
Result /= void
end -- class RTS_ATTRIBUTE