joeq.Compiler.BytecodeAnalysis
Class Bytecodes.CHECKCAST

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction
      joeq.Compiler.BytecodeAnalysis.Bytecodes.CPInstruction
          joeq.Compiler.BytecodeAnalysis.Bytecodes.CHECKCAST

All Implemented Interfaces:

Serializable, Cloneable, Bytecodes.ExceptionThrower, Bytecodes.LoadClass, Bytecodes.StackConsumer, Bytecodes.StackProducer, Bytecodes.TypedInstruction

Enclosing interface:

Bytecodes

public static class Bytecodes.CHECKCAST
extends Bytecodes.CPInstruction
implements Bytecodes.LoadClass, Bytecodes.ExceptionThrower, Bytecodes.StackProducer, Bytecodes.StackConsumer, Bytecodes.TypedInstruction

See Also:

Serialized Form

Field Summary

Fields inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.CPInstruction

index, o

Fields inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction

length, opcode

Constructor Summary

Bytecodes.CHECKCAST(jq_Type f)
Check whether object is of given type

Method Summary

void	accept(Bytecodes.Visitor v) Call corresponding visitor method(s).
Set	getExceptions()
jq_Class	getLoadClassType() Returns the jq_Class of the referenced class or interface that may be loaded and resolved.

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.CPInstruction

dump, getIndex, getObject, getType, initFromFile, setIndex, setObject, toString, toString

Methods inherited from class joeq.Compiler.BytecodeAnalysis.Bytecodes.Instruction

consumeStack, copy, getLength, getOpcode, produceStack, readInstruction

Methods inherited from class java.lang.Object

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

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.LoadClass

getType

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackProducer

produceStack

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackConsumer

consumeStack

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.TypedInstruction

getType

Constructor Detail

Bytecodes.CHECKCAST

public Bytecodes.CHECKCAST(jq_Type f)

Check whether object is of given type

Parameters:

f - type to check

Method Detail

getExceptions

public Set getExceptions()

Specified by:

getExceptions in interface Bytecodes.ExceptionThrower

Returns:

exceptions this instruction may cause

getLoadClassType

public jq_Class getLoadClassType()

Description copied from interface: Bytecodes.LoadClass

Returns the jq_Class of the referenced class or interface that may be loaded and resolved.

Specified by:

getLoadClassType in interface Bytecodes.LoadClass

Returns:

object type that may be loaded or null if a primitive is referenced

accept

public void accept(Bytecodes.Visitor v)

Call corresponding visitor method(s). The order is: Call visitor methods of implemented interfaces first, then call methods according to the class hierarchy in descending order, i.e., the most specific visitXXX() call comes last.

Specified by:

accept in class Bytecodes.Instruction

Parameters:

v - Visitor object