Basically, the unofficial command 'Handle()' accepts a Type pointer as a parameter and spits out an integer number which is a reference to the Type element stored in the Type pointer.
The unofficial command 'Object.whatever_type()' accepts an integer value (which should be a value output by the 'Handle()' command) and spits out a Type pointer value. The 'Object' keyword should be followed by a dot and then by the name of the Type being output.
This allows you to use Types in a polymorphic fashion.
Example:
Type my_type
Field whatever
End Type
Global this_is_my_type.my_type = New my_type
Global this_is_my_other_type.my_type
integer_variable = Handle( this_is_my_type.my_type )
this_is_my_other_type.my_type = Object.my_type( integer_variable )
The unofficial command 'Object.whatever_type()' accepts an integer value (which should be a value output by the 'Handle()' command) and spits out a Type pointer value. The 'Object' keyword should be followed by a dot and then by the name of the Type being output.
This allows you to use Types in a polymorphic fashion.
Example:
Type my_type
Field whatever
End Type
Global this_is_my_type.my_type = New my_type
Global this_is_my_other_type.my_type
integer_variable = Handle( this_is_my_type.my_type )
this_is_my_other_type.my_type = Object.my_type( integer_variable )