fmrisc.ProgramExplorer.InOut

Class TheoryReader

java.lang.Object

fmrisc.ProgramExplorer.InOut.TheoryReader

public class TheoryReader
extends java.lang.Object

A reader of a theory.

Constructor Summary

Constructors

Constructor and Description
TheoryReader(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.
TheoryDeclaration	read() Read the theory declaration.

Methods inherited from class java.lang.Object

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

Constructor Detail

TheoryReader

public TheoryReader(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 TheoryDeclaration read()

Read the theory declaration.

Returns:

the declaration.