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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
class EXAMPLE2
-- Compilation:
-- compile_to_jvm example2
-- javac ISimple.java
-- javac ASimple.java
-- Execution:
-- java example2
-- This example demonstrates how to read and write Java object class and instance
-- fields from Eiffel.
creation make
feature
make is
local
a1: POINTER
b: BOOLEAN
i: INTEGER
d: DOUBLE
do
-- create new ASimple instance
a1 := new_ASimple
-- verify that it is an instance of ASimple
b := instanceof_ASimple( a1 )
print( "is a1 an instance of ASimple? " )
print( b.out )
print( "%N" )
-- get the instance variable theInteger
i := get_theInteger( checkcast_ASimple(a1) )
print( "value of theInteger: " )
print( i.out )
print( "%N" )
-- set the instance variable theInteger to 13
set_theInteger( checkcast_ASimple(a1), 13 )
-- get the instance variable theInteger
i := get_theInteger( checkcast_ASimple(a1) )
print( "value of theInteger after setting to 13: " )
print( i.out )
print( "%N" )
-- get the class variable theStaticInteger
i := get_theStaticInteger
print( "value of theStaticInteger: " )
print( i.out )
print( "%N" )
-- set the class variable theStaticInteger to -11
set_theStaticInteger( -11 )
-- get the class variable theStaticInteger
i := get_theStaticInteger
print( "value of theStaticInteger after setting to -11: " )
print( i.out )
print( "%N" )
-- get the class constant dConstant from ISimple
d := get_dConstant
print( "value of dConstant: " )
print( d.out )
print( "%N" )
end
feature -- externals
new_ASimple: POINTER is
external "Java class ASimple new ()"
end
checkcast_ASimple( p: POINTER ): POINTER is
external "Java class ASimple checkcast"
end
instanceof_ASimple( p: POINTER ): BOOLEAN is
external "Java class ASimple instanceof"
end
get_theStaticInteger: INTEGER is
external"Java class ASimple get field static int theStaticInteger"
end
set_theStaticInteger( a: INTEGER ) is
external"Java class ASimple set field static int theStaticInteger"
end
get_theInteger( p: POINTER ): INTEGER is
external"Java class ASimple get field int theInteger"
end
set_theInteger( p: POINTER; a: INTEGER ) is
external"Java class ASimple set field int theInteger"
end
get_dConstant: DOUBLE is
external"Java class ISimple get field static double dConstant"
end
end -- EXAMPLE2
|
