Interface BytecodeLanguage

All Superinterfaces:

Language

All Known Implementing Classes:

JavaLanguage

public interface BytecodeLanguage
extends Language

Field Summary

Fields inherited from interface Language

JAVA

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

Method Summary

Modifier and Type	Method	Description
Collection<TypeReference>	getImplicitExceptionTypes(IInstruction pei)
MethodReference	getInvokeMethodReference(ClassLoaderReference loader, IInvokeInstruction instruction)

Methods inherited from interface Language

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

Modifier and Type	Method	Description
TypeReference[]	getArrayInterfaces()	get the interfaces implemented by all arrays in the language
Language	getBaseLanguage()	If this language is "derived" from some other langauge, which one?
TypeReference	getConstantType(Object o)	Given a Java constant o, return the appropriate language type to associate with the constant.
Set<Language>	getDerivedLanguages()
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
InducedCFG	makeInducedCFG(SSAInstruction[] instructions, IMethod method, Context context)
<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?
boolean	modelConstant(Object o)
void	registerDerivedLanguage(Language l)	Yuck? Languages are mutable?

Method Details

getImplicitExceptionTypes

Collection<TypeReference> getImplicitExceptionTypes(IInstruction pei)

getInvokeMethodReference

MethodReference getInvokeMethodReference(ClassLoaderReference loader,
 IInvokeInstruction instruction)