Abstract type: Difference between revisions

Content deleted Content added
Line 107: Line 107:


=={{header|Genyris}}==
=={{header|Genyris}}==
In Genyris by default there are no constructors. In effect all classes are Abstract until they are used to tag an object.
In Genyris by default there are no constructors. In effect all classes are Abstract until they are used to tag (describe) an object. This in keeping with the language's roots in Description Logic.
<lang python>class AbstractStack()</lang>
<lang python>class AbstractStack()</lang>
There is no constructor for this class. To prevent the class ever being associated with an instance it suffices to force the validator to fail.
There is no constructor for this class. To prevent the class ever being associated with an instance it suffices to force the validator to fail.