Abstract classes - Githubissues

MontysCoconut / moco

The Monty to LLVM compiler

http://www.informatik.uni-bremen.de/monty/

GNU General Public License v3.0

10 stars 5 forks source link

Abstract classes #25

Closed cpfr closed 9 years ago

cpfr commented 9 years ago

Implementing abstract methods.

The following context restrictions hold:

classes containing abstract methods have to be declared abstract as well
abstract classes may not be instantiated
non-abstract classes inheriting from abstract ones must implement all abstract methods

cpfr commented 9 years ago

Habe die vorgeschlagenen Refactorings eingefügt. Das o.g. Beispiel (syntaktisch korrekte Version s.u.) wird von der Spezifikation (S.46) nicht ausgeschlossen und der Compiler akzeptiert es auch, allerdings kann man Bb dann nicht instanzieren

class Aa:
    f():
        pass

abstract class Bb inherits Aa:
    abstract f()

class Cc inherits Bb:
    f():
        pass

hwielenberg commented 9 years ago

Wenn du jetzt den master reinmergst, aktzeptiere ich das.