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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
|
class EXAMPLE4
-- Compilation:
-- compile_to_jvm example4
-- javac BSimple.java
-- Execution:
-- java example4
-- This example demonstrates how to catch exceptions in Eiffel that were
-- thrown in an external Java object.
creation
make
feature
make is
local
a1: POINTER
b: BOOLEAN
i: INTEGER
d: DOUBLE
do
-- create new BSimple instance
a1 := new_BSimple
-- get the instance variable theInteger
i := get_theInteger( checkcast_BSimple(a1) )
print( "value of theInteger: " )
print( i.out )
print( "%N" )
-- call proc with argument 13
call_proc( a1, 13 )
-- get the instance variable theInteger
i := get_theInteger( checkcast_BSimple(a1) )
print( "value of theInteger after calling proc: " )
print( i.out )
print( "%N" )
-- call proc again with argument -11
call_proc( a1, -11 )
-- get the instance variable theInteger
i := get_theInteger( checkcast_BSimple(a1) )
print( "value of theInteger after calling proc: " )
print( i.out )
print( "%N" )
end
feature
call_proc( a1: POINTER, i: INTEGER ) is
local
e: POINTER
javaString: POINTER
javaStringBytes: POINTER
string_length: INTEGER
s: STRING
flag: BOOLEAN
do
if flag = False then
-- call proc with argument i if not in retry
proc( checkcast_BSimple(a1), i )
end
rescue
-- get the exception and print out its message
e := get_exception
javaString := getMessage( checkcast_java_lang_Exception( e ) )
string_length := length( checkcast_java_lang_String( javaString ) )
create s.make_filled( '%U', string_length )
javaStringBytes := getBytes( checkcast_java_lang_String( javaString ) )
arraycopy( javaStringBytes, 0, s.to_external, 0, string_length )
print( "Exception was thrown: " )
print( s )
print( "%N" )
flag := True
retry
end
feature -- externals
new_BSimple: POINTER is
external "Java class BSimple new ()"
end
checkcast_BSimple( p: POINTER ): POINTER is
external "Java class BSimple checkcast"
end
get_theStaticInteger: INTEGER is
external"Java class BSimple get field static int theStaticInteger"
end
set_theStaticInteger( a: INTEGER ) is
external"Java class BSimple set field static int theStaticInteger"
end
get_theInteger( p: POINTER ): INTEGER is
external"Java class BSimple get field int theInteger"
end
set_theInteger( p: POINTER; a: INTEGER ) is
external"Java class BSimple set field int theInteger"
end
proc( p: POINTER; a: INTEGER ) is
external"Java class BSimple method void proc(int)"
end
get_exception: POINTER is
external "Java exception java.lang.Exception get"
end
getMessage( p: POINTER ): POINTER is
external"Java class java.lang.Exception method java.lang.String getMessage()"
end
checkcast_java_lang_Exception( p: POINTER ): POINTER is
external "Java class java.lang.Exception checkcast"
end
checkcast_java_lang_String( p: POINTER ): POINTER is
external "Java class java.lang.String checkcast"
end
length( p: POINTER ): INTEGER is
external "Java class java.lang.String method int length()"
end
getBytes( p: POINTER ): POINTER is
external "Java class java.lang.String method byte[] getBytes()"
end
arraycopy( a1: POINTER; a2: INTEGER; a3: POINTER; a4: INTEGER; a5: INTEGER ) is
external "Java class java.lang.System method static void arraycopy(java.lang.Object,int,java.lang.Object,int,int)"
end
end -- class EXAMPLE4
|
