| File | util.str |
| Author | unknown |
| Since | unknown |
Utils for Java Bytecode
| General | |
| Lines of code | 74 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 8 (50% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| bytecode-type-to-source-type | Converts a bytecode type to a source type | util.str |
| bytecode-type-to-source-type | n/a | util.str |
| bytecode-type-to-source-type | n/a | util.str |
| bytecode-type-to-source-type | n/a | util.str |
| bytecode-type-to-source-type | n/a | util.str |
| is-class-init-method | Succeeds if this is a class initialization method (static initializer) | util.str |
| is-instance-init-method | Succeeds if this is an instance initialization method (constructor) | util.str |
| type-name-to-type | n/a | util.str |
Strategy details |
|||||||||||
| ATerm | bytecode-type-to-source-type | ||||||||||
Converts a bytecode type to a source type. |
|||||||||||
| ATerm | is-class-init-method | ||||||||||
Succeeds if this is a class initialization method (static initializer).
|
|||||||||||
| ATerm | is-instance-init-method | ||||||||||
Succeeds if this is an instance initialization method (constructor).
|
|||||||||||
| ATerm | type-name-to-type | ||||||||||
No information available.
|
|||||||||||