2015-11-07 16:38:27 +01:00
|
|
|
class Object
|
|
|
|
|
2016-02-25 20:50:10 +01:00
|
|
|
Type get_type()
|
|
|
|
return self.type
|
2015-11-07 18:38:52 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
Class get_class()
|
2016-02-25 20:50:10 +01:00
|
|
|
Type l = self.type
|
2015-11-30 15:10:08 +01:00
|
|
|
return l.object_class
|
2015-11-07 16:38:27 +01:00
|
|
|
end
|
|
|
|
|
2015-11-30 15:10:08 +01:00
|
|
|
Word get_class_name()
|
2016-02-25 20:50:10 +01:00
|
|
|
Type l = self.type
|
2015-11-30 15:10:08 +01:00
|
|
|
Class c = l.object_class
|
|
|
|
return c.name
|
|
|
|
end
|
2015-11-07 16:38:27 +01:00
|
|
|
end
|