logic
Class Parser

java.lang.Object
  logic.Parser

public class Parser

extends java.lang.Object

Parser for the logic class

Constructor Summary

Parser()

Method Summary

static void	main(java.lang.String[] args)
static Tokenizer	makeTokenizer(java.lang.String path)
static Tokenizer	makeTokenizer(java.io.StringReader path)
static TermList	parseArray(java.lang.String lineOfInput)
static TermList	parseArray(Tokenizer tz)
static Sentence	parseAtomicOutcome(Tokenizer tz)
static AtomicTerm	parseAtomicTerm(java.lang.String lineOfInput)
static AtomicTerm	parseBareSymbol(Tokenizer tz)
static SList	parseEffect(Tokenizer tz)
static SList	parseList(java.lang.String lineOfInput)
static SList	parseListFromFile(java.lang.String path)
static SList	parsePrecond(Tokenizer tz)
static SList	parseProbabilisticTerm(Tokenizer tz)
static Sentence	parseSentence(java.lang.String lineOfInput)
static Sentence	parseSentence(Tokenizer tz)
static Sentence	parseSentenceInner(Tokenizer tz)
static SList	parseSList(Tokenizer tz)
static SList	parseSListInner(Tokenizer tz)
static Term	parseStructuredTerm(Tokenizer tz)
static AtomicTerm	parseSymbol(Tokenizer tz)
static Term	parseTerm(java.lang.String lineOfInput)
static Term	parseTerm(Tokenizer tz)
static TermList	parseTermList(Tokenizer tz)

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser()

Method Detail

makeTokenizer

public static Tokenizer makeTokenizer(java.io.StringReader path)

makeTokenizer

public static Tokenizer makeTokenizer(java.lang.String path)

parseListFromFile

public static SList parseListFromFile(java.lang.String path)

parseSentence

public static Sentence parseSentence(java.lang.String lineOfInput)

parseList

public static SList parseList(java.lang.String lineOfInput)

parseTerm

public static Term parseTerm(java.lang.String lineOfInput)

parseAtomicTerm

public static AtomicTerm parseAtomicTerm(java.lang.String lineOfInput)

parseArray

public static TermList parseArray(java.lang.String lineOfInput)

parseProbabilisticTerm

public static SList parseProbabilisticTerm(Tokenizer tz)
                                    throws java.io.IOException

Throws:

java.io.IOException

parseArray

public static TermList parseArray(Tokenizer tz)
                           throws java.io.IOException

Throws:

java.io.IOException

parseSList

public static SList parseSList(Tokenizer tz)
                        throws java.io.IOException

Throws:

java.io.IOException

parseSentence

public static Sentence parseSentence(Tokenizer tz)
                              throws java.io.IOException

Throws:

java.io.IOException

parseSentenceInner

public static Sentence parseSentenceInner(Tokenizer tz)
                                   throws java.io.IOException

Throws:

java.io.IOException

parseEffect

public static SList parseEffect(Tokenizer tz)
                         throws java.io.IOException

Throws:

java.io.IOException

parsePrecond

public static SList parsePrecond(Tokenizer tz)
                          throws java.io.IOException

Throws:

java.io.IOException

parseAtomicOutcome

public static Sentence parseAtomicOutcome(Tokenizer tz)
                                   throws java.io.IOException

Throws:

java.io.IOException

parseStructuredTerm

public static Term parseStructuredTerm(Tokenizer tz)
                                throws java.io.IOException

Throws:

java.io.IOException

parseTerm

public static Term parseTerm(Tokenizer tz)
                      throws java.io.IOException

Throws:

java.io.IOException

parseTermList

public static TermList parseTermList(Tokenizer tz)
                              throws java.io.IOException

Throws:

java.io.IOException

parseSListInner

public static SList parseSListInner(Tokenizer tz)
                             throws java.io.IOException

Throws:

java.io.IOException

parseSymbol

public static AtomicTerm parseSymbol(Tokenizer tz)
                              throws java.io.IOException

Throws:

java.io.IOException

parseBareSymbol

public static AtomicTerm parseBareSymbol(Tokenizer tz)
                                  throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException