Package com.ibm.wala.cast.js.loader

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

public class JavaScriptLoader
extends CAstAbstractModuleLoader

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.loader.CAstAbstractModuleLoader

CAstAbstractModuleLoader.CoreClass, CAstAbstractModuleLoader.DynamicCodeBody, 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

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

cha, parent, types

Constructor Summary

Constructors

Constructor	Description
JavaScriptLoader(IClassHierarchy cha, JavaScriptTranslatorFactory translatorFactory)
JavaScriptLoader(IClassHierarchy cha, 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>,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>,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 com.ibm.wala.cast.loader.CAstAbstractModuleLoader

finishTranslation, getLocalFile, init

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

Field Details

JS

public static final Language JS

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,
 JavaScriptTranslatorFactory translatorFactory)

JavaScriptLoader

public JavaScriptLoader(IClassHierarchy cha,
 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>,TypeReference[]> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

makeCodeBodyCode

public CAstAbstractModuleLoader.DynamicMethodObject makeCodeBodyCode(AbstractCFG<?,?> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>,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

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