BytecodeLanguage (wala 1.6.13-SNAPSHOT API)

All Superinterfaces:: Language

All Known Implementing Classes:: JavaLanguage

public interface BytecodeLanguage extends Language

Field Summary

Fields inherited from interface Language
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

Method Details
- getImplicitExceptionTypes
  
  Collection<TypeReference> getImplicitExceptionTypes(IInstruction pei)
- getInvokeMethodReference
  
  MethodReference getInvokeMethodReference(ClassLoaderReference loader, IInvokeInstruction instruction)