JML

org.multijava.util.classfile
Class CodePosition

java.lang.Object
  extended byorg.multijava.util.classfile.CodePosition

public final class CodePosition
extends Object

This class represent the code position of each instruction during analyse of control flow. Such position are constrained between a min and a max value because it is not possible to know the size of jumps with forward reference


Field Summary
 int max
           
 int min
           
 
Constructor Summary
CodePosition(int min, int max)
          Constructs a new position
 
Method Summary
 void addOffset(int size)
          Add a value to min and max fields
 boolean isFix()
          Returns true if min equals max
 void setPosition(CodePosition pos)
          Sets the value of this object from an other one
 String toString()
          Returns a string representation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

min

public int min

max

public int max
Constructor Detail

CodePosition

public CodePosition(int min,
                    int max)
Constructs a new position

Parameters:
min - the minimum position
max - the maximum position
Method Detail

setPosition

public final void setPosition(CodePosition pos)
Sets the value of this object from an other one


addOffset

public final void addOffset(int size)
Add a value to min and max fields


isFix

public final boolean isFix()
Returns true if min equals max


toString

public String toString()
Returns a string representation.

Overrides:
toString in class Object

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.