joeq.Compiler.Quad
Class Operator.CheckCast

java.lang.Object
  joeq.Compiler.Quad.Operator
      joeq.Compiler.Quad.Operator.CheckCast

Direct Known Subclasses:

Operator.CheckCast.CHECKCAST

Enclosing class:

Operator

public abstract static class Operator.CheckCast
extends Operator

Nested Class Summary

static class

Operator.CheckCast.CHECKCAST

Nested classes/interfaces inherited from class joeq.Compiler.Quad.Operator

Operator.ALength, Operator.ALoad, Operator.AStore, Operator.Binary, Operator.BoundsCheck, Operator.Branch, Operator.CheckCast, Operator.Getfield, Operator.Getstatic, Operator.Goto, Operator.InstanceOf, Operator.IntIfCmp, Operator.Invoke, Operator.Jsr, Operator.LookupSwitch, Operator.MemLoad, Operator.MemStore, Operator.Monitor, Operator.Move, Operator.New, Operator.NewArray, Operator.NullCheck, Operator.Phi, Operator.Putfield, Operator.Putstatic, Operator.Ret, Operator.Return, Operator.Special, Operator.StoreCheck, Operator.TableSwitch, Operator.Unary, Operator.ZeroCheck

Field Summary

Fields inherited from class joeq.Compiler.Quad.Operator

_delegate, anyexception, arithexception, arrayboundsexception, arraystoreexception, classcastexceptions, illegalmonitorstateexception, negativesizeexception, noexceptions, noregisters, nullptrexception, resolutionexceptions

Constructor Summary

Operator.CheckCast()

Method Summary

void	accept(Quad q, QuadVisitor qv)
static Quad	create(int id, Operator.CheckCast operator, Operand.RegisterOperand res, Operand val, Operand.TypeOperand type)
UnmodifiableList.RegisterOperand	getDefinedRegisters(Quad q)
static Operand.RegisterOperand	getDest(Quad q)
static Operand	getSrc(Quad q)
UnmodifiableList.jq_Class	getThrownExceptions()
static Operand.TypeOperand	getType(Quad q)
UnmodifiableList.RegisterOperand	getUsedRegisters(Quad q)
boolean	hasSideEffects()
static void	setDest(Quad q, Operand.RegisterOperand o)
static void	setSrc(Quad q, Operand o)
static void	setType(Quad q, Operand.TypeOperand o)

Methods inherited from class joeq.Compiler.Quad.Operator

getReg1_check, getReg1, getReg12, getReg123, getReg1234, getReg124, getReg2, getReg23, getReg234, getReg24, getReg3, interpret

Methods inherited from class java.lang.Object

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

Constructor Detail

Operator.CheckCast

public Operator.CheckCast()

Method Detail

create

public static Quad create(int id,
                          Operator.CheckCast operator,
                          Operand.RegisterOperand res,
                          Operand val,
                          Operand.TypeOperand type)

getDest

public static Operand.RegisterOperand getDest(Quad q)

getSrc

public static Operand getSrc(Quad q)

getType

public static Operand.TypeOperand getType(Quad q)

setDest

public static void setDest(Quad q,
                           Operand.RegisterOperand o)

setSrc

public static void setSrc(Quad q,
                          Operand o)

setType

public static void setType(Quad q,
                           Operand.TypeOperand o)

getDefinedRegisters

public UnmodifiableList.RegisterOperand getDefinedRegisters(Quad q)

Overrides:

getDefinedRegisters in class Operator

getUsedRegisters

public UnmodifiableList.RegisterOperand getUsedRegisters(Quad q)

Overrides:

getUsedRegisters in class Operator

hasSideEffects

public boolean hasSideEffects()

Specified by:

hasSideEffects in class Operator

accept

public void accept(Quad q,
                   QuadVisitor qv)

Overrides:

accept in class Operator

getThrownExceptions

public UnmodifiableList.jq_Class getThrownExceptions()

Overrides:

getThrownExceptions in class Operator