|
class Component
instance variables
protected next : [Component] := nil;
protected alph : Alphabet
operations
pure public Successors: () ==> set of Component
Successors () ==
if next = nil
then return {self}
else return {self} union next.Successors();
public SetNext: Component ==> ()
SetNext (pcom) == next := pcom
pre next = nil and
self not in set pcom.Successors();
public Substitute: nat ==> nat
Substitute (-) == is subclass responsibility;
public Rotate: () ==> ()
Rotate () == skip;
public Rotate: nat ==> ()
Rotate (-) == skip
end Component
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
