Improve maintainability

[tomokinakamaru]

#develop

• internal
  • frontend
    • parser: Build Ag AST from text
      • Implementation
      • Tests
      • Check modifiers
      • Annotate with API guardian
      • Annotate ANTLR-generated files with @API(status = API.Status.INTERNAL) if possible
    • checker: Check Ag AST
      • Implementation
      • Tests
      • Check modifiers
      • Annotate with API guardian
    • rewriter: Rewrite Ag AST
      • Implementation
      • Tests
      • Check modifiers
      • Annotate with API guardian
    • Frontend: Build, Check, Rewrite Ag ASTs
      • Implementation
      • Tests
      • Check modifiers
      • Annotate with API guardian
  • middleware

    • graph

      • data: Data structure & visitors
        • Review Implementation
        • Check modifiers
        • Annotate with API guardian
        • Create GraphWalker (likeParseTreeWalker)
      • builder: Build graphs from Ag AST
        • Review Implementation
        • Check modifiers
        • Annotate with API guardian
        • Tests
      • checker: Check graphs
        • Review Implementation
        • Check modifiers
        • Annotate with API guardian
        • Tests
      • rewriter: Rewrite graphs
        • Review Implementation
        • Check modifiers
        • Annotate with API guardian
        • Tests

    • java

      • data: Data structure
      • builder: Build Java ASTs from graphs
      • checker: Check Java ASTs
      • rewriter: Rewrite Java ASTs
  • backend
    • data: Data structure
    • builder: Build File from Java ASTs
    • checker: Check Files
    • generator: Generate .java files
• API
  • Silverchain
  • SilverchainException
  • SilverchainWarning

---

• silverchain.command
  • [x] Use picocli
• silverchain.diagram
  • Use learnlib.automatalib?
• silverchain.generator
  • [ ] AST-based code generation
• silverchain.javadoc
• silverchain.parser
  • [ ] Remove hand-written AST classes
• silverchain.validator
  • [x] Merge JavaValidator & Validator
  • [x] Remove validations that can be checked with Java compiler
• silverchain.warning
• silverchain