JML

java.io
Class ObjectStreamField

java.lang.Object
  extended byjava.io.ObjectStreamField
All Implemented Interfaces:
Comparable

public class ObjectStreamField
extends Object
implements Comparable


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
private  Field field
           
private  String name
           
private  int offset
           
private  String signature
           
private  Class type
           
private  boolean unshared
           
 
Constructor Summary
(package private) ObjectStreamField(Field, boolean, boolean)
           
  ObjectStreamField(String, Class)
           
  ObjectStreamField(String, Class, boolean)
           
(package private) ObjectStreamField(String, String, boolean)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Model methods inherited from interface java.lang.Comparable
definedComparison, sgn
 
Method Summary
 int compareTo(Object)
           
(package private)  Field getField()
           
 String getName()
           
 int getOffset()
           
(package private)  String getSignature()
           
 Class getType()
           
 char getTypeCode()
           
 String getTypeString()
           
 boolean isPrimitive()
           
 boolean isUnshared()
           
protected  void setOffset(int)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

signature

private final String signature

name

private final String name

type

private final Class type

field

private final Field field

offset

private int offset

unshared

private final boolean unshared
Constructor Detail

ObjectStreamField

ObjectStreamField(Field,
                  boolean,
                  boolean)

ObjectStreamField

public ObjectStreamField(String,
                         Class)

ObjectStreamField

public ObjectStreamField(String,
                         Class,
                         boolean)

ObjectStreamField

ObjectStreamField(String,
                  String,
                  boolean)
Method Detail

getTypeCode

public char getTypeCode()

getOffset

public int getOffset()

isPrimitive

public boolean isPrimitive()

isUnshared

public boolean isUnshared()

setOffset

protected void setOffset(int)

getType

public Class getType()

compareTo

public int compareTo(Object)
Specified by:
compareTo in interface Comparable

getName

public String getName()

getSignature

String getSignature()

getTypeString

public String getTypeString()

toString

public String toString()
Overrides:
toString in class Object

getField

Field getField()

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.