Class JavaScriptLoader

java.lang.Object

com.ibm.wala.cast.loader.CAstAbstractLoader

com.ibm.wala.cast.loader.CAstAbstractModuleLoader

com.ibm.wala.cast.js.loader.JavaScriptLoader

All Implemented Interfaces:

IClassLoader, SummaryClassShellLoader

public class JavaScriptLoader
extends CAstAbstractModuleLoader

Nested Class Summary

Nested classes/interfaces inherited from class CAstAbstractModuleLoader

CAstAbstractModuleLoader.CoreClass, CAstAbstractModuleLoader.DynamicCodeBody, CAstAbstractModuleLoader.DynamicMethodObject

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

Field Summary

Fields

Modifier and Type	Field	Description
static final Set<String>	bootstrapFileNames	JavaScript files with code to model various aspects of the language semantics.
static final Language	JS
protected final SSAOptions	ssaOptions

Fields inherited from class CAstAbstractLoader

cha, parent, types

Modifier and Type	Field	Description
protected final IClassHierarchy	cha
protected final IClassLoader	parent
protected final Map<TypeName,IClass>	types	types loaded by this

Constructor Summary

Constructors

Constructor	Description
JavaScriptLoader(IClassHierarchy cha, SSAOptions ssaOptions, JavaScriptTranslatorFactory translatorFactory)
JavaScriptLoader(IClassHierarchy cha, SSAOptions ssaOptions, JavaScriptTranslatorFactory translatorFactory, CAstRewriterFactory<?,?> preprocessor)

Method Summary

Modifier and Type	Method	Description
static void	addBootstrapFile(String fileName)
IMethod	defineCodeBodyCode(String clsName, AbstractCFG<?,?> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)
IClass	defineFunctionType(String name, CAstSourcePositionMap.Position pos, CAstEntity entity, AstTranslator.WalkContext context)
IClass	defineScriptType(String name, CAstSourcePositionMap.Position pos, CAstEntity entity, AstTranslator.WalkContext context)
SSAInstructionFactory	getInstructionFactory()
Language	getLanguage()
ClassLoaderReference	getReference()	Return the ClassLoaderReference for this class loader.
protected TranslatorToCAst	getTranslatorToCAst(CAst ast, ModuleEntry module, List<Module> allModules)	create the appropriate CAst translator for the language and source module
protected TranslatorToIR	initTranslator(Set<Pair<CAstEntity, ModuleEntry>> topLevelEntities)	create the appropriate IR translator for the language
CAstAbstractModuleLoader.DynamicMethodObject	makeCodeBodyCode(AbstractCFG<?,?> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo, IClass C)
IClass	makeCodeBodyType(String name, TypeReference P, CAstSourcePositionMap.Position sourcePosition, CAstEntity entity, AstTranslator.WalkContext context)
static void	resetPrologueFile()
static void	setPrologueFile(String name)
protected boolean	shouldTranslate(CAstEntity entity)	should IR be generated for entity?

Methods inherited from class CAstAbstractModuleLoader

defineSummaryClassShell, finishTranslation, getLocalFile, init

Modifier and Type	Method	Description
IClass	defineSummaryClassShell(TypeName name, TypeName superName)	Register a "shell" IClass for a summary-modeled type, so that source classes loaded by this loader can resolve it as a superclass at definition time.
protected void	finishTranslation()	subclasses should override to perform actions after CAst and IR have been generated.
protected File	getLocalFile(SourceModule M)
void	init(List<Module> modules)	Initialize internal data structures.

Methods inherited from class CAstAbstractLoader

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

Modifier and Type	Method	Description
void	addMessage(ModuleEntry module, Warning message)
void	addMessages(ModuleEntry module, Set<Warning> message)
void	clearMessages()
Set<Warning>	getMessages(ModuleEntry m)
Iterator<ModuleEntry>	getModulesWithParseErrors()
Iterator<ModuleEntry>	getModulesWithWarnings()
Atom	getName()
int	getNumberOfClasses()
int	getNumberOfMethods()
IClassLoader	getParent()
Reader	getSource(IClass klass)
Reader	getSource(IMethod method, int bcOffset)
String	getSourceFileName(IClass klass)
String	getSourceFileName(IMethod method, int bcOffset)
Iterator<IClass>	iterateAllClasses()
IClass	lookupClass(TypeName className)	Find and return the IClass defined by this class loader that corresponds to the given class name.
IClass	lookupClass(String className, IClassHierarchy cha)
void	removeAll(Collection<IClass> toRemove)	blow away references to any classes in the set

Methods inherited from class Object

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

Methods inherited from interface SummaryClassShellLoader

defineSummaryClassShell

Modifier and Type	Method	Description
default IClass	defineSummaryClassShell(TypeName name, TypeName superName, Collection<MethodSummary> methods)	Register a shell IClass that also exposes the given method summaries as its own declared methods, so that a walk of the shell (e.g.

Field Details

JS

public static final Language JS

ssaOptions

protected final SSAOptions ssaOptions

bootstrapFileNames

public static final Set<String> bootstrapFileNames

JavaScript files with code to model various aspects of the language semantics. See com.ibm.wala.cast.js/dat/prologue.js.

Constructor Details

JavaScriptLoader

public JavaScriptLoader(IClassHierarchy cha,
 SSAOptions ssaOptions,
 JavaScriptTranslatorFactory translatorFactory)

JavaScriptLoader

public JavaScriptLoader(IClassHierarchy cha,
 SSAOptions ssaOptions,
 JavaScriptTranslatorFactory translatorFactory,
 CAstRewriterFactory<?,?> preprocessor)

Method Details

makeCodeBodyType

public IClass makeCodeBodyType(String name,
 TypeReference P,
 CAstSourcePositionMap.Position sourcePosition,
 CAstEntity entity,
 AstTranslator.WalkContext context)

defineFunctionType

public IClass defineFunctionType(String name,
 CAstSourcePositionMap.Position pos,
 CAstEntity entity,
 AstTranslator.WalkContext context)

defineScriptType

public IClass defineScriptType(String name,
 CAstSourcePositionMap.Position pos,
 CAstEntity entity,
 AstTranslator.WalkContext context)

defineCodeBodyCode

public IMethod defineCodeBodyCode(String clsName,
 AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

makeCodeBodyCode

public CAstAbstractModuleLoader.DynamicMethodObject makeCodeBodyCode(AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, Set<TypeReference>> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo,
 IClass C)

getLanguage

public Language getLanguage()

Returns:

the unique name that identifies the programming language from which this class loader loads code.

getReference

public ClassLoaderReference getReference()

Description copied from interface: IClassLoader

Return the ClassLoaderReference for this class loader.

Returns:

ClassLoaderReference

getInstructionFactory

public SSAInstructionFactory getInstructionFactory()

resetPrologueFile

public static void resetPrologueFile()

setPrologueFile

public static void setPrologueFile(String name)

addBootstrapFile

public static void addBootstrapFile(String fileName)

getTranslatorToCAst

protected TranslatorToCAst getTranslatorToCAst(CAst ast,
 ModuleEntry module,
 List<Module> allModules)

Description copied from class: CAstAbstractModuleLoader

create the appropriate CAst translator for the language and source module

Specified by:

getTranslatorToCAst in class CAstAbstractModuleLoader

Parameters:

allModules - all modules in the analysis

initTranslator

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

Description copied from class: CAstAbstractModuleLoader

create the appropriate IR translator for the language

Specified by:

initTranslator in class CAstAbstractModuleLoader

Parameters:

topLevelEntities - the set of all modules being translated

shouldTranslate

protected boolean shouldTranslate(CAstEntity entity)

Description copied from class: CAstAbstractModuleLoader

should IR be generated for entity?

Specified by:

shouldTranslate in class CAstAbstractModuleLoader