JAVA_PRIMITIVES
JavaKnowledge
JAVA_TOPLEVEL_OBJECT
JavaKnowledge
JAVA_TOPLEVEL_OBJECT_TYPE
JavaKnowledge
JAWA_FILE_EXT
Constants
JFile
io
JManifest
io
JVMUtil
util
Jar
io
JarWriter
io
JavaClasspath
classpath
JavaContext
Classpath
JavaKnowledge
core
JavaPlatform
backend
JawaAlirInfoProvider
alir
JawaBaseType
core
JawaClass
core
JawaClassLoadManager
core
JawaClasspathManager
core
JawaDefRef
reachingDefinitionAnalysis
JawaElement
core
JawaField
core
JawaMethod
core
JawaPackage
core
JawaReachingDefinitionAnalysis
reachingDefinitionAnalysis
JawaResolver
core
JawaResolverError
core
JawaSymbolTable
symbolResolver
JawaSymbolTableBuilder
symbolResolver
JawaType
core
JawaVarAccesses
reachingDefinitionAnalysis
jarWriter
Jar
javaLib
GlobalPlatform
JavaPlatform
javaLibClassPath
Calculated
jawa
argus
jawaName
JawaType
jfile
Path
jfile2path
Path
join
Classpath
jumpTo
ExceptionHandler