Raptor
Class RAPRuleController

java.lang.Object
  Raptor.RAPRuleController

public class RAPRuleController
extends java.lang.Object

Implements the correct RAPRule when a first line and a rule have been selected.

Constructor Summary

RAPRuleController(java.lang.String pRule, ProgramLine pProg, ProofBox pProof)
Constructs a RAPRuleController.

Method Summary

void	apply() Called by RuleController to apply the RAPRule.
boolean	haveAll() Returns true if the rule has all of the required input lines.
void	initialise() Called by RuleController to add the ProgramLine to the rule.

Methods inherited from class java.lang.Object

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

Constructor Detail

RAPRuleController

public RAPRuleController(java.lang.String pRule,
                         ProgramLine pProg,
                         ProofBox pProof)
                  throws java.lang.Exception

Constructs a RAPRuleController.

Parameters:

pRule - String representing the selected Rule

pProg - the ProgramLine which has been selected

pProof - the ProofBox which contains the selected line

Throws:

java.lang.Exception

Method Detail

initialise

public void initialise()
                throws java.lang.Exception

Called by RuleController to add the ProgramLine to the rule.

Throws:

java.lang.Exception

apply

public void apply()
           throws java.lang.Exception

Called by RuleController to apply the RAPRule.

Throws:

java.lang.Exception

haveAll

public boolean haveAll()

Returns true if the rule has all of the required input lines.