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

   1 package edu.uci.eecs.specExtraction;
   2
   3 /**
   4  * <p> This class represents a commutativity rule in the specification.
   5  * @author Peizhao Ou
   6  *
   7  */
   8 public class CommutativityRule {
   9         public final String method1, method2;
  10
  11         public final String condition;
  12
  13         public CommutativityRule(String m1, String m2, String condition) {
  14                 this.method1 = m1;
  15                 this.method2 = m2;
  16                 this.condition = condition;
  17         }
  18
  19         public String toString() {
  20                 return method1 + " <-> " + method2 + ": " + condition;
  21         }
  22 }