35 lines
567 B
Text
35 lines
567 B
Text
class
|
|
ITEM
|
|
|
|
create
|
|
make, make_from_other
|
|
|
|
feature
|
|
|
|
name: STRING
|
|
|
|
weight: INTEGER
|
|
|
|
value: INTEGER
|
|
|
|
make_from_other (other: ITEM)
|
|
-- Item with name, weight and value set to 'other's name, weight and value.
|
|
do
|
|
name := other.name
|
|
weight := other.weight
|
|
value := other.value
|
|
end
|
|
|
|
make (a_name: String; a_weight, a_value: INTEGER)
|
|
-- Item with name, weight and value set to 'a_name', 'a_weight' and 'a_value'.
|
|
require
|
|
a_name /= Void
|
|
a_weight >= 0
|
|
a_value >= 0
|
|
do
|
|
name := a_name
|
|
weight := a_weight
|
|
value := a_value
|
|
end
|
|
|
|
end
|