help is more helpful, better comments, and choosing from a list funct…

…ion added
melt-umn · Feb 28, 2024 · 762c28a · 762c28a · Michaelcauthorn · Feb 28, 2024
1 parent 0a6102a
commit 762c28a
Show file tree

Hide file tree

Showing 3 changed files with 166 additions and 82 deletions.
diff --git a/grammars/silver/compiler/translation/java/core/ProductionDcl.sv b/grammars/silver/compiler/translation/java/core/ProductionDcl.sv
@@ -242,6 +242,11 @@ ${if isData then "" else s"""
  return "${fName}";
  }
 
+ @Override
+ public String[] getChildNames() {
+ return namedSig.inputNames;
+ }
+
  ${otImpl}
 
  @Override
@@ -309,6 +314,7 @@ ${body.translation}
  }
 
  public String getName(){ return "${fName}"; }
+ public String[] getChildNames(){return namedSig.inputNames;}
  public common.RTTIManager.Nonterminalton<${fnnt}> getNonterminalton(){ return ${fnnt}.nonterminalton; }
 
  public String getTypeUnparse() { return "${escapeString(ns.unparse)}"; }