| gov.nasa.jpf.util |
|
| Java Source File Name | Type | Comment |
| CoverageManager.java | Class | static class to store coverage metrics relatedinformation
<2do>make it an instance, so that it can be configured. |
| Debug.java | Class | logger used to print debugging messages based on the required debug level and
message category. |
| DynamicIntArray.java | Class | simplistic dynamic array that differentiates from ArrayList by
- using chunks instead of exponential growth, thus efficiently dealing
with sparse arrays
- managing primitive 'int' types, i.e. |
| DynamicObjectArray.java | Class | simplistic Object array that differentiates from ArrayList by
using chunks instead of exponential growth, thus efficiently dealing
with huge, potentially sparse arrays
the motivation for this class is memory optimization, i.e. |
| HashData.java | Class | |
| HashPool.java | Class | data structure used to do hash collapsing. |
| Left.java | Class | |
| LogHandler.java | Class | log handler class that deals with output selection and formatting. |
| LogManager.java | Class | this class is responsible for returning properly JPF-configured
Loggers. |
| Md5Set.java | Class | A specialized set that can store Md5 checksums efficiently. |
| Printable.java | Interface | |
| Right.java | Class | |
| Source.java | Class | utility class to access arbitrary source files by line number
<2do> pcm - should recursively look for sources underneath srcRoot dirs
<2do> pcm - should be more sophisticated, e.g. |
| SourceRef.java | Class | |