JML

org.multijava.util.classfile
Class GenericFunctionsAttribute

java.lang.Object
  extended byorg.multijava.util.classfile.Attribute
      extended byorg.multijava.util.classfile.GenericFunctionsAttribute

public class GenericFunctionsAttribute
extends Attribute

This attribute represents the entire set of generic functions declared in or overridden in a single class or generic function anchor.


Field Summary
private static AsciiConstant attr
           
private  GenericFunctionInfo[] genericFunctions
           
(package private) static String tagString
           
 
Constructor Summary
GenericFunctionsAttribute(DataInput in, ConstantPool cp)
          Constructs a generic functions attribute from a class file stream.
GenericFunctionsAttribute(GenericFunctionInfo[] genericFunctions)
          Create a generic functions attribute from source.
 
Method Summary
protected  void appendMultimethodInfo(ArrayList result)
          Appends the MultimethodInfo objects for the multimethods declared in this class to result.
protected  int getSize()
          Returns the space in bytes used by this attribute in the classfile
protected  int getTag()
          Returns the attribute's tag
protected  void resolveConstants(ConstantPool cp)
          Insert or check location of constant value on constant pool
protected  void write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tagString

static final String tagString

attr

private static AsciiConstant attr

genericFunctions

private GenericFunctionInfo[] genericFunctions
Constructor Detail

GenericFunctionsAttribute

public GenericFunctionsAttribute(GenericFunctionInfo[] genericFunctions)
Create a generic functions attribute from source.


GenericFunctionsAttribute

public GenericFunctionsAttribute(DataInput in,
                                 ConstantPool cp)
                          throws IOException,
                                 ClassFileFormatException
Constructs a generic functions attribute from a class file stream.

Parameters:
in - the stream to read from
cp - the constant pool
Throws:
IOException - an I/O problem has occured
ClassFileFormatException - attempt to read a bad classfile info
Method Detail

getTag

protected int getTag()
Returns the attribute's tag


getSize

protected int getSize()
Returns the space in bytes used by this attribute in the classfile


appendMultimethodInfo

protected void appendMultimethodInfo(ArrayList result)
Appends the MultimethodInfo objects for the multimethods declared in this class to result.


resolveConstants

protected void resolveConstants(ConstantPool cp)
                         throws ClassFileFormatException
Insert or check location of constant value on constant pool

Parameters:
cp - the constant pool for this class
Throws:
ClassFileFormatException

write

protected void write(ConstantPool cp,
                     DataOutput out)
              throws IOException,
                     ClassFileFormatException
Write this class into the the file (out) getting data position from the constant pool

Parameters:
cp - the constant pool that contain all data
out - the file where to write this object info
Throws:
IOException - an io problem has occured
ClassFileFormatException

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.