From 7a91dc973a23e34cee3843ca3793d5e0879d1c74 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 22 Oct 2023 22:36:25 +0100 Subject: Forbid leading zeroes in int literal --- .../compiler/parser/ParserIntLiteralTests.java | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/parser/ParserIntLiteralTests.java b/src/test/java/org/shedlang/compiler/parser/ParserIntLiteralTests.java index bc0dcad9..f4865e1c 100644 --- a/src/test/java/org/shedlang/compiler/parser/ParserIntLiteralTests.java +++ b/src/test/java/org/shedlang/compiler/parser/ParserIntLiteralTests.java @@ -2,13 +2,13 @@ package org.shedlang.compiler.parser; import org.junit.jupiter.api.Test; +import static org.junit.jupiter.api.Assertions.assertThrows; import static org.shedlang.compiler.ast.untyped.UntypedNodeMatchers.isUntypedIntLiteralNode; import static org.shedlang.compiler.parser.ParserTesting.parseString; import static org.zwobble.precisely.AssertThat.assertThat; public class ParserIntLiteralTests { // TODO: forbid negative zero? - // TODO: forbid leading zeroes? @Test public void canParseZero() { @@ -54,4 +54,24 @@ public class ParserIntLiteralTests { assertThat(node, isUntypedIntLiteralNode(-723)); } + + @Test + public void leadingZeroesOnPositiveNumberAreForbidden() { + var source = "01"; + + assertThrows( + IntLiteralCannotHaveLeadingZeroesError.class, + () -> parseString(source, Parser::parseTopLevelExpression) + ); + } + + @Test + public void leadingZeroesOnNegativeNumberAreForbidden() { + var source = "-01"; + + assertThrows( + IntLiteralCannotHaveLeadingZeroesError.class, + () -> parseString(source, Parser::parseTopLevelExpression) + ); + } } -- cgit v1.2.3