com.ibm.wala.cast.ir.translator

Class AstTranslator.AstLexicalInformation

java.lang.Object

com.ibm.wala.cast.ir.translator.AstTranslator.AstLexicalInformation

All Implemented Interfaces:

AstMethod.LexicalInformation

Enclosing class:

AstTranslator

public static class AstTranslator.AstLexicalInformation
extends java.lang.Object
implements AstMethod.LexicalInformation

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

Constructor Summary

Constructors

Constructor and Description
AstLexicalInformation(AstTranslator.AstLexicalInformation original)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.intset.IntSet	getAllExposedUses() return all value numbers appearing as entries in either AstMethod.LexicalInformation.getExposedUses(int) or AstMethod.LexicalInformation.getExitExposedUses()
int[]	getExitExposedUses() maps each exposed name (via its index in AstMethod.LexicalInformation.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 AstMethod.LexicalInformation.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
static boolean	hasExposedUses(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site)
boolean	isReadOnly(java.lang.String name) returns true if name may be read in nested lexical scopes but cannot be written

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AstLexicalInformation

public AstLexicalInformation(AstTranslator.AstLexicalInformation original)

Method Detail

getExitExposedUses

public int[] getExitExposedUses()

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getExitExposedUses in interface AstMethod.LexicalInformation

getExposedUses

public int[] getExposedUses(int instructionOffset)

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getExposedUses in interface AstMethod.LexicalInformation

getAllExposedUses

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

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getAllExposedUses in interface AstMethod.LexicalInformation

getExposedNames

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

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getExposedNames in interface AstMethod.LexicalInformation

getScopingParents

public java.lang.String[] getScopingParents()

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getScopingParents in interface AstMethod.LexicalInformation

isReadOnly

public boolean isReadOnly(java.lang.String name)

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

isReadOnly in interface AstMethod.LexicalInformation

getScopingName

public java.lang.String getScopingName()

Description copied from interface: AstMethod.LexicalInformation

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

Specified by:

getScopingName in interface AstMethod.LexicalInformation

hasExposedUses

public static boolean hasExposedUses(com.ibm.wala.ipa.callgraph.CGNode caller,
                                     com.ibm.wala.classLoader.CallSiteReference site)