コード例 #1
0
 private static void flattenKList(
     List<org.kframework.kil.Term> flatList, List<org.kframework.kil.Term> nestedList) {
   for (org.kframework.kil.Term term : nestedList) {
     if (term instanceof org.kframework.kil.KList) {
       org.kframework.kil.KList kList = (org.kframework.kil.KList) term;
       KILtoBackendJavaKILTransformer.flattenKList(flatList, kList.getContents());
     } else {
       flatList.add(term);
     }
   }
 }
コード例 #2
0
ファイル: CoqLabelUnparser.java プロジェクト: kszr/k
 public void visitNestedKLists(KList children) {
     if (!children.isEmpty()) {
         boolean first = true;
         for (Term t : children.getContents()) {
             if (!first) {
                 builder.append(',');
             }
             first = false;
             visitNodeOrKList(t);
         }
     }
 }
コード例 #3
0
  @Override
  public ASTNode transform(org.kframework.kil.KList node) throws TransformerException {
    List<org.kframework.kil.Term> list = new ArrayList<org.kframework.kil.Term>();
    KILtoBackendJavaKILTransformer.flattenKList(list, node.getContents());

    Variable variable = null;
    if (!list.isEmpty()
        && list.get(list.size() - 1) instanceof org.kframework.kil.Variable
        && list.get(list.size() - 1).getSort().equals(org.kframework.kil.KSorts.KLIST)) {
      variable = (Variable) list.remove(list.size() - 1).accept(this);
    }

    ImmutableList.Builder<Term> builder = new ImmutableList.Builder<Term>();
    for (org.kframework.kil.Term term : list) {
      builder.add((Term) term.accept(this));
    }

    return new KList(builder.build(), variable);
  }
コード例 #4
0
  @Override
  public ASTNode visit(org.kframework.kil.KList node, Void _void) {
    List<org.kframework.kil.Term> list = new ArrayList<>();
    KILtoBackendJavaKILTransformer.flattenKList(list, node.getContents());

    Variable variable = null;
    if (!list.isEmpty()
        && list.get(list.size() - 1) instanceof org.kframework.kil.Variable
        && list.get(list.size() - 1).getSort().equals(org.kframework.kil.Sort.KLIST)) {
      variable = (Variable) this.visitNode(list.remove(list.size() - 1));
    }

    KList.Builder builder = KList.builder();
    for (org.kframework.kil.Term term : list) {
      builder.concatenate((Term) this.visitNode(term));
    }
    if (variable != null) {
      builder.concatenate(variable);
    }

    return builder.build();
  }