sbool tok_defaultArguments_debug = true;

// only one default argument per declaration for now
// example:
// static LS recursiveProbabilisticParse(S productions, S sentenceClass default "sentence", S input) { ... }
svoid tok_defaultArguments(LS tok) {
  for (int i : jfindAll_reversed(tok, "<id> default", tokCondition {
    ret !eqGetOneOf(tok, i-1, "ifclass", "ifdef", "ifndef")
      && !isJavaModifier(_get(tok, i+1));
  })) {
    int iOpening = lastIndexOf(tok, i, "(");
    int iClosing = findEndOfBracketPart2(tok, iOpening)-1;
    //S args = joinSubList(tok, iOpening+2, iClosing-1);
    
    // function name
    int iName = iOpening-2;
    S name = get(tok, iName);
    if (!isIdentifier(name)) continue;
    
    int iType = tok_leftScanType(tok, iName);
    int iStart = tok_leftScanTypeArgsOpt(tok, iType);
    iStart = leftScanModifiers(tok, iStart);
    //print("Found method head: " + joinSubList(tok, iStart, iClosing+1));
    int iEndOfExpr = tok_findEndOfExpression(tok, i+4)+1; // should point at comma or closing bracket
    S expr = joinSubList(tok, i+4, iEndOfExpr);
    int iParamTypeStart = tok_leftScanType(tok, i);
    LS _args1 = subList(tok, iOpening+1, iParamTypeStart);
    LS _args2 = subList(tok, iEndOfExpr+1, iClosing+2);
    LS args1 = tok_parseArgsDeclList2(_args1);
    LS args2 = tok_parseArgsDeclList2(_args2);
    LS type = subList(tok, iType-1, iName);
    bool isVoid = containsOneOf(codeTokens(type), javaxVoidAliases());
    if (eq(expr, "new")) expr = "new " + joinSubList(tok, iParamTypeStart, i-1) + "()";
    
    S modifiers = join(listMinus(subList(tok, iStart, iType), "abstract"));
    
    S rewrittenHead = 
      modifiers
      + joinSubList(tok, iType, iOpening+1)
      + joinWithComma(concatLists(args1, args2)) + ")";
      
    if (tok_defaultArguments_debug)
      printVars tok_defaultArguments(+expr, +_args1, +_args2, +args1, +args2, +type, +isVoid, +rewrittenHead);
    
    clearTokens_reTok(tok, i+1, iEndOfExpr-1);
    tokPrepend_reTok(tok, iStart, rewrittenHead + " { "
      + (isVoid ? "" : "return ") + name + "(" + 
        joinWithComma(concatLists(
          map tok_lastIdentifier(args1),
          ll(expr),
          map tok_lastIdentifier(args2))) + "); }\n");
 }
}