- indexing
- project: "Visual Eiffel"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: grape
class PROPERTY_DEF
- creation
- make
- feature
-
make (nam: STRING; typ: INTEGER)
-
- require
-
valid_parameters:
nam /= void
-
name: STRING
-
type: INTEGER
end -- class PROPERTY_DEF