Pandora.LogicParser
Class ParseController

java.lang.Object
  Pandora.LogicParser.ParseController

public class ParseController
extends java.lang.Object

Controls the communication between the GUI and the parser, for a single line of input to be parsed.

Created with a String variable as an argument, which is a line of the input.
parseLine() can then be called to parse this input line.

Constructor Summary

ParseController(java.lang.String line)
Constructs a ParseController.

Method Summary

Formula

parseLine() Carries out the parsing of the line of input and returns the formula generated.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParseController

public ParseController(java.lang.String line)

Constructs a ParseController.

Parameters:

line - String to be parsed

Method Detail

parseLine

public Formula parseLine()

Carries out the parsing of the line of input and returns the formula generated.
Creates a parser.
Obtains the RESULT value returned by the parser.
Returns the result, caste as a Formula.