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