products/sources/formale sprachen/VDM/VDMPP/trayallocationPP image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: settings   Sprache: VDM

Original von: VDM©

-- ===============================================================================================================
-- String helper class for converting numbers
-- By José Antonio Esparza and Kim Bjerge - spring 2010
-- ===============================================================================================================

class String
 types

 values

 instance variables
  static numeric : seq1 of char := "0123456789"

 operations

 static public NatToStr: nat ==> seq1 of char
 NatToStr (val) ==
 ( 
  dcl string : seq1 of char := " ";
  dcl x1 : nat := val;
  dcl x2 : nat;
  
  if val = 0 then string := "0";
  
  while x1 > 0 do
  ( 
   x2 := (x1 mod 10) + 1;
   string := [numeric(x2)] ^ string;
   x1 := x1 div 10;
  );
  
  return string;
 );

 functions

end String

¤ Dauer der Verarbeitung: 0.31 Sekunden  (vorverarbeitet)  ¤





aufgebrochen in jeweils 16 Zeichen
unsichere Verbindung
aufgebrochen in jeweils 16 Zeichen
sprechenden Kalenders

in der Quellcodebibliothek suchen




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.


Bot Zugriff