How to use

getAssoc

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 PriorityBlock))
    return false;
  PriorityBlock pb = (PriorityBlock) obj;
  if (!pb.getAssoc().equals(this.assoc))
    return false;
  if (pb.productions.size() != productions.size())
    return false;
  for (int i = 0; i < pb.productions.size(); i++) {
    if (!pb.productions.get(i).equals(productions.get(i)))
      return false;
  }
  return true;
}

if (!b.getAssoc().equals("")) {
  Value assoc = applyAssoc(b.getAssoc());
  res.add(SyntaxAssociativity(assoc, applyToTags.apply(b)));