902dc945fd
grammar: Add apply to control declaration
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-20 02:27:36 -04:00
6cb28bc873
grammar: Add exit statement
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-20 02:27:08 -04:00
fa1f694d76
grammar: Hide the return keyword in the grammar
...
And, add a grammar test for the return keyword.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-20 02:25:28 -04:00
23e0bf5de3
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-16 06:59:50 -04:00
82c125e4d1
compiler, runtime, common: Support (in)out Parameters
...
When a function is called, if there is an (in)out parameter,
make sure that updated values are propogated to the calling
function.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-16 06:58:45 -04:00
94086c8e17
compiler, runtime, common, documentation: Refactor Type System
...
The type system (and the value system) now include attributes
for each type (things like direction, const-ness).
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-14 20:25:11 -04:00
35b2537754
compiler, runtime, common, testing: Support Directions on Parameters and Attributed Types
...
Add support for directions on parameters and attributed types. The
latter is necessary to support the former, but is not limited to
the direction use case. An attributed type is a P4 type with attributes
(like its direction, whether it is read only, etc.) Other attributes
will be added in the future.
Changes necessary to support attributed types include:
1. Global instances tracked during compilation are not attributed
types and not simply types.
2. (future) Type checking will have to make sure that a types
attributes do not affect type compatibility.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-13 06:25:08 -04:00
9669a99dfc
Documentation: README: Describe commit message headline format
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-13 06:23:23 -04:00
fcb3b4e304
Grammar: parameter_list: Refactor and Add Tests
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-13 04:58:43 -04:00
b687454389
Refactor Expected Types During Compilation
...
By adding an expected type to the compilation context, it is
now possible for type checking to occur on keyset expressions
and return statements at the moment that they are being compiled.
Previously, it was necessary to tentatively compile them and then
typecheck afterward.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-10 00:59:11 -04:00
ad7e5a6f6d
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-09 23:17:18 -04:00
d39127ac17
Support Function Calls
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-09 23:16:27 -04:00
708f65a0a9
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-06 08:50:20 -04:00
68ee5b1067
P4Lang/Program/InstancesWithTypes and TypesWithTypes
...
Add helper functions to fetch globally instantiated/declared
parser/controls (etc) and types in a user's P4 program.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-06 08:49:35 -04:00
29dfa62472
Start Handling Control Blocks
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-06 08:49:28 -04:00
443b21b890
Initial Work on Compiling Function Declarations
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-02 02:49:04 -04:00
fc0276ad42
Support Parsing Function Declarations
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-02 02:48:43 -04:00
07f1943611
Fix Warnings In Tests
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-02 01:30:33 -04:00
d971aab1fe
Support Calling Parsers With Parameters
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-02 01:28:43 -04:00
7cdbee1999
Refactor Parser For Parameter Lists
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-04-02 01:28:27 -04:00
8962235aca
Support Parameters For Parsers
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-30 07:57:41 -04:00
744c375c5f
Add Select Expression Ordering Test
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-30 05:18:36 -04:00
8299d76285
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-30 05:18:11 -04:00
3b9c3a7076
Add Select Expression Tests
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-30 05:18:00 -04:00
7c9ecc2438
Refactor Parser States
...
Refactor the class hierarchy for parser states so that
there is a parser state that acts more like a type and
one that acts more like a value (the latter, then, serves
as the base class for the other instantiated parser states).
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-30 05:16:48 -04:00
fda9858680
Update README
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-27 03:57:36 -04:00
4d787394cd
Fix Bug In Struct Field Initialization
...
Fields were not given default values when a struct was declared
without initializers.
Also, cleanup code in the helper function for binary operations
on struct instances.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-27 03:54:44 -04:00
cd26d1d22c
Parse Struct Declarations
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-27 03:33:15 -04:00
5abaac2816
Add Some Coding Style Guidelines
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-27 01:42:25 -04:00
99804e3053
Better Support For Keysets
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-27 01:36:38 -04:00
fafc80553e
Support Binary Math Operators
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-26 23:48:39 -04:00
12ec6a77ed
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-23 12:48:52 -04:00
c410c48b38
Update .gitignore
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-23 07:56:37 -04:00
0d1a0b11df
Add Binary Operator and Grouping (in Expressions) Tests
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-23 07:55:37 -04:00
2861a82777
Implement Binary Operators and Grouping (in Expressions)
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-23 07:55:11 -04:00
7c35b2b6e5
Binary Operators (and Grouping in Expressions)
...
Add support for <, <=, >, >=, && and ||.
Also, add support for grouping (with ( and )) in expressions.
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-23 07:53:41 -04:00
6ff7c5175d
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:30:07 -04:00
aac007f1f2
Allow Declaring Instances of Structs
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:29:44 -04:00
f0d816b99f
Refactor Names of Scope Types
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:29:44 -04:00
6a9a138afe
Add Defaults For All Types
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:29:44 -04:00
0aef385afc
Refactor Tests
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:29:44 -04:00
04627f20e2
Support Setting Arrays/Fields
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-20 04:29:37 -04:00
d7696e822c
Update README.md
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-16 08:37:17 -04:00
2fd5ecf8d6
Work On Derived Types
...
1. Add support for field access
2. Add support for proper type checking of array access
3. Add tests for nested field and array access
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-16 08:31:16 -04:00
8ee20fcf9f
Add Support For Parsing Struct Field Access
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-16 08:30:57 -04:00
75f9f68349
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-13 09:45:43 -04:00
0b4db34177
Initial Array Access Implementation
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-13 09:45:03 -04:00
1982fda677
Array Identifier Should Be Expression
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-13 09:40:45 -04:00
4c63e7f92a
Make Formatter Happy
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-13 08:27:41 -04:00
d323434787
Begin Implementation of Binary Operator Support
...
Signed-off-by: Will Hawkins <hawkinsw@obs.cr >
2026-03-13 08:26:47 -04:00
Will Hawkins