|
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.16 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.
|
