edu.ucdavis.rj
Class InniArmCode.By

java.lang.Object
  extended by edu.ucdavis.rj.InniArmCode.By
Enclosing class:
InniArmCode

public class InniArmCode.By
extends java.lang.Object


Constructor Summary
InniArmCode.By()
           
 
Method Summary
 int byCompareTo(java.lang.Object o1, java.lang.Object o2)
           
 java.lang.Object byExpr(Invocation inv)
           
 java.lang.Object byExpr(Invocation inv, Quantifiers quant)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InniArmCode.By

public InniArmCode.By()
Method Detail

byExpr

public java.lang.Object byExpr(Invocation inv)

byExpr

public java.lang.Object byExpr(Invocation inv,
                               Quantifiers quant)

byCompareTo

public int byCompareTo(java.lang.Object o1,
                       java.lang.Object o2)