|
Generated by JDiff |
||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | DETAIL: REMOVED | ADDED | CHANGED | ||||||||
| Changed Classes and Interfaces | |
|
|
An Interpreter for BasicValue values. |
|
|
An extended BasicInterpreter that checks that bytecode instructions are correctly used. |
|
|
A symbolic execution stack frame. |
|
|
A semantic bytecode interpreter. |
|
|
An extended BasicVerifier that performs more precise verifications. |
|
|
An Interpreter for SourceValue values. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | |||||||||