edu.ucdavis.rj
Class InniArmCode

java.lang.Object
  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)