How to use

equals

method

in

org.kframework.kil.PriorityBlock

@Override
public boolean equals(Object obj) {
  if (obj == null)
    return false;
  if (this == obj)
    return true;
  if (!(obj instanceof Syntax))
    return false;
  Syntax syn = (Syntax) obj;
  if (!syn.getDeclaredSort().equals(this.sort))
    return false;
  if (syn.priorityBlocks.size() != priorityBlocks.size())
    return false;
  for (int i = 0; i < syn.priorityBlocks.size(); i++) {
    if (!syn.priorityBlocks.get(i).equals(priorityBlocks.get(i)))
      return false;
  }
  return true;
}