Exemplos de Category.toString em Java

Exemplo n.º 1

Arquivo: FunLib.java Projeto: jgralab/jgralab

    private void generateCategoryDocs(Category cat) throws IOException {
      String heading = cat.toString().toLowerCase().replace('_', ' ');
      heading = heading.substring(0, 1).toUpperCase().concat(heading.substring(1));
      newLine();
      write("\\subsection{" + heading + "}");
      newLine();

      SortedMap<String, AnnotationInfo> funs = cat2funs.get(cat);
      for (AnnotationInfo e : funs.values()) {
        generateFunctionDocs(e);
      }
    }