Ejemplo n.º 1
0
 @Override
 public ASTNode visit(org.kframework.kil.SetBuiltin node, Void _void) {
   BuiltinSet.Builder builder = BuiltinSet.builder(termContext);
   for (org.kframework.kil.Term element : node.elements()) {
     builder.add((Term) this.visitNode(element));
   }
   for (org.kframework.kil.Term term : node.baseTerms()) {
     builder.concatenate((Term) this.visitNode(term));
   }
   return builder.build();
 }
  @Override
  public ASTNode transform(org.kframework.kil.SetBuiltin node) throws TransformerException {
    assert node.isLHSView() : "unsupported set " + node;

    HashSet<Term> entries = new HashSet<Term>(node.elements().size());
    for (org.kframework.kil.Term entry : node.elements()) {
      Term key = (Term) entry.accept(this);
      entries.add(key);
    }

    if (node.hasViewBase()) {
      Term base = (Term) node.viewBase().accept(this);
      if (base instanceof SetUpdate) {
        SetUpdate setUpdate = (SetUpdate) base;
        /* TODO(AndreiS): check key uniqueness */
        return new SetUpdate(setUpdate.base(), setUpdate.removeSet());
      } else {
        /* base instanceof Variable */
        return new BuiltinSet(entries, (Variable) base);
      }
    } else {
      return new BuiltinSet(entries);
    }
  }