Raptor.RAPRules
Class MethodRule

java.lang.Object
  Raptor.RAPRules.RAPRule
      Raptor.RAPRules.MethodRule

public class MethodRule
extends RAPRule

Implements the method rule.
Extends abstract class RAPRule.

Field Summary

Fields inherited from class Raptor.RAPRules.RAPRule

proof, window

Constructor Summary

MethodRule(ProofBox pProof)
Constructs a Method Invocation rule instance.

Method Summary

void	apply() Called by the controller to apply the selected rule.
boolean	isBool(PVar param, PanSignature pSignature)

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

MethodRule

public MethodRule(ProofBox pProof)

Constructs a Method Invocation 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

Description copied from class: RAPRule

Called by the controller to apply the selected rule.

Specified by:

apply in class RAPRule

Throws:

java.lang.Exception

isBool

public boolean isBool(PVar param,
                      PanSignature pSignature)