Skip to content

Commit

Permalink
feat(docs): rename DevIn Input Language to DevIn Agent Language #101
Browse files Browse the repository at this point in the history
The file `docs/development/devin-input-language.md` has been renamed to `docs/development/devin-agent-language.md` to better reflect the content and purpose of the document. The title has been changed accordingly, and the language specification has been updated to clarify the use of the `#` symbol for referencing third-party system APIs. Additionally, a new section on case design with an example of AutoCRUD has been added to provide more detailed examples of how the DevIn Agent Language can be used in practice.
  • Loading branch information
phodal committed Mar 15, 2024
1 parent 61856e2 commit 4b504a8
Showing 1 changed file with 25 additions and 2 deletions.
@@ -1,6 +1,6 @@
---
layout: default
title: DevIn Input Language
title: DevIn Agent Language
nav_order: 4
parent: Development
---
Expand All @@ -22,7 +22,7 @@ Based on: [JetBrains' Markdown Util](https://github.com/JetBrains/intellij-commu
- `/` 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.
- '#' 3rd party API, like `#kanban`, `#maven`, `#gradle`, etc.
- `#` Third-party system API for traditional, like `#kanban`, `#issue`, `#github`, etc.

## Language spec

Expand All @@ -33,10 +33,33 @@ 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)*
```

## Case Design

### AutoCRUD

```devin
@create /file:src/main/java/com/example/Controller.java
```

```devin
/file:regex("*.Controller")
```typescript jsx
```
/edit /file:src/main/java/com/example/Controller.java#L1-L12
\`\`\`java
public class Controller {
public void method() {
System.out.println("Hello, World!");
}
}
\`\`\`
```

0 comments on commit 4b504a8

Please sign in to comment.