Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
ClassLoader |
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
ClassLoader |
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
StackTraceElement
MJI model class for java.lang.StackTraceElement
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
StackTraceElement
MJI model class for java.lang.StackTraceElement
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
ClassLoader |
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
ClassLoader |
Object
modeled root class of all Java objects.
|
StackTraceElement
MJI model class for java.lang.StackTraceElement
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Thread
MJI model class for java.lang.Thread library abstraction
<2do> this should not require the JPF ThreadList to retrieve corresponding ThreadInfos
(the ThreadList might not store terminated threads)
|
Thread.State |
Thread.UncaughtExceptionHandler |
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
ClassLoader |
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
ClassLoader |
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Object
modeled root class of all Java objects.
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
StackTraceElement
MJI model class for java.lang.StackTraceElement
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Thread
MJI model class for java.lang.Thread library abstraction
<2do> this should not require the JPF ThreadList to retrieve corresponding ThreadInfos
(the ThreadList might not store terminated threads)
|
Throwable
barebones model class for java.lang.Throwable
the main reason for having one is to defer the stacktrace creation, which
we don't want if all an application does is intercepting a gazillion of
exceptions like NoSuchMethodException
|
Class and Description |
---|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|
Class and Description |
---|
Class
MJI model class for java.lang.Class library abstraction
This is a JPF specific version of a system class because we can't use the real,
platform VM specific version (it's native all over the place, its field
structure isn't documented, most of its methods are private, hence we can't
even instantiate it properly).
|
Object
modeled root class of all Java objects.
|
String
MJI adapter for java.lang.String, based on jdk 1.7.0_07 source.
|