You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
94 lines
2.8 KiB
JavaScript
94 lines
2.8 KiB
JavaScript
/* jshint jasmine:true */
|
|
/* global PEG */
|
|
|
|
"use strict";
|
|
|
|
describe("compiler pass |reportInfiniteLoops|", function() {
|
|
var pass = PEG.compiler.passes.check.reportInfiniteLoops;
|
|
|
|
it("reports infinite loops for zero_or_more", function() {
|
|
expect(pass).toReportError('start = ("")*', {
|
|
message: "Possible infinite loop detected.",
|
|
location: {
|
|
start: { offset: 8, line: 1, column: 9 },
|
|
end: { offset: 13, line: 1, column: 14 }
|
|
}
|
|
});
|
|
});
|
|
|
|
it("reports infinite loops for one_or_more", function() {
|
|
expect(pass).toReportError('start = ("")+', {
|
|
message: "Possible infinite loop detected.",
|
|
location: {
|
|
start: { offset: 8, line: 1, column: 9 },
|
|
end: { offset: 13, line: 1, column: 14 }
|
|
}
|
|
});
|
|
});
|
|
|
|
it("computes expressions that always consume input on success correctly", function() {
|
|
expect(pass).toReportError([
|
|
'start = a*',
|
|
'a "a" = ""'
|
|
].join('\n'));
|
|
expect(pass).not.toReportError([
|
|
'start = a*',
|
|
'a "a" = "a"'
|
|
].join('\n'));
|
|
|
|
expect(pass).toReportError('start = ("" / "a" / "b")*');
|
|
expect(pass).toReportError('start = ("a" / "" / "b")*');
|
|
expect(pass).toReportError('start = ("a" / "b" / "")*');
|
|
expect(pass).not.toReportError('start = ("a" / "b" / "c")*');
|
|
|
|
expect(pass).toReportError('start = ("" { })*');
|
|
expect(pass).not.toReportError('start = ("a" { })*');
|
|
|
|
expect(pass).toReportError('start = ("" "" "")*');
|
|
expect(pass).not.toReportError('start = ("a" "" "")*');
|
|
expect(pass).not.toReportError('start = ("" "a" "")*');
|
|
expect(pass).not.toReportError('start = ("" "" "a")*');
|
|
|
|
expect(pass).toReportError('start = (a:"")*');
|
|
expect(pass).not.toReportError('start = (a:"a")*');
|
|
|
|
expect(pass).toReportError('start = ($"")*');
|
|
expect(pass).not.toReportError('start = ($"a")*');
|
|
|
|
expect(pass).toReportError('start = (&"")*');
|
|
expect(pass).toReportError('start = (&"a")*');
|
|
|
|
expect(pass).toReportError('start = (!"")*');
|
|
expect(pass).toReportError('start = (!"a")*');
|
|
|
|
expect(pass).toReportError('start = (""?)*');
|
|
expect(pass).toReportError('start = ("a"?)*');
|
|
|
|
expect(pass).toReportError('start = (""*)*');
|
|
expect(pass).toReportError('start = ("a"*)*');
|
|
|
|
expect(pass).toReportError('start = (""+)*');
|
|
expect(pass).not.toReportError('start = ("a"+)*');
|
|
|
|
expect(pass).toReportError('start = (&{ })*');
|
|
|
|
expect(pass).toReportError('start = (!{ })*');
|
|
|
|
expect(pass).toReportError([
|
|
'start = a*',
|
|
'a = ""'
|
|
].join('\n'));
|
|
expect(pass).not.toReportError([
|
|
'start = a*',
|
|
'a = "a"'
|
|
].join('\n'));
|
|
|
|
expect(pass).toReportError('start = ""*');
|
|
expect(pass).not.toReportError('start = "a"*');
|
|
|
|
expect(pass).not.toReportError('start = [a-d]*');
|
|
|
|
expect(pass).not.toReportError('start = .*');
|
|
});
|
|
});
|