Merge pull request #1 from getgrit/migrate-to-ts-solidity

start migration

.grit/patterns/NestedLoop.md

@@ -25,31 +25,12 @@ contract HelloWorld {
     string public greet = "Hello World!";
 
     function foo(string memory _greet) public {
-        do {
+        while(other) {
             greet = foo(bar);
             while(foo) {
                 greet = foo(bar);
             }
-        } while (condition);
-    }
-}
-```
-
-```typescript
-// SPDX-License-Identifier: MIT
-// compiler version must be greater than or equal to 0.8.13 and less than 0.9.0
-pragma solidity ^0.8.9;
-
-contract HelloWorld {
-    string public greet = "Hello World!";
-
-    function foo(string memory _greet) public {
-        do {
-            greet = foo(bar);
-            while(foo) {
-                greet = foo(bar);
-            }
-        } while (condition);
+        }
     }
 }
 ```

.grit/patterns/UpgradableProxyPattern.md

@@ -10,7 +10,7 @@ tags: #reentrancy, #vulnerability
 
 ```grit
 
-ContractDefinition(_, $inherited, _, _, "contract", _, _, _, _, _, _, _, _, []) where {
+sol_contract_declaration(body = $inherited) where {
   $inherited <: contains or { "Proxy", "ERC1967Upgrade", "TransparentUpgradeableProxy", "UUPSUpgradeable" }
 }
 

.grit/patterns/common.grit

@@ -0,0 +1,13 @@
+pattern Loop($body) = bubble($body) orelse {
+  `while($_) { $body }`
+  `for ($_; $_; $_) { $body }`
+}
+
+pattern EtherTransfer($amount) = bubble($amount) or {
+    `$sender.call{value: $amount}($_)`
+    `$sender.call.value($amount)($_)`
+    `$call($amount)` where {
+        $call <: `$address.$functionName`
+        $functionName <: r".*transfer.*"
+    }
+}