| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorc.parser.OrcParser
public class OrcParser
Interface to the parser. This isolates other code from the underlying parser technology.
| Constructor Summary | |
|---|---|
| OrcParser(java.io.Reader reader) | |
| OrcParser(java.io.Reader reader,
          java.lang.String filename)If you know the filename, it can be used to improve parse error messages. | |
| Method Summary | |
|---|---|
| static void | main(java.lang.String[] args)For testing purposes; parses a program from stdin or a file given as an argument, and prints the parsed program. | 
|  java.util.List<Declaration> | parseModule()Parse the input as a module (declarations only). | 
|  Expression | parseProgram()Parse the input as a complete program (declarations plus goal expression). | 
| Methods inherited from class java.lang.Object | 
|---|
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Constructor Detail | 
|---|
public OrcParser(java.io.Reader reader)
public OrcParser(java.io.Reader reader,
                 java.lang.String filename)
| Method Detail | 
|---|
public Expression parseProgram()
                        throws ParsingException,
                               java.io.IOException
ParsingException
java.io.IOException
public java.util.List<Declaration> parseModule()
                                        throws ParsingException,
                                               java.io.IOException
ParsingException
java.io.IOException
public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        ParsingException
java.io.IOException
ParsingException| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||