e4b5588327
The compiler passes are now split into three stages:
* check -- passes that check for various error conditions
* transform -- passes that transform the AST (e.g. to perform
optimizations)
* generate -- passes that are related to code generation
Splitting the passes into stages is important for plugins. For example,
if a plugin wants to add a new optimization pass, it can add it at the
end of the "transform" stage without any knowledge about other passes it
contains. Similarly, if it wants to generate something else than the
default code generator does from the AST, it can just replace all passes
in the "generate" stage by its own one(s).
More generally, the stages make it possible to write plugins that do not
depend on names and actions of specific passes (which I consider
internal and subject of change), just on the definition of stages (which
I consider a public API with to which semver rules apply).
Implements part of GH-106.
97 lines
3 KiB
JavaScript
97 lines
3 KiB
JavaScript
describe("compiler pass |reportLeftRecursion|", function() {
|
|
var pass = PEG.compiler.passes.check.reportLeftRecursion;
|
|
|
|
beforeEach(function() {
|
|
this.addMatchers({
|
|
toReportLeftRecursionIn: function(grammar) {
|
|
var ast = PEG.parser.parse(grammar);
|
|
|
|
try {
|
|
this.actual(ast);
|
|
|
|
this.message = function() {
|
|
return "Expected the pass to report left recursion for grammar "
|
|
+ jasmine.pp(grammar) + ", "
|
|
+ "but it didn't.";
|
|
};
|
|
|
|
return false;
|
|
} catch (e) {
|
|
if (this.isNot) {
|
|
this.message = function() {
|
|
return "Expected the pass not to report left recursion for grammar "
|
|
+ jasmine.pp(grammar) + ", "
|
|
+ "but it did.";
|
|
};
|
|
} else {
|
|
this.message = function() {
|
|
return "Expected the pass to report left recursion for grammar "
|
|
+ jasmine.pp(grammar) + ", "
|
|
+ "but it reported an error with message "
|
|
+ jasmine.pp(e.message) + ".";
|
|
};
|
|
}
|
|
|
|
return e.message === 'Left recursion detected for rule \"start\".';
|
|
}
|
|
}
|
|
});
|
|
});
|
|
|
|
it("reports left recursion inside a rule", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start');
|
|
});
|
|
|
|
it("reports left recursion inside a named", function() {
|
|
expect(pass).toReportLeftRecursionIn('start "start" = start');
|
|
});
|
|
|
|
it("reports left recursion inside a choice", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start / "a" / "b"');
|
|
expect(pass).toReportLeftRecursionIn('start = "a" / "b" / start');
|
|
});
|
|
|
|
it("reports left recursion inside an action", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start { }');
|
|
});
|
|
|
|
it("reports left recursion inside a sequence", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start "a" "b"');
|
|
});
|
|
|
|
it("reports left recursion inside a labeled", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = label:start');
|
|
});
|
|
|
|
it("reports left recursion inside a text", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = $start');
|
|
});
|
|
|
|
it("reports left recursion inside a simple and", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = &start');
|
|
});
|
|
|
|
it("reports left recursion inside a simple not", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = &start');
|
|
});
|
|
|
|
it("reports left recursion inside an optional", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start?');
|
|
});
|
|
|
|
it("reports left recursion inside a zero or more", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start*');
|
|
});
|
|
|
|
it("reports left recursion inside a one or more", function() {
|
|
expect(pass).toReportLeftRecursionIn('start = start+');
|
|
});
|
|
|
|
it("reports indirect left recursion", function() {
|
|
expect(pass).toReportLeftRecursionIn([
|
|
'start = stop',
|
|
'stop = start'
|
|
].join("\n"));
|
|
});
|
|
});
|