| products/Sources/formale Sprachen/C/Cephes/ldouble/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: languages13.html Sprache: VDMUntersuchung VDM© |
|
||||||
|
class FO is subclass of GLOBAL
instance variables id : FOId; coord : Coordinates; alt : Altitude; operations public FO : FOId * Coordinates * Altitude ==> FO FO(idpar,coordpar,altpar) == (id := idpar; coord := coordpar; alt := altpar; ); pure public getId : () ==> FOId getId() == return id; public getCoordinates : () ==> Coordinates getCoordinates() == return coord; public setCoordinates : Coordinates ==> () setCoordinates(coordpar) == coord := coordpar; public getAltitude : () ==> Altitude getAltitude() == return alt; public setAltitude : Altitude ==> () setAltitude(altpar) == alt := altpar; public getPosition : () ==> Position getPosition() == return mk_Position(coord,alt); end FO ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.26Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
