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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
indexing
description:
"Eiffel integer 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:58 $"
revision: "$Revision: 1.1 $"
deferred class ET_INTEGER_CONSTANT
inherit
ET_EXPRESSION
feature -- Access
literal: STRING
-- Literal integer absolute value
is_negative: BOOLEAN
-- Is integer value negative?
value: INTEGER
-- Integer value set by last call
-- to `compute_value'
position: ET_POSITION
-- Position in source code
feature -- Status report
has_value_error: BOOLEAN
-- Has an overflow or underflow occurred during
-- the last computation of `value'?
feature -- Setting
set_negative is
-- Set `is_negative' to True.
do
is_negative := True
ensure
is_negative: is_negative
end
feature -- Basic operations
compute_value is
-- Compute value of current integer constant.
-- Make result available in `value' or set
-- `has_value_error' to true if an overflow or
-- underflow occurred during computation.
deferred
end
invariant
literal_not_void: literal /= Void
position_not_void: position /= Void
end -- class ET_INTEGER_CONSTANT
|
