com.ibm.wala.cast.loader

Class CAstAbstractModuleLoader

java.lang.Object

com.ibm.wala.cast.loader.CAstAbstractLoader

com.ibm.wala.cast.loader.CAstAbstractModuleLoader

All Implemented Interfaces:

com.ibm.wala.classLoader.IClassLoader

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 and 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 and Description
CAstAbstractModuleLoader(com.ibm.wala.ipa.cha.IClassHierarchy cha)
CAstAbstractModuleLoader(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.classLoader.IClassLoader parent)

Method Summary

Modifier and Type	Method and Description
protected void	finishTranslation() subclasses should override to perform actions after CAst and IR have been generated.
protected java.io.File	getLocalFile(com.ibm.wala.classLoader.SourceModule M)
protected abstract TranslatorToCAst	getTranslatorToCAst(CAst ast, com.ibm.wala.classLoader.ModuleEntry M, java.util.List<com.ibm.wala.classLoader.Module> modules) create the appropriate CAst translator for the language and source module
void	init(java.util.List<com.ibm.wala.classLoader.Module> modules)
protected abstract TranslatorToIR	initTranslator(java.util.Set<com.ibm.wala.util.collections.Pair<CAstEntity,com.ibm.wala.classLoader.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 Detail

CAstAbstractModuleLoader

public CAstAbstractModuleLoader(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                                com.ibm.wala.classLoader.IClassLoader parent)

CAstAbstractModuleLoader

public CAstAbstractModuleLoader(com.ibm.wala.ipa.cha.IClassHierarchy cha)

Method Detail

getTranslatorToCAst

protected abstract TranslatorToCAst getTranslatorToCAst(CAst ast,
                                                        com.ibm.wala.classLoader.ModuleEntry M,
                                                        java.util.List<com.ibm.wala.classLoader.Module> modules)
                                                 throws java.io.IOException

create the appropriate CAst translator for the language and source module

Parameters:

modules - all modules in the analysis

Throws:

java.io.IOException

shouldTranslate

protected abstract boolean shouldTranslate(CAstEntity entity)

should IR be generated for entity?

initTranslator

protected abstract TranslatorToIR initTranslator(java.util.Set<com.ibm.wala.util.collections.Pair<CAstEntity,com.ibm.wala.classLoader.ModuleEntry>> topLevelEntities)

create the appropriate IR translator for the language

Parameters:

topLevelEntities - the set of all modules being translated

getLocalFile

protected java.io.File getLocalFile(com.ibm.wala.classLoader.SourceModule M)
                             throws java.io.IOException

Throws:

java.io.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(java.util.List<com.ibm.wala.classLoader.Module> modules)