Skip to content

Commit 3c80d04

Browse files
Fix tests.
1 parent afe0766 commit 3c80d04

File tree

3 files changed

+4
-8
lines changed

3 files changed

+4
-8
lines changed

Nitra/Nitra.Grammar/NitraSyntax.nitra

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1883,7 +1883,7 @@ syntax module NitraSyntax : NitraLang
18831883
if (RuleMethodBody.IsEmpty())
18841884
{
18851885
unless (ruleSymbol is ExtensibleRuleSymbol)
1886-
compilerMessages.Error(this, "An abstract rule method must be defined in an extension point rule only.");
1886+
compilerMessages.Error(this, "An abstract rule method must be defined in an extensible rule only.");
18871887
RuleMethod.ParsedAbstractSymbol(this)
18881888
}
18891889
else

Tests/!Negative/RestrictedNames.nitra

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
{
77
| A = "a"
88
{
9-
private GetHashCode() : int = 0; //E:Name 'GetHashCode' is restricted due to internal use
9+
GetHashCode() : int = 0; //E:Name 'GetHashCode' is restricted due to internal use
1010
}
1111

1212
| B = Location="b" //E:Name 'Location' is restricted due to internal use

Tests/!Negative/RuleMethod-1.nitra

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,18 +4,14 @@
44

55
syntax X = "x"
66
{
7-
private Field1() : int; //E:A private rule method must have a body
8-
9-
Field2() : int; //E:An abstract rule method must be defined in an extension point rule only
7+
Field2() : int; //E:An abstract rule method must be defined in an extensible rule only
108
}
119

1210
syntax Y
1311
{
14-
private Field1() : int; //E:A private rule method can be declared only in simple rules and extension rules
15-
1612
| Z = "z"
1713
{
18-
Field2() : int = 0; //E:A public rule method must be defined in an extension point rule or a simple rule only
14+
Field2() : int; //E:An abstract rule method must be defined in an extensible rule only
1915
}
2016
}
2117
}

0 commit comments

Comments
 (0)