instancevariables 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 ==> seqofchar
ｇｅｔＵｎｉｑＮｕｍＳｔｒ(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.1 Sekunden
(vorverarbeitet)
¤
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.
