Raptor
Class ParseInputController

java.lang.Object
  Raptor.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	checkPost(java.lang.String pInput, ProofWindow pWindow) Returns true if the postcondition is successfully parsed and allows further input.
boolean	checkPre(java.lang.String pInput, ProofWindow pWindow) Returns true if the precondition is successfully parsed and allows further input.
boolean	checkProg(java.lang.String pInput, ProofWindow pWindow) Returns true if the program is successfully parsed and allows further input.
View	getView() Returns the View associated with this Controller
boolean	parsePost(java.lang.String pInput, ProofWindow pWindow) Returns true if the postcondition is successfully parsed and starts proof.
boolean	parsePost(java.lang.String pInput, ProofWindow pWindow, boolean pStartProof) Returns true if the postcondition is successfully parsed and either allows further input or starts proof.
boolean	parsePre(java.lang.String pInput, ProofWindow pWindow) Returns true if the precondition is successfully parsed and starts proof.
boolean	parsePre(java.lang.String pInput, ProofWindow pWindow, boolean pStartProof) Returns true if the precondition is successfully parsed and either allows further input or starts proof.
boolean	parseProg(java.lang.String pInput, ProofWindow pWindow) Returns true if the program is successfully parsed and starts proof.
boolean	parseProg(java.lang.String pInput, ProofWindow pWindow, boolean pStartProof) Returns true if the program is successfully parsed and either allows further input or starts proof.
void	var_check(PanSignature pSignature) Checks that all variables used in the proof have been declared, and declared in the appropriate type.

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

checkPre

public boolean checkPre(java.lang.String pInput,
                        ProofWindow pWindow)

Returns true if the precondition is successfully parsed and allows further input.

Parameters:

pInput - String representing precondition

pWindow - the associated ProofWindow

checkProg

public boolean checkProg(java.lang.String pInput,
                         ProofWindow pWindow)

Returns true if the program is successfully parsed and allows further input.

Parameters:

pInput - String representing the program

pWindow - the associated ProofWindow

checkPost

public boolean checkPost(java.lang.String pInput,
                         ProofWindow pWindow)

Returns true if the postcondition is successfully parsed and allows further input.

Parameters:

pInput - String representing the postcondition

pWindow - the associated ProofWindow

parsePre

public boolean parsePre(java.lang.String pInput,
                        ProofWindow pWindow)

Returns true if the precondition is successfully parsed and starts proof.

Parameters:

pInput - String representing the precondition

pWindow - the associated ProofWindow

parsePre

public boolean parsePre(java.lang.String pInput,
                        ProofWindow pWindow,
                        boolean pStartProof)

Returns true if the precondition is successfully parsed and either allows further input or starts proof.

Parameters:

pInput - String representing the precondition

pWindow - the associated ProofWindow

pStartProof - true if the proof should be started, no further input allowed

parseProg

public boolean parseProg(java.lang.String pInput,
                         ProofWindow pWindow)

Returns true if the program is successfully parsed and starts proof.

Parameters:

pInput - String representing the program

pWindow - the associated ProofWindow

parseProg

public boolean parseProg(java.lang.String pInput,
                         ProofWindow pWindow,
                         boolean pStartProof)

Returns true if the program is successfully parsed and either allows further input or starts proof.

Parameters:

pInput - String representing the program

pWindow - the associated ProofWindow

pStartProof - true if the proof should be started, no further input allowed

parsePost

public boolean parsePost(java.lang.String pInput,
                         ProofWindow pWindow)

Returns true if the postcondition is successfully parsed and starts proof.

Parameters:

pInput - String representing the postcondition

pWindow - the associated ProofWindow

parsePost

public boolean parsePost(java.lang.String pInput,
                         ProofWindow pWindow,
                         boolean pStartProof)

Returns true if the postcondition is successfully parsed and either allows further input or starts proof.

Parameters:

pInput - String representing the postcondition

pWindow - the associated ProofWindow

pStartProof - true if the proof should be started, no further input allowed

var_check

public void var_check(PanSignature pSignature)
               throws java.lang.Exception

Checks that all variables used in the proof have been declared, and declared in the appropriate type.

Parameters:

pSignature - the signature of the ProofWindow

Throws:

java.lang.Exception