com.ibm.wala.cast.loader

Interface AstMethod.LexicalInformation

All Known Implementing Classes:

AstTranslator.AstLexicalInformation

Enclosing class:

AstMethod

public static interface AstMethod.LexicalInformation

lexical access information for some entity scope. used during call graph construction to handle lexical accesses.

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.intset.IntSet	getAllExposedUses() return all value numbers appearing as entries in either getExposedUses(int) or getExitExposedUses()
int[]	getExitExposedUses() maps each exposed name (via its index in getExposedNames()) to its value number at method exit.
com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>[]	getExposedNames() names possibly accessed in a nested lexical scope, represented as pairs (name,nameOfDefiningEntity)
int[]	getExposedUses(int instructionOffset) get a map from exposed name (via its index in getExposedNames()) to its value number at the instruction at offset instructionOffset.
java.lang.String	getScopingName() get the name of this entity, as it appears in the definer portion of a lexical name
java.lang.String[]	getScopingParents() return the names of the enclosing methods declaring names that are lexically accessed by the entity
boolean	isReadOnly(java.lang.String name) returns true if name may be read in nested lexical scopes but cannot be written

Method Detail

getExposedNames

com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>[] getExposedNames()

names possibly accessed in a nested lexical scope, represented as pairs (name,nameOfDefiningEntity)

getExitExposedUses

int[] getExitExposedUses()

maps each exposed name (via its index in getExposedNames()) to its value number at method exit.

getExposedUses

int[] getExposedUses(int instructionOffset)

get a map from exposed name (via its index in getExposedNames()) to its value number at the instruction at offset instructionOffset.

getAllExposedUses

com.ibm.wala.util.intset.IntSet getAllExposedUses()

return all value numbers appearing as entries in either getExposedUses(int) or getExitExposedUses()

getScopingParents

java.lang.String[] getScopingParents()

return the names of the enclosing methods declaring names that are lexically accessed by the entity

isReadOnly

boolean isReadOnly(java.lang.String name)

returns true if name may be read in nested lexical scopes but cannot be written

getScopingName

java.lang.String getScopingName()

get the name of this entity, as it appears in the definer portion of a lexical name