AutoDev@1.7.2

DevIn Language

In issue #101, to better interactive with LLM, and also handle @, /, #, $ and ! completion better, we introduce a new language: DevIn.

Code: DevIns Language

Based on: JetBrains’ Markdown Util

Design

• / Builtin Command, natural language command with IDE/editor, like read file, write file, etc.
• @ Agent, natural language custom function / system function name, the handler or command,
• $ Variable, natural language variable name, like file name, file content, etc.
• # Third-party system API for traditional, like #kanban:afd, #issue:233, #github:111, etc.

Language spec

DevInFile ::= (used | code | TEXT_SEGMENT | NEWLINE)*

used ::= (
    AGENT_START AGENT_ID
    | COMMAND_START COMMAND_ID (COLON COMMAND_PROP?)?
    | VARIABLE_START VARIABLE_ID
    | SYSTEM_START SYSTEM_ID
)

code ::=  CODE_BLOCK_START LANGUAGE_ID? NEWLINE? code_contents? CODE_BLOCK_END?

code_contents ::= (NEWLINE | CODE_CONTENT)*