!7

srecord IfThen(Exp in, Exp out) {}
sclass Exp {}
srecord And(Exp a, Exp b) extends Exp {}
srecord Sentence(S text) extends Exp {}

p-exp {
  jtattoo();
  S input = first(mL("Monolog examples"));
  TextNode root = new(input);
  
  processNode_recursive(root, 10);

  showFrame(jDynamicTree(root, func(CTNode n) -> Collection<CTNode> { n.children }));
}

svoid processNode_recursive(CTNode n, int depthCounter) {
  if (n == null || depthCounter <= 0) ret;
  processNode(n);
  for (CTNode child : n.children)
    processNode_recursive(child, depthCounter-1);
  
  makeResults(n);
}

svoid makeResults(CTNode n) {
  if (!n instanceof OpNode) ret;
  for (TokNode child : instancesOf(TokNode, n.children))
}

svoid processNode(CTNode n) {
  if (n instanceof TextNode) {
    TextNode tn = cast n;
    
    OpNode op = new("javaTokPlusCurly_dontKeep");
    if (n.add(op))
      op.add(TokNode(javaTokPlusCurly_dontKeep(tn.text)));
  }
  
  if (n instanceof TokNode) {
    TokNode tn = cast n;
    if (containsSubList(tn.tok, ll("=", "", ">"))) {
      OpNode op = new("splitAtDoubleArrow");
      if (n.add(op))
        op.add(ObjectNode(splitAtDoubleArrow(tn.tok)));
    }
    
    L<Int> l = indicesOfSubList(tn.tok, ll("&", "", "&"));
    if (nempty(l)) {
      OpNode op = new("split at &&");
      if (n.add(op))
        for (L<S> subTok : splitAroundSubListIndices(tn.tok, l, 3))
          op.add(TokNode(subTok));
    }
  }
  
  if (n instanceof ObjectNode) {
    ObjectNode on = cast n;
    O o = on.obj;
    
    if (o instanceof S)
      n.add(TextNode((S) o));
    
    Collection c;
    if (on.obj instanceof Collection && l((c = (Collection) on.obj)) == 2) {
      OpNode op = new("Split Collection");
      if (n.add(op))
        for (O e : c)
          op.add(ObjectNode(e));
    }
  }
}

Began life as a copy of #1017536