Abstract type: Difference between revisions

Content added Content deleted
Line 114: Line 114:


tag AbstractStack some-object ; always fails
tag AbstractStack some-object ; always fails
*** Error: class AbstractStack validator error for object ...</lang>
*** Error: class AbstractStack validator error for some-object ...</lang>


However this is not much use if we want to use an abstract class to define an interface. Here is a quasi-abstract class which can be used to tag objects if they conform to the class's membership expectations. In this case it wants two methods, !enstack and !destack:
However this is not much use if we want to use an abstract class to define an interface. Here is a quasi-abstract class which can be used to tag objects if they conform to the class's membership expectations. In this case it wants two methods, !enstack and !destack: