hawkinsw/gp4
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add Tree Sitter Tests for Annotations (And General Test Updates)

Browse Source 
Update Tests

Signed-off-by: Will Hawkins <hawkinsw@obs.cr>
This commit is contained in:
Will Hawkins
2026-03-10 05:41:28 -04:00
parent 4269104379
commit 4e9927c601
3 changed files with 104 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tree-sitter-p4/grammar.js
+2 -2
View File
@@ -56,7 +56,7 @@ export default grammar({
annotations: $ => repeat1($.annotation),
//annotation: $ => choice(seq('@', "[a-z]+"), seq('@', "[a-z]+", '(', $.annotationBody, ')'), seq('@', "[a-z]+", '[', $.structuredAnnotationBody, ']')),
annotation: $ => choice(seq('@', "[a-z]+")),// seq('@', "[a-z]+", '(', /* empty for now*/ ')'), seq('@', "[a-z]+", '[', /* empty for now */ ']')),
annotation: $ => choice($.annotation_literal), // seq('@', "[a-z]+", '(', /* empty for now*/ ')'), seq('@', "[a-z]+", '[', /* empty for now */ ']')),
// Instantiation
@@ -146,7 +146,7 @@ export default grammar({
type_identifier: $ => /[a-z]+/,
string_literal: $ => /".*"/,
integer: $ => /[0-9]+/,
annotation_literal: $ => /@[a-z_]+/,
},
}
);
tree-sitter-p4/test/corpus/annotations.txt
+101
View File
@@ -0,0 +1,101 @@
=========================
Simple Annotated Declaration
=========================
@testing parser simple() {
state start {
bool l;
transition accept;
}
};
---
(p4program
(declaration
(parserDeclaration
(parserType
(annotations
(annotation
(annotation_literal)
)
)
(parser)
(identifier)
)
(parserStates
(parserState
(state)
(identifier)
(parserStatements
(parserStatement
(variableDeclaration
(typeRef
(baseType
(bool)
)
)
(identifier)
)
)
)
(parserTransitionStatement
(transition)
(transitionSelectionExpression
(identifier)
)
)
)
)
)
)
)
=========================
Simple Annotated State
=========================
parser simple() {
@testing state start {
bool l;
transition accept;
}
};
---
(p4program
(declaration
(parserDeclaration
(parserType
(parser)
(identifier)
)
(parserStates
(parserState
(annotations
(annotation
(annotation_literal)
)
)
(state)
(identifier)
(parserStatements
(parserStatement
(variableDeclaration
(typeRef
(baseType
(bool)
)
)
(identifier)
)
)
)
(parserTransitionStatement
(transition)
(transitionSelectionExpression
(identifier)
)
)
)
)
)
)
)