Pandora
Class ParseInputController

java.lang.Object
  Pandora.ParseInputController

All Implemented Interfaces:

java.io.Serializable

public class ParseInputController
extends java.lang.Object
implements java.io.Serializable

Passes data between the View and Parser

See Also:

Serialized Form

Constructor Summary

ParseInputController()
Constructs a Controller

Method Summary

boolean	checkGoal(java.lang.String input, ProofWindow window) Parses the goal which has been input and allows further input.
boolean	checkInput(java.lang.String input, ProofWindow window) Parses the givens which have been input and allows further input.
View	getView() Returns the View associated with this Controller
boolean	parseGoal(java.lang.String input, ProofWindow window) Parses the goal which has been input and starts proof.
boolean	parseInput(java.lang.String input, ProofWindow window) Parses the givens which have been input and starts proof.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParseInputController

public ParseInputController()

Constructs a Controller

Method Detail

getView

public View getView()

Returns the View associated with this Controller

parseInput

public boolean parseInput(java.lang.String input,
                          ProofWindow window)

Parses the givens which have been input and starts proof.
Puts the ProofWindow into proof mode from input mode.
Returns true if givens are successfully parsed.

Parameters:

input - String representing the givens

window - the ProofWindow which contains the givens

checkInput

public boolean checkInput(java.lang.String input,
                          ProofWindow window)

Parses the givens which have been input and allows further input.
ProofWindow remains in input mode.
Returns true if givens successfully parsed.

Parameters:

input - String representing givens

window - the associated ProofWindow

parseGoal

public boolean parseGoal(java.lang.String input,
                         ProofWindow window)

Parses the goal which has been input and starts proof.
ProofWindow goes to the proof mode from input mode.
Returns true if goal successfully parsed.

Parameters:

input - String representing goal

window - the associated ProofWindow

checkGoal

public boolean checkGoal(java.lang.String input,
                         ProofWindow window)

Parses the goal which has been input and allows further input.
ProofWindow remains in input mode.
Returns true if goal successfully parsed.

Parameters:

input - String representing goal

window - the associated ProofWindow