| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 882 B |
|
Quelle UniqueNumber.vdmpp Sprache: VDM |
|||||||||
|
class ＵｎｉｑｕｅＮｕｍｂｅｒ is subclass of CommonDefinition
values ＤｅｆａｕｌｔＶａｌｕｅ = 1; instance variables protected UniqNum : int := ＤｅｆａｕｌｔＶａｌｕｅ -- UniqNum of next issued functions public getUniqNum : int * nat1 -> int getUniqNum(aCandidateNum, aNumberOfDigit) == if aCandidateNum >= 10 ** aNumberOfDigit then initialize() else aCandidateNum; operations -- make an unique number within aNumberOfDigit public ｇｅｔＵｎｉｑＮｕｍＳｔｒ : nat1 ==> seq of char ｇｅｔＵｎｉｑＮｕｍＳｔｒ(aNumberOfDigit) == let n = getUniqNum(UniqNum, aNumberOfDigit) in ( UniqNum := UniqNum + 1; return Integer`asString(n) ); public initialize : () ==> int initialize() == ( UniqNum := ＤｅｆａｕｌｔＶａｌｕｅ; return UniqNum ); end ＵｎｉｑｕｅＮｕｍｂｅｒ ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28