Add tests

ethereum · Dec 3, 2024 · 2579486 · 2579486
1 parent 6e9257f
commit 2579486
Show file tree

Hide file tree

Showing 14 changed files with 53 additions and 0 deletions.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/at_before_layout.sol b/test/libsolidity/syntaxTests/contractBaseLocation/at_before_layout.sol
@@ -0,0 +1,3 @@
+contract C at layout 0x1234ABC { }
+// ----
+// ParserError 2314: (11-13): Expected '{' but got identifier
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/contract_named_at.sol b/test/libsolidity/syntaxTests/contractBaseLocation/contract_named_at.sol
@@ -0,0 +1,2 @@
+contract at layout at 0x1234ABC { }
+// ----
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/contract_named_layout.sol b/test/libsolidity/syntaxTests/contractBaseLocation/contract_named_layout.sol
@@ -0,0 +1,2 @@
+contract layout layout at 0x1234ABC { }
+// ----
diff --git a/...ibsolidity/syntaxTests/contractBaseLocation/contract_with_members_named_layout_and_at.sol b/...ibsolidity/syntaxTests/contractBaseLocation/contract_with_members_named_layout_and_at.sol
@@ -0,0 +1,5 @@
+contract C layout at 0x1234 {
+    uint layout;
+    function at() public pure { }
+}
+// ----
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/duplicated_layout_definition.sol b/test/libsolidity/syntaxTests/contractBaseLocation/duplicated_layout_definition.sol
@@ -0,0 +1,3 @@
+contract C layout at 0x1234 is A, B layout at 0xABC { }
+// ----
+// ParserError 8714: (36-42): Storage base location was already defined previously.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/duplicated_layout_keyword.sol b/test/libsolidity/syntaxTests/contractBaseLocation/duplicated_layout_keyword.sol
@@ -0,0 +1,4 @@
+contract C layout layout at 0x1234ABC { }
+// ----
+// ParserError 1994: (18-24): Expected 'at' but got identifier
+// ParserError 2314: (28-37): Expected '{' but got 'Number'
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_binary_expression.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_binary_expression.sol
@@ -0,0 +1,2 @@
+contract C layout at 0xffff * (0x123 + 0xABC) { }
+// ----
diff --git a/...solidity/syntaxTests/contractBaseLocation/layout_specification_constant_in_expression.sol b/...solidity/syntaxTests/contractBaseLocation/layout_specification_constant_in_expression.sol
@@ -0,0 +1,3 @@
+uint constant X = 42;
+contract C layout at 0xffff * (50 - X) { }
+// ----
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_function_erc7201.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_function_erc7201.sol
@@ -0,0 +1,8 @@
+function erc7201(bytes memory id) pure returns (uint256) {
+    return uint256(
+        keccak256(bytes.concat(bytes32(uint256(keccak256(id)) - 1))) &
+        ~bytes32(uint256(0xff))
+    );
+}
+contract C layout at erc7201("C") { }
+// ----
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_no_expression.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_no_expression.sol
@@ -0,0 +1,3 @@
+contract C layout at { }
+// ----
+// ParserError 6933: (21-22): Expected primary expression.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_statement_without_at.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_statement_without_at.sol
@@ -0,0 +1,4 @@
+contract C layout { }
+// ----
+// ParserError 1994: (18-19): Expected 'at' but got '{'
+// ParserError 6933: (20-21): Expected primary expression.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_with_inheritance.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_with_inheritance.sol
@@ -0,0 +1,5 @@
+contract A { }
+contract B { }
+contract C is A, B layout at 0x1234 { }
+contract D layout at 0xABCD is A, B { }
+// ----
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/simple_layout.sol b/test/libsolidity/syntaxTests/contractBaseLocation/simple_layout.sol
@@ -0,0 +1,4 @@
+contract A layout at 0x1234 {}
+contract B layout at 1024 {}
+contract C layout at "C" {}
+// ----
diff --git a/test/libsolidity/syntaxTests/inheritance/duplicated_inheritance_definition.sol b/test/libsolidity/syntaxTests/inheritance/duplicated_inheritance_definition.sol
@@ -0,0 +1,5 @@
+contract A {}
+contract B {}
+contract C is A is B{ }
+// ----
+// ParserError 6668: (44-46): Base contracts were already defined previously.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		contract layout layout at 0x1234ABC { }
		// ----
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		contract C layout at 0xffff * (0x123 + 0xABC) { }
		// ----