-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
c16b27e
commit c9f40aa
Showing
9 changed files
with
167 additions
and
146 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,112 @@ | ||
| /* | ||
| * Copyright (c) Mike Lischke. All rights reserved. | ||
| * Licensed under the MIT License. See License.txt in the project root for license information. | ||
| */ | ||
|
|
||
| // cspell: ignore blech | ||
|
|
||
| import { describe, it } from "vitest"; | ||
|
|
||
| import { ST } from "stringtemplate4ts"; | ||
|
|
||
| import { ErrorType } from "../src/tool/ErrorType.js"; | ||
| import { ToolTestUtils } from "./ToolTestUtils.js"; | ||
|
|
||
| describe("TestBasicSemanticErrors", () => { | ||
| const grammarU = [ | ||
| // INPUT | ||
| "parser grammar U;\n" + | ||
| "options { foo=bar; k=3;}\n" + | ||
| "tokens {\n" + | ||
| " ID,\n" + | ||
| " f,\n" + | ||
| " S\n" + | ||
| "}\n" + | ||
| "tokens { A }\n" + | ||
| "options { x=y; }\n" + | ||
| "\n" + | ||
| "a\n" + | ||
| "options { blech=bar; greedy=true; }\n" + | ||
| " : ID\n" + | ||
| " ;\n" + | ||
| "b : ( options { ick=bar; greedy=true; } : ID )+ ;\n" + | ||
| "c : ID<blue> ID<x=y> ;", | ||
|
|
||
| // YIELDS | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:2:10: unsupported option foo\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:2:19: unsupported option k\n" + | ||
| "error(" + ErrorType.TOKEN_NAMES_MUST_START_UPPER.code + "): U.g4:5:8: token names must start with an " + | ||
| "uppercase letter: f\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:9:10: unsupported option x\n" + | ||
| "error(" + ErrorType.REPEATED_PREQUEL.code + "): U.g4:9:0: repeated grammar prequel spec (options, tokens," + | ||
| " or import); please merge\n" + | ||
| "error(" + ErrorType.REPEATED_PREQUEL.code + "): U.g4:8:0: repeated grammar prequel spec (options, tokens, " + | ||
| "or import); please merge\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:12:10: unsupported option blech\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:12:21: unsupported option greedy\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:15:16: unsupported option ick\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:15:25: unsupported option greedy\n" + | ||
| "warning(" + ErrorType.ILLEGAL_OPTION.code + "): U.g4:16:16: unsupported option x\n", | ||
| ]; | ||
|
|
||
| it("testU", (): void => { | ||
| ToolTestUtils.testErrors(grammarU, true); | ||
| }); | ||
|
|
||
| /** | ||
| * Regression test for #25 "Don't allow labels on not token set subrules". | ||
| * https://github.com/antlr/antlr4/issues/25 | ||
| */ | ||
| it("testIllegalNonSetLabel", (): void => { | ||
| const grammar = | ||
| "grammar T;\n" + | ||
| "ss : op=('=' | '+=' | expr) EOF;\n" + | ||
| "expr : '=' '=';\n" + | ||
| ""; | ||
|
|
||
| const expected = | ||
| "error(" + ErrorType.LABEL_BLOCK_NOT_A_SET.code + "): T.g4:2:5: label op assigned to a block which " + | ||
| "is not a set\n"; | ||
|
|
||
| ToolTestUtils.testErrors([grammar, expected], false); | ||
| }); | ||
|
|
||
| it("testArgumentRetvalLocalConflicts", (): void => { | ||
| const grammarTemplate = | ||
| "grammar T;\n" + | ||
| "ss<if(args)>[<args>]<endif> <if(retvals)>returns [<retvals>]<endif>\n" + | ||
| "<if(locals)>locals [<locals>]<endif>\n" + | ||
| " : <body> EOF;\n" + | ||
| "expr : '=';\n"; | ||
|
|
||
| const expected = | ||
| "error(" + ErrorType.ARG_CONFLICTS_WITH_RULE.code + "): T.g4:2:7: parameter expr conflicts with rule " + | ||
| "with same name\n" + | ||
| "error(" + ErrorType.RETVAL_CONFLICTS_WITH_RULE.code + "): T.g4:2:26: return value expr conflicts with " + | ||
| "rule with same name\n" + | ||
| "error(" + ErrorType.LOCAL_CONFLICTS_WITH_RULE.code + "): T.g4:3:12: local expr conflicts with rule " + | ||
| "with same name\n" + | ||
| "error(" + ErrorType.RETVAL_CONFLICTS_WITH_ARG.code + "): T.g4:2:26: return value expr conflicts with " + | ||
| "parameter with same name\n" + | ||
| "error(" + ErrorType.LOCAL_CONFLICTS_WITH_ARG.code + "): T.g4:3:12: local expr conflicts with parameter" + | ||
| " with same name\n" + | ||
| "error(" + ErrorType.LOCAL_CONFLICTS_WITH_RETVAL.code + "): T.g4:3:12: local expr conflicts with return" + | ||
| " value with same name\n" + | ||
| "error(" + ErrorType.LABEL_CONFLICTS_WITH_RULE.code + "): T.g4:4:4: label expr conflicts with rule with" + | ||
| " same name\n" + | ||
| "error(" + ErrorType.LABEL_CONFLICTS_WITH_ARG.code + "): T.g4:4:4: label expr conflicts with parameter" + | ||
| " with same name\n" + | ||
| "error(" + ErrorType.LABEL_CONFLICTS_WITH_RETVAL.code + "): T.g4:4:4: label expr conflicts with return" + | ||
| " value with same name\n" + | ||
| "error(" + ErrorType.LABEL_CONFLICTS_WITH_LOCAL.code + "): T.g4:4:4: label expr conflicts with local" + | ||
| " with same name\n"; | ||
|
|
||
| const grammarST = new ST(grammarTemplate); | ||
| grammarST.add("args", "int expr"); | ||
| grammarST.add("retvals", "int expr"); | ||
| grammarST.add("locals", "int expr"); | ||
| grammarST.add("body", "expr=expr"); | ||
| ToolTestUtils.testErrors([grammarST.render(), expected], false); | ||
| }); | ||
|
|
||
| }); |
Oops, something went wrong.