equal
deleted
inserted
replaced
1 "{ Encoding: utf8 }" |
|
2 |
|
3 " |
1 " |
4 COPYRIGHT (c) 1996-2015 by Claus Gittinger |
2 COPYRIGHT (c) 1996-2015 by Claus Gittinger |
5 |
3 |
6 New code and modifications done at SWING Research Group [1]: |
4 New code and modifications done at SWING Research Group [1]: |
7 |
5 |
207 isJavaRef |
205 isJavaRef |
208 "return true if object represents reference in java constant pool" |
206 "return true if object represents reference in java constant pool" |
209 ^ true. |
207 ^ true. |
210 |
208 |
211 "Created: / 08-04-2011 / 16:15:05 / Marcel Hlopko <hlopkmar@fel.cvut.cz>" |
209 "Created: / 08-04-2011 / 16:15:05 / Marcel Hlopko <hlopkmar@fel.cvut.cz>" |
|
210 ! |
|
211 |
|
212 isJavaStringRef |
|
213 ^ false. |
|
214 |
|
215 "Created: / 29-07-2016 / 10:06:23 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
212 ! |
216 ! |
213 |
217 |
214 isNewJavaRef |
218 isNewJavaRef |
215 "only temporary, to know if ref is old (claus' version) or new (m version)" |
219 "only temporary, to know if ref is old (claus' version) or new (m version)" |
216 |
220 |