Class LanguageImpl

java.lang.Object

com.ibm.wala.classLoader.LanguageImpl

All Implemented Interfaces:

Language

Direct Known Subclasses:

JavaLanguage

public abstract class LanguageImpl
extends Object
implements Language

Common functionality for most Language implementations.

Field Summary

Fields inherited from interface Language

JAVA

Modifier and Type	Field	Description
static final JavaLanguage	JAVA	The canonical Language implementation for Java

Constructor Summary

Constructors

Constructor	Description
LanguageImpl()
LanguageImpl(Language base)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Language	getBaseLanguage()	If this language is "derived" from some other langauge, which one?
Set<Language>	getDerivedLanguages()
int	hashCode()
InducedCFG	makeInducedCFG(SSAInstruction[] instructions, IMethod method, Context context)
boolean	modelConstant(Object o)
void	registerDerivedLanguage(Language l)	Yuck? Languages are mutable?
String	toString()

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Language

getArrayInterfaces, getConstantType, getFakeRootMethod, getMetadataToken, getName, getPointerType, getPrimitive, getRootType, getStringType, getThrowableType, inferInvokeExceptions, instructionFactory, isBooleanType, isCharType, isDoubleType, isFloatType, isIntType, isLongType, isMetadataType, isNullType, isStringType, isVoidType, lookupPrimitiveType, makeModVisitor, makeRefVisitor, methodsHaveDeclaredParameterTypes

Modifier and Type	Method	Description
TypeReference[]	getArrayInterfaces()	get the interfaces implemented by all arrays in the language
TypeReference	getConstantType(Object o)	Given a Java constant o, return the appropriate language type to associate with the constant.
AbstractRootMethod	getFakeRootMethod(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)
Object	getMetadataToken(Object value)	Get the representation of the meta-data corresponding to value.
Atom	getName()	What is the name of the language?
TypeReference	getPointerType(TypeReference pointee)
PrimitiveType	getPrimitive(TypeReference reference)	get the abstraction of a primitive type to be used for type inference
TypeReference	getRootType()	What is the root type in a type hierarchy for this language? e.g.
TypeReference	getStringType()
TypeReference	getThrowableType()	What is the root type of exceptions in this language? e.g.
Collection<TypeReference>	inferInvokeExceptions(MethodReference target, IClassHierarchy cha)	determine the set of possible exception types a call to target may throw
SSAInstructionFactory	instructionFactory()
boolean	isBooleanType(TypeReference t)
boolean	isCharType(TypeReference t)
boolean	isDoubleType(TypeReference t)
boolean	isFloatType(TypeReference t)
boolean	isIntType(TypeReference t)
boolean	isLongType(TypeReference t)
boolean	isMetadataType(TypeReference t)	Is t a "metadata" type for the language, i.e., a type describing some other type (e.g., java.lang.Class for Java)?
boolean	isNullType(TypeReference t)	Is t the type of the language's null value? Should return true if t == null (?).
boolean	isStringType(TypeReference t)
boolean	isVoidType(TypeReference t)
TypeName	lookupPrimitiveType(String name)	Given a source-level primitive type name, get the corresponding "low-level" type name, e.g., the corresponding character to use in a Java method descriptor
<T extends InstanceKey> ModRef.ModVisitor<T, ? extends ExtendedHeapModel>	makeModVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h, boolean ignoreAllocHeapDefs)
<T extends InstanceKey> ModRef.RefVisitor<T, ? extends ExtendedHeapModel>	makeRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h)
boolean	methodsHaveDeclaredParameterTypes()	do MethodReference objects have declared parameter types?

Constructor Details

LanguageImpl

public LanguageImpl()

LanguageImpl

public LanguageImpl(Language base)

Method Details

getBaseLanguage

public Language getBaseLanguage()

Description copied from interface: Language

If this language is "derived" from some other langauge, which one?

Specified by:

getBaseLanguage in interface Language

getDerivedLanguages

public Set<Language> getDerivedLanguages()

Specified by:

getDerivedLanguages in interface Language

registerDerivedLanguage

public void registerDerivedLanguage(Language l)

Description copied from interface: Language

Yuck? Languages are mutable?

Specified by:

registerDerivedLanguage in interface Language

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

makeInducedCFG

public InducedCFG makeInducedCFG(SSAInstruction[] instructions,
 IMethod method,
 Context context)

Specified by:

makeInducedCFG in interface Language

modelConstant

public boolean modelConstant(Object o)

Specified by:

modelConstant in interface Language