|
Generated by JDiff |
||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | DETAIL: REMOVED | ADDED | CHANGED | ||||||||
| Removed Classes | |
|
|
An Interpreter for DataflowValue values. |
|
|
A Value that is represented by its type in a two types type system. |
| Added Classes | |
|
|
An Interpreter for SourceValue values. |
|
|
A Value that is represented by its type in a two types type system. |
| Changed Classes | |
|
|
A semantic bytecode analyzer. |
|
|
A Value that is represented by its type in a seven types type system. |
|
|
An extended BasicVerifier that performs more precise verifications. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE FRAMES NO FRAMES | |||||||||