Package com.ibm.wala.cast.ir.ssa
package com.ibm.wala.cast.ir.ssa
-
ClassDescriptionThis abstract class represents field (a.k.a property) reads in which the field name is not a constant, but rather a computed value.This abstract class represents field (a.k.a property) writes in which the field name is not a constant, but rather a computed value.Abstract core of traditional SSA conversion (Cytron et al.).A simple assignment statement.An assert statement, as found in a variety of languages.A read of a global variable denoted by a FieldReferenceA write of a global variable denoted by a FieldReferenceAstIRFactory<T extends IMethod>AstIRFactory.AstDefaultIRFactory<T extends IMethod>IR instruction to check whether a field is defined on some object.This abstract class provides helper functionality for recording lexical uses and/or definitions.A single lexical access.A set of lexical reads.A set of lexical writes.This instruction represents iterating through the properties of its receiver object.This instruction represents iterating through the properties of its receiver object.This abstract instruction extends the abstract 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.