Re: GDNative thick binding design

[AdaMagica <christ-usch.grein@t-online.de>]

> package GDNative.Thick.Objects is 
> type Object is abstract tagged private; 
> 
> -- create abstract or null subprograms for each subprogram here: 
> -- https://docs.godotengine.org/en/stable/classes/class_object.html#class-object 
> function Name (Self : in Object'class) return Wide_String is abstract; 
> procedure Initialize (Self : in out Object'class) is null; 
> -- etc... 
> 
> private 
> type Object is abstract tagged null record; 
> end; 
I do not know what you are trying to do, but I see a basic misunderstanding here wrt keyword abstract on operations.
It has two fundamentally different purposes:
* When used on a primitive operation of a nontagged type, it makes an inherited operation disappear, i.e. this operation does no longer exist, e.g.:
type T is range -42..42;
function "/" (L, R: T'Base) return T'Base is abstract;
* When used on a primitive operation of a tagged type, this operation is dispatching and must be overridden for derived types; e.g.
type T is abstrat tagged private;
procedure Op(X:T) is abstract;
type T1 is new T with private;
procedure Op(X:T1);
Now your
function Name (Self : in Object'class) return Wide_String is abstract;
is a classwide operation, not a primitive operation, so it canot be overridden. It is not a primitive operation of any type, so it just declares that such an operation cannot exist - a rather useless declaration.