|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AssignmentInstruction | |
---|---|
edu.cmu.cs.crystal.simple | This package is for creating very simple flow analyses; if you're new to flow analyses, start here. |
edu.cmu.cs.crystal.tac | The interfaces for the three-address code (TAC) instructions. |
Uses of AssignmentInstruction in edu.cmu.cs.crystal.simple |
---|
Methods in edu.cmu.cs.crystal.simple with parameters of type AssignmentInstruction | |
---|---|
LE |
AbstractingTransferFunction.transfer(AssignmentInstruction instr,
LE value)
|
Uses of AssignmentInstruction in edu.cmu.cs.crystal.tac |
---|
Subinterfaces of AssignmentInstruction in edu.cmu.cs.crystal.tac | |
---|---|
interface |
ArrayInitInstruction
x = { y1, ..., yn }. |
interface |
BinaryOperation
x = y binop z, representing all binary operations. |
interface |
CastInstruction
x = (T) y. |
interface |
CopyInstruction
x = y. |
interface |
DotClassInstruction
x = T.class. |
interface |
InstanceofInstruction
x = y instanceof T. |
interface |
InvocationInstruction
Abstract x = call(z1, ..., zn). |
interface |
LoadArrayInstruction
x = y[z]. |
interface |
LoadFieldInstruction
x = y.f, where f is a field. |
interface |
LoadInstruction
Marker interface for loads. |
interface |
LoadLiteralInstruction
x = l, an assignment of a literal value to a variable. |
interface |
MethodCallInstruction
x = y.m(z1, ..., zn), where m is a method and y is possibly a type variable, in the case of a static method call. |
interface |
NewArrayInstruction
x = new T[y1]...[yn] or x = new T[]...[] = z. |
interface |
NewObjectInstruction
x = new C(z1, ..., zn), including for anonymous inner classes. |
interface |
OneOperandInstruction
x = f(y), i.e., the result of a one-operand instruction is somehow derived from a single operand. |
interface |
UnaryOperation
x = unop y; this class represents unary operations. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |