91
Общий раздел / ENUM Multit
« : Январь 28, 2015, 01:50:58 am »
LANGUGAE OBER_ON;
ENUM Multit < M:MATH_NATURAL_NUMBERS.POSITIVE_NATURAL_NUMBER >
IS_DEFINED_AS
MATH_NATURAL_NUMBERS_RANGES.NATURAL_NUMBER_IN_RANGE([1...M])
END Multit
(*
MODULE ExampleForMultit;
IMPORT Multiary;
VAR m: Multiary.Multit<5>;
BEGIN
m:= 3;
(* m:= 6; (* Error *) *)
END ExampleForMultit.
*)
ENUM Multit < M:MATH_NATURAL_NUMBERS.POSITIVE_NATURAL_NUMBER >
IS_DEFINED_AS
MATH_NATURAL_NUMBERS_RANGES.NATURAL_NUMBER_IN_RANGE([1...M])
END Multit
(*
MODULE ExampleForMultit;
IMPORT Multiary;
VAR m: Multiary.Multit<5>;
BEGIN
m:= 3;
(* m:= 6; (* Error *) *)
END ExampleForMultit.
*)