fmrisc.ProgramExplorer.InOut

Class ClassReader

java.lang.Object

fmrisc.ProgramExplorer.InOut.ClassReader

public class ClassReader
extends java.lang.Object

A reader of a class.

Constructor Summary

Constructors

Constructor and Description
ClassReader(Source source, ErrorStream error) Create a reader of a class declaration.

Method Summary

Modifier and Type	Method and Description
Source	getSource() Get source for class reader.
boolean	isModified() Indicate whether declaration has been modified.
ClassDeclaration	read() Read the class declaration.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassReader

public ClassReader(Source source,
                   ErrorStream error)

Create a reader of a class declaration.

Parameters:

source - the source for the class declaration.

error - the stream where to report errors.

Method Detail

getSource

public Source getSource()

Get source for class reader.

Returns:

the source.

isModified

public boolean isModified()

Indicate whether declaration has been modified.

Returns:

true if declaration has been modified.

read

public ClassDeclaration read()

Read the class declaration.

Returns:

the declaration.