JML

org.multijava.util.classfile
Class InstructionIO.ForwardReference

java.lang.Object
  extended byorg.multijava.util.classfile.AbstractInstructionAccessor
      extended byorg.multijava.util.classfile.InstructionIO.ForwardReference
All Implemented Interfaces:
InstructionAccessor
Enclosing class:
InstructionIO

static class InstructionIO.ForwardReference
extends AbstractInstructionAccessor


Field Summary
private  int index
           
 
Constructor Summary
(package private) InstructionIO.ForwardReference(int index)
          Constructs a new forward reference
 
Method Summary
 int getIndex()
          Returns the index of the referenced instruction.
 
Methods inherited from class org.multijava.util.classfile.AbstractInstructionAccessor
transform
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

index

private final int index
Constructor Detail

InstructionIO.ForwardReference

InstructionIO.ForwardReference(int index)
Constructs a new forward reference

Parameters:
index - the index of the referenced target in the instruction array
Method Detail

getIndex

public int getIndex()
Returns the index of the referenced instruction.


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.