1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
indexing
description:
"Eiffel false constants"
library: "Gobo Eiffel Tools Library"
author: "Eric Bezault <ericb@gobosoft.com>"
copyright: "Copyright (c) 1999, Eric Bezault and others"
license: "Eiffel Forum Freeware License v1 (see forum.txt)"
date: "$Date: 2001/02/11 14:33:56 $"
revision: "$Revision: 1.1 $"
class ET_FALSE_CONSTANT
inherit
ET_BOOLEAN_CONSTANT
creation
make
feature {NONE} -- Initialization
make (a_position: like position) is
-- Create a new False constant.
require
a_position_not_void: a_position /= Void
do
position := a_position
ensure
position_set: position = a_position
end
feature -- Status report
is_true: BOOLEAN is False
-- Is boolean value true?
invariant
is_false: not is_true
end -- class ET_FALSE_CONSTANT
|
