scale.jcr
Class SourceFileAttribute

java.lang.Object
  scale.jcr.AttributeInfo
      scale.jcr.SourceFileAttribute

public class SourceFileAttribute
extends AttributeInfo

This class is used to both represent a Java class file source file attribute structure and to read that class file source file attribute structure.

$Id: SourceFileAttribute.java,v 1.9 2007-10-04 19:58:17 burrill Exp $

Copyright 2007 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

Constructor Summary

SourceFileAttribute(int nameIndex, int sourceFileIndex)

Method Summary

int	getSourceFileIndex()
static SourceFileAttribute	read(ClassFile cf, java.io.DataInputStream reader, int nameIndex)

Methods inherited from class scale.jcr.AttributeInfo

getNameIndex, read

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SourceFileAttribute

public SourceFileAttribute(int nameIndex,
                           int sourceFileIndex)

Method Detail

getSourceFileIndex

public int getSourceFileIndex()

read

public static SourceFileAttribute read(ClassFile cf,
                                       java.io.DataInputStream reader,
                                       int nameIndex)
                                throws java.io.IOException

Throws:

java.io.IOException