Raptor.RAPRules
Class RAPRule

java.lang.Object
  Raptor.RAPRules.RAPRule

Direct Known Subclasses:

Assign, IfRule, MethodRule, Semi, SkipRule, WhileRule

public abstract class RAPRule
extends java.lang.Object

Abstract RAPRule class.
Extended by each of the R.A.P. rule classes.

Field Summary

protected ProofBox	proof
protected ProofWindow	window

Constructor Summary

RAPRule(ProofBox pProof)

Method Summary

void	addInputLine(ProgramLine pLine) Adds the selected input line to the rule.
abstract void	apply() Called by the controller to apply the selected rule.

Methods inherited from class java.lang.Object

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

Field Detail

proof

protected ProofBox proof

window

protected ProofWindow window

Constructor Detail

RAPRule

public RAPRule(ProofBox pProof)

Method Detail

addInputLine

public void addInputLine(ProgramLine pLine)
                  throws java.lang.Exception

Adds the selected input line to the rule.

Parameters:

pLine - the ProgramLine which is the first line selected

Throws:

java.lang.Exception

apply

public abstract void apply()
                    throws java.lang.Exception

Called by the controller to apply the selected rule.

Throws:

java.lang.Exception