xtc.lang.p2 |
This package contains P2 related language parsers and analyzers.
|
Java Source File Name | Type | Comment |
ConcurrencyAnalyzer.java | Class | A visitor to perform concurrency analysis on Overlog programs. |
Overlog.java | Class | The driver for processesing the Overlog language. |
Parser.java | Class | Packrat parser for grammar xtc.lang.p2.Overlog . |
Printer.java | Class | A pretty printer for the Overlog, adapted from
the simply typed lambda calculus pretty printer. |
TypeAnalyzer.java | Class | A visitor to type check Overlog programs. |