Package com.ibm.wala.cast.ir.ssa

Interface Summary

AstConstants
AstInstructionVisitor
AstPreInstructionVisitor

Class Summary

AbstractLexicalInvoke	This abstract class adds to invoke instructions the ability to handle lexical uses and definitions during call graph construction.
AbstractReflectiveGet	This abstract class represents field (a.k.a property) reads in which the field name is not a constant, but rather a computed value.
AbstractReflectivePut	This abstract class represents field (a.k.a property) writes in which the field name is not a constant, but rather a computed value.
AbstractSSAConversion	Abstract core of traditional SSA conversion (Cytron et al.).
AssignInstruction	A simple assignment statement.
AstAbstractInstructionVisitor
AstAssertInstruction	An assert statement, as found in a variety of languages.
AstGlobalRead	A read of a global variable denoted by a FieldReference
AstGlobalWrite	A write of a global variable denoted by a FieldReference
AstIRFactory
AstIsDefinedInstruction
AstLexicalAccess	This abstract class provides helper functionality for recording lexical uses and/or definitions.
AstLexicalAccess.Access	A single lexical access.
AstLexicalRead	A set of lexical reads.
AstLexicalWrite	A set of lexical writes.
EachElementGetInstruction	This instruction represents iterating through the properties of its receiver object.
EachElementHasNextInstruction	This instruction represents iterating through the properties of its receiver object.
FixedParametersLexicalInvokeInstruction	This abstract instruction extends the abstract lexical invoke with functionality to support invocations with a fixed number of arguments---the only case in some languages and a common case even in scripting languages.
NonExceptingThrowInstruction	In some languages, the throw itself cannot throw exceptions other than the argument.
SSAConversion

Enum Summary

AstConstants.BinaryOp
AstConstants.UnaryOp