Package com.ibm.wala.cast.java.loader

Class JavaSourceLoaderImpl

java.lang.Object

com.ibm.wala.classLoader.ClassLoaderImpl

com.ibm.wala.cast.java.loader.JavaSourceLoaderImpl

All Implemented Interfaces:

IClassLoader

Direct Known Subclasses:

ECJSourceLoaderImpl, JDTSourceLoaderImpl

public abstract class JavaSourceLoaderImpl
extends ClassLoaderImpl

A ClassLoaderImpl that processes source file entities in the compile-time classpath.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	JavaSourceLoaderImpl.AbstractJavaMethod	DOMO representation of an abstract (body-less) method on a Java type that resides in a source file
class	JavaSourceLoaderImpl.ConcreteJavaMethod	DOMO representation of a concrete method (which has a body) on a Java type that resides in a source file
static class	JavaSourceLoaderImpl.InstructionFactory
class	JavaSourceLoaderImpl.JavaClass	WALA representation of a Java class residing in a source file
protected class	JavaSourceLoaderImpl.JavaEntityMethod	Generic DOMO representation of a method on a Java type that resides in a source file
protected static class	JavaSourceLoaderImpl.JavaField	WALA representation of a field on a Java type that resides in a source file

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	deleteTypeMapAfterInit
Map<CAstEntity,IClass>	fTypeMap
protected static final JavaSourceLoaderImpl.InstructionFactory	insts

Fields inherited from class com.ibm.wala.classLoader.ClassLoaderImpl

cha, DEBUG_LEVEL, loadedClasses

Constructor Summary

Constructors

Constructor	Description
JavaSourceLoaderImpl(boolean existsCommonSuperClass, ClassLoaderReference loaderRef, IClassLoader parent, IClassHierarchy cha)
JavaSourceLoaderImpl(ClassLoaderReference loaderRef, IClassLoader parent, IClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
void	defineAbstractFunction(CAstEntity n, IClass owner)
void	defineField(CAstEntity n, IClass owner)
void	defineFunction(CAstEntity n, IClass owner, AbstractCFG<?,?> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>,TypeReference[]> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)
IClass	defineType(CAstEntity type, String typeName, CAstEntity owner)
protected Collection<Annotation>	getAnnotations(CAstEntity e)
IClassHierarchy	getClassHierarchy()
JavaSourceLoaderImpl.InstructionFactory	getInstructionFactory()
protected abstract SourceModuleTranslator	getTranslator()
void	init(List<Module> modules)	Initialize internal data structures
protected void	loadAllSources(Set<ModuleEntry> modules)	Set up mapping from type name to Module Entry
static int	mapToInt(Collection<CAstQualifier> qualifiers)
String	toString()
protected static TypeName	toWALATypeName(CAstType type)

Methods inherited from class com.ibm.wala.classLoader.ClassLoaderImpl

getLanguage, getName, getNumberOfClasses, getNumberOfMethods, getParent, getReference, getSource, getSource, getSourceFileName, getSourceFileName, iterateAllClasses, lookupClass, removeAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

fTypeMap

public Map<CAstEntity,IClass> fTypeMap

deleteTypeMapAfterInit

public static volatile boolean deleteTypeMapAfterInit

insts

protected static final JavaSourceLoaderImpl.InstructionFactory insts

Constructor Details

JavaSourceLoaderImpl

public JavaSourceLoaderImpl(boolean existsCommonSuperClass,
 ClassLoaderReference loaderRef,
 IClassLoader parent,
 IClassHierarchy cha)

JavaSourceLoaderImpl

public JavaSourceLoaderImpl(ClassLoaderReference loaderRef,
 IClassLoader parent,
 IClassHierarchy cha)

Method Details

getAnnotations

protected Collection<Annotation> getAnnotations(CAstEntity e)

mapToInt

public static int mapToInt(Collection<CAstQualifier> qualifiers)

getClassHierarchy

public IClassHierarchy getClassHierarchy()

loadAllSources

protected void loadAllSources(Set<ModuleEntry> modules)

Description copied from class: ClassLoaderImpl

Set up mapping from type name to Module Entry

Overrides:

loadAllSources in class ClassLoaderImpl

getTranslator

protected abstract SourceModuleTranslator getTranslator()

init

public void init(List<Module> modules)
          throws IOException

Description copied from class: ClassLoaderImpl

Initialize internal data structures

Specified by:

init in interface IClassLoader

Overrides:

init in class ClassLoaderImpl

Throws:

IOException

defineFunction

public void defineFunction(CAstEntity n,
 IClass owner,
 AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>,TypeReference[]> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

defineAbstractFunction

public void defineAbstractFunction(CAstEntity n,
 IClass owner)

defineField

public void defineField(CAstEntity n,
 IClass owner)

toWALATypeName

protected static TypeName toWALATypeName(CAstType type)

defineType

public IClass defineType(CAstEntity type,
 String typeName,
 CAstEntity owner)

toString

public String toString()

Overrides:

toString in class ClassLoaderImpl

getInstructionFactory

public JavaSourceLoaderImpl.InstructionFactory getInstructionFactory()

Specified by:

getInstructionFactory in interface IClassLoader

Overrides:

getInstructionFactory in class ClassLoaderImpl