P4CE¹ is a P4 parser and runtime written in Swift that supports an evolved version of P4.

Coming soon.

Very, very alpha:

1. Limited parts of the language can be parsed.
2. Limited programs can be evaluated.

As an example of what can be parsed and evaluated, here is a fairly complex P4 program cobbled together from our unit tests:

control simple(bool x, bool y) {
  action a(int z) {
    z = false;
  }
  table t {
    key = {
      x: exact;
      y: exact;
    }
  }
};
struct Testing {
  bool yesno;
  int count;
};
parser main_parser() {
  state start {
    Testing ts;
    ts.count = 1;
    transition select (ts.count) {
      0: accept;
      _: reject;
    };
  }
};

Please check back often!

This project uses code item macros (CodeItemMacros) which are an experimental feature in Swift and not available in production.

Therefore, to compile this project, you must be using a non-production version of the compiler.

With that caveat noted, building can be done with swift build:

$ swift build

We would love your help! Contributions are very welcome!

Here are the style guidelines that we are trying to maintain:

• variables are in snake_case.
• types are in CamelCase.

Of course, we want to follow the formatter, too: see below.

We will try to maintain the following headline format for commit messages:

<component>: <subcomponent>: <change>

where <component> is one of:

1. grammar: For the tree-sitter-based grammar.
2. compiler: For the Swift-based P4 compiler of tree-sitter-based-parser parsed programs into AST.
3. runtime: For the Swift-based P4 interpreter.
4. common: For any Swift-based components common to the entire project (and macros).
5. documentation: For any documentation updates.
6. testing: For Swift-based tests.
7. cli: For Cli components.

where <subcomponent> can be more free-form and <change> is a pithy description of the changes in the commit.

While coding, it may be useful to leave ourselves notes. Every note is formatted like:

/// NOTE<: optional note text>

where NOTE can be:

1. TODO: Remind us TODO something.
2. ASSUME: Remind us that we are making an assumption.
3. NB: Remind us that we need to remember something when reading this code.

To run the P4RSE tests:

$ swift test

To run the parser tests, from the tree-sitter-p4 directory:

$ npx tree-sitter test

To build the documentation:

$ swift package generate-documentation

To preview the generated documentation:

$ swift package swift package --disable-sandbox preview-documentation  --target <some target>

For more information, see the documentation for the Swift-DocC plugin.

To check the format:

$ swift-format --recursive -i Sources/