DEADSOFTWARE
GIT
/
REPO
/
FRED-BOY
Projects
/
dsw-obn.git
/ blob
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Фиксы проверки типов
[dsw-obn.git]
/
Test14.obn
1
MODULE
Test14
;
2
3
VAR
4
x
:
REAL
;
5
6
BEGIN
7
x
:=
3.6
;
8
ASSERT
(
ENTIER
(
x
) =
3
);
9
ASSERT
(
ENTIER
(
3.6
) =
3
);
10
x
:=
3.5
;
11
ASSERT
(
ENTIER
(
x
) =
3
);
12
ASSERT
(
ENTIER
(
3.5
) =
3
);
13
x
:= -
3.6
;
14
ASSERT
(
ENTIER
(
x
) = -
4
);
15
ASSERT
(
ENTIER
(-
3.6
) = -
4
);
16
x
:= -
3.5
;
17
ASSERT
(
ENTIER
(
x
) = -
4
);
18
ASSERT
(
ENTIER
(-
3.5
) = -
4
);
19
END
Test14
.
20
21
Тест правильности
ENTIER
.