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