edu.ucdavis.rj
Class InniArmCode

java.lang.Object
  extended by edu.ucdavis.rj.InniArmCode

public class InniArmCode
extends java.lang.Object


Nested Class Summary
 class InniArmCode.By
           
 
Field Summary
 InniArmCode.By by
           
 
Constructor Summary
InniArmCode()
           
 
Method Summary
 void codeBlock(Invocation inv)
           
 void codeBlock(Invocation inv, Quantifiers quant)
           
 boolean suchThat(Invocation inv)
           
 boolean suchThat(Invocation inv, Quantifiers quants)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

by

public InniArmCode.By by
Constructor Detail

InniArmCode

public InniArmCode()
Method Detail

codeBlock

public void codeBlock(Invocation inv)

codeBlock

public void codeBlock(Invocation inv,
                      Quantifiers quant)

suchThat

public boolean suchThat(Invocation inv)

suchThat

public boolean suchThat(Invocation inv,
                        Quantifiers quants)