Kaffeemaschine - PSDL
abstract storagetype KMState {float getFuellstand(); long
getBecherzahl();
};
storagetype PortableKMState implements KMState {state float
Fuellstand;state long Becherzahl;
};
abstract storagehome KMStateHome {};
catalog KMCatalog {provides KMStateHome;
};
Grafikversion |
Inhalt |
Home