src/edu/uci/eecs/specCompiler/specExtraction/CommutativityRule.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 public class CommutativityRule {
   4         public final String method1, method2;
   5
   6         public final String condition;
   7
   8         public CommutativityRule(String m1, String m2, String condition) {
   9                 this.method1 = m1;
  10                 this.method2 = m2;
  11                 this.condition = condition;
  12         }
  13
  14         public String toString() {
  15                 return "@Commutativity: " + method1 + " <-> " + method2 + ": " + condition;
  16         }
  17 }