proof.parse
Class ParseOne

java.lang.Object
  |
  +--proof.parse.ParseOne

public class ParseOne

extends java.lang.Object

Parses a single file. I know, it's a weird name, but class names including "parse" seem to have problems.

Field Summary

Term	value The value of the term that was parsed.

Constructor Summary

ParseOne(java.io.Reader r)
Parses a file.

ParseOne(java.net.URL url)
Reads a file from a given URL, and parses it.

Methods inherited from class java.lang.Object

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

Field Detail

value

public Term value

The value of the term that was parsed.

Constructor Detail

ParseOne

public ParseOne(java.io.Reader r)
         throws java.lang.Exception

Parses a file.

Parameters:

r - a Reader, reading the file to be parsed

ParseOne

public ParseOne(java.net.URL url)
         throws java.lang.Exception

Reads a file from a given URL, and parses it. FIXME: this should read from local files, as well as from over the Web.

Parameters:

url - the URL of the file to parse