Add Basic Static Syntax Checks about paninij HOT 4 CLOSED

One recent suggestion from Dr. Rajan, was to look into whether either the Dataflow Framework or the Checker Framework could be useful to us for this.

from paninij.

Though we might want some static checks which will need information from within procedure bodies, for the v0.1.0 milestone and this issue, we are only going to implement those checks which can be performed via the annotation processing interface (i.e. by inspecting capsule interfaces).

from paninij.

Note that as of commit 9544250, our checking infrastructure within org.paninij.proc.check does not crash a build when an error is found (i.e. when a check fails).

from paninij.

The first pass at the three primary kinds of checks has been added as of commit 730afc3.

• Capsule template checks.
• Signature template checks.
• Duckability checks.

from paninij.