JML

java.io
Class ObjectInputStream.GetFieldImpl

java.lang.Object
  extended byjava.io.ObjectInputStream.GetField
      extended byjava.io.ObjectInputStream.GetFieldImpl
Enclosing class:
ObjectInputStream

private class ObjectInputStream.GetFieldImpl
extends ObjectInputStream.GetField


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  ObjectStreamClass desc
           
private  int[] objHandles
           
private  Object[] objVals
           
private  byte[] primVals
           
 
Constructor Summary
(package private) ObjectInputStream.GetFieldImpl(ObjectInputStream, ObjectStreamClass)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 boolean defaulted(String)
           
 boolean get(String, boolean)
           
 byte get(String, byte)
           
 char get(String, char)
           
 double get(String, double)
           
 float get(String, float)
           
 int get(String, int)
           
 Object get(String, Object)
           
 long get(String, long)
           
 short get(String, short)
           
private  int getFieldOffset(String, Class)
           
 ObjectStreamClass getObjectStreamClass()
           
(package private)  void readFields()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

objVals

private final Object[] objVals

objHandles

private final int[] objHandles

desc

private final ObjectStreamClass desc

primVals

private final byte[] primVals
Constructor Detail

ObjectInputStream.GetFieldImpl

ObjectInputStream.GetFieldImpl(ObjectInputStream,
                               ObjectStreamClass)
Method Detail

readFields

void readFields()
          throws IOException
Throws:
IOException

getObjectStreamClass

public ObjectStreamClass getObjectStreamClass()

defaulted

public boolean defaulted(String)
                  throws IOException
Throws:
IOException

get

public byte get(String,
                byte)
         throws IOException
Throws:
IOException

get

public char get(String,
                char)
         throws IOException
Throws:
IOException

get

public double get(String,
                  double)
           throws IOException
Throws:
IOException

get

public float get(String,
                 float)
          throws IOException
Throws:
IOException

get

public int get(String,
               int)
        throws IOException
Throws:
IOException

get

public long get(String,
                long)
         throws IOException
Throws:
IOException

get

public short get(String,
                 short)
          throws IOException
Throws:
IOException

get

public boolean get(String,
                   boolean)
            throws IOException
Throws:
IOException

getFieldOffset

private int getFieldOffset(String,
                           Class)

get

public Object get(String,
                  Object)
           throws IOException
Throws:
IOException

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.