Class CAstAbstractModuleLoader

java.lang.Object

com.ibm.wala.cast.loader.CAstAbstractLoader

com.ibm.wala.cast.loader.CAstAbstractModuleLoader

All Implemented Interfaces:

IClassLoader

Direct Known Subclasses:

JavaScriptLoader

public abstract class CAstAbstractModuleLoader
extends CAstAbstractLoader

abstract class loader that performs CAst and IR generation for relevant entities in a list of Modules. Subclasses provide the CAst / IR translators appropriate for the language.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	CAstAbstractModuleLoader.CoreClass
class	CAstAbstractModuleLoader.DynamicCodeBody
class	CAstAbstractModuleLoader.DynamicMethodObject

Field Summary

Fields inherited from class com.ibm.wala.cast.loader.CAstAbstractLoader

cha, parent, types

Constructor Summary

Constructors

Constructor	Description
CAstAbstractModuleLoader(IClassHierarchy cha)
CAstAbstractModuleLoader(IClassHierarchy cha, IClassLoader parent)

Method Summary

Modifier and Type	Method	Description
protected void	finishTranslation()	subclasses should override to perform actions after CAst and IR have been generated.
protected File	getLocalFile(SourceModule M)
protected abstract TranslatorToCAst	getTranslatorToCAst(CAst ast, ModuleEntry M, List<Module> modules)	create the appropriate CAst translator for the language and source module
void	init(List<Module> modules)	Initialize internal data structures.
protected abstract TranslatorToIR	initTranslator(Set<Pair<CAstEntity,ModuleEntry>> topLevelEntities)	create the appropriate IR translator for the language
protected abstract boolean	shouldTranslate(CAstEntity entity)	should IR be generated for entity?

Methods inherited from class com.ibm.wala.cast.loader.CAstAbstractLoader

addMessage, addMessages, clearMessages, getMessages, getModulesWithParseErrors, getModulesWithWarnings, getName, getNumberOfClasses, getNumberOfMethods, getParent, getSource, getSource, getSourceFileName, getSourceFileName, iterateAllClasses, lookupClass, lookupClass, removeAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.classLoader.IClassLoader

getInstructionFactory, getLanguage, getReference

Constructor Details

CAstAbstractModuleLoader

public CAstAbstractModuleLoader(IClassHierarchy cha,
 IClassLoader parent)

CAstAbstractModuleLoader

public CAstAbstractModuleLoader(IClassHierarchy cha)

Method Details

getTranslatorToCAst

protected abstract TranslatorToCAst getTranslatorToCAst(CAst ast,
 ModuleEntry M,
 List<Module> modules)
                                                 throws IOException

create the appropriate CAst translator for the language and source module

Parameters:

modules - all modules in the analysis

Throws:

IOException

shouldTranslate

protected abstract boolean shouldTranslate(CAstEntity entity)

should IR be generated for entity?

initTranslator

protected abstract TranslatorToIR initTranslator(Set<Pair<CAstEntity,ModuleEntry>> topLevelEntities)

create the appropriate IR translator for the language

Parameters:

topLevelEntities - the set of all modules being translated

getLocalFile

protected File getLocalFile(SourceModule M)
                     throws IOException

Throws:

IOException

finishTranslation

protected void finishTranslation()

subclasses should override to perform actions after CAst and IR have been generated. by default, do nothing

init

public void init(List<Module> modules)

Description copied from interface: IClassLoader

Initialize internal data structures.