bpeetz
/
trinitrix
forked from trinitrix/core
1
0
Fork 0
Code Pull Requests Activity
trinitrix/trixy/trixy-lang_parser/docs/grammar.ebnf

33 lines
1.1 KiB
EBNF
Raw Normal View History

feat(trixy-lang_parser): Add first parser pass
2023-12-18 17:04:21 +00:00
# (*
# Trixy is fully whitespace independent, this means that you can
# interleave whitespace in the definitions.
# The same applies to comments:
# - Line comments (`// \n`) and
# - Block comments (`/* */`).
# *)
feat(trixy-lang_parser): Add support for doc comments Parsing right now works by simply comparing the input string: ``` "/" -> <comment_tokenizer> -> "/" -> <normal_comment> |-> "//" -> <doc_comment> ``` A better method to do this though would be to turn "//" and "///" into keywords and simply leave the parsing to the parser module not the tokenizer.
2023-12-22 19:32:43 +00:00
CommandSpec = {Function | Namespace | Enumeration | Structure } ;
Function = {DocComment} "fn" Identifier "(" [NamedType {"," NamedType }] ")" [ "->" Type ] ";" ;
Namespace = {DocComment} "nasp" Identifier "{" {Function | Namespace | Enumeration | Structure} "}" ;
Structure = {DocComment} "struct" Identifier "{" [DocNamedType {"," DocNamedType } [","]] "}" ";";
Enumeration = {DocComment} "enum" Identifier "{" [DocIdentifier {"," DocIdentifier} [","]] "}" ";";
Type = Identifier ["<" Type {"," Type} ">"];
feat(trixy-lang_parser): Add support for Type This includes rust like generic types like: ``` Option<T> Result<T, E> ```
2023-12-19 16:27:13 +00:00
Identifier = (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ;
feat(trixy-lang_parser): Add support for doc comments Parsing right now works by simply comparing the input string: ``` "/" -> <comment_tokenizer> -> "/" -> <normal_comment> |-> "//" -> <doc_comment> ``` A better method to do this though would be to turn "//" and "///" into keywords and simply leave the parsing to the parser module not the tokenizer.
2023-12-22 19:32:43 +00:00
DocIdentifier = {DocComment} (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ;
feat(trixy-lang_parser): Add support for structs and enums
2023-12-18 19:50:58 +00:00
NamedType = Identifier ":" Type;
feat(trixy-lang_parser): Add support for doc comments Parsing right now works by simply comparing the input string: ``` "/" -> <comment_tokenizer> -> "/" -> <normal_comment> |-> "//" -> <doc_comment> ``` A better method to do this though would be to turn "//" and "///" into keywords and simply leave the parsing to the parser module not the tokenizer.
2023-12-22 19:32:43 +00:00
DocNamedType = {DocComment} Identifier ":" Type;
DocComment = "///" {ANYTHING} LineEnding;
Comment = "//" [ NOT ("/" {ANYTHING} LineEnding) | "//"] {ANYTHING} LineEnding;
LineEnding = "\\n" | "\\r" | "\\r\\n";
feat(trixy-lang_parser): Add first parser pass
2023-12-18 17:04:21 +00:00
# (*
# vim: ft=ebnf
# *)