Raptor.RAPRules
Class SkipRule

java.lang.Object
  Raptor.RAPRules.RAPRule
      Raptor.RAPRules.SkipRule

public class SkipRule
extends RAPRule

Implements the skip rule.
Extends abstract class RAPRule.

Field Summary

Fields inherited from class Raptor.RAPRules.RAPRule

proof, window

Constructor Summary

SkipRule(ProofBox pProof)
Constructs a Skip rule instance.

Method Summary

void	apply() Called by the controller to apply the skip rule.

Methods inherited from class Raptor.RAPRules.RAPRule

addInputLine

Methods inherited from class java.lang.Object

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

Constructor Detail

SkipRule

public SkipRule(ProofBox pProof)

Constructs a Skip rule instance.

Parameters:

pProof - the ProofBox representing the box in which the rule is being applied.

Method Detail

apply

public void apply()
           throws java.lang.Exception

Called by the controller to apply the skip rule.

Specified by:

apply in class RAPRule

Throws:

java.lang.Exception