typecasts

Author: nathanielCherian

client/src/CashscriptHoverProvider.ts

@@ -22,7 +22,7 @@ class CashscriptHoverProvider implements vscode.HoverProvider{
 
 		// check special words
 
-		const varTypes = this.getVariableTypes(document, word);
+		const varTypes = this.getVariableTypes(document, word); // fix this
 		return new vscode.Hover(varTypes, range);
 	}
 
@@ -51,6 +51,9 @@ class CashscriptHoverProvider implements vscode.HoverProvider{
 		];
 	}
 
+	/*
+	* Very bad way to get type annotations, better option: custom linter
+	*/
 	getVariableTypes(document:vscode.TextDocument, targetWord:string):vscode.MarkdownString[]{
 		const reg = /([a-zA-Z0-9]+)\s+(pk)[^a-zA-Z0-9]/;
 		const text = document.getText();

client/src/CashscriptSignatureCompleter.ts

@@ -1,5 +1,5 @@
 import * as vscode from 'vscode';
-import { LANGUAGE } from './LanguageDesc';
+import { LANGUAGE, TYPECASTS } from './LanguageDesc';
 
 class CashscriptSignatureCompleter implements vscode.SignatureHelpProvider{
 
@@ -13,11 +13,11 @@ class CashscriptSignatureCompleter implements vscode.SignatureHelpProvider{
 
 		this.channel.appendLine("signature " + word);
 		const sh = new vscode.SignatureHelp();
-		const data = LANGUAGE[word];
+		const data = LANGUAGE[word] || TYPECASTS[word];
 		sh.signatures = [new vscode.SignatureInformation(data.codeDesc, new vscode.MarkdownString().appendCodeblock(data.code))];
 		//sh.signatures = this.SIG_DATA[word]; data
 		//sh.signatures = [new vscode.SignatureInformation("param here", "documentation here")]
-		return sh;
+		return sh;	
 	}
 
 }

client/src/LanguageDesc.ts

@@ -82,7 +82,13 @@ let STATEMENTS:Data = {
 	}
 }
 
+let TYPECASTS:Data = {
+	int:{
+		code:"int int( v )",
+		codeDesc:"Converts to int"
+	}
+}
 
 let LANGUAGE:Data = {...GLOBAL_FUNCTIONS, ...OUTPUT_INSTANTIATION, ...STATEMENTS};
 
-export { GLOBAL_FUNCTIONS, OUTPUT_INSTANTIATION, LANGUAGE };
+export { GLOBAL_FUNCTIONS, OUTPUT_INSTANTIATION, TYPECASTS, LANGUAGE };

client/testFixture/t.cash

@@ -1,8 +1,9 @@
 pragma cashscript ^0.6.0;
 
 contract ContractName() {
-    function test() {
-        require(true);
+    function test(pubkey pk) {
+        
+        require(hash160(pk) = true);
         string x = "asdasd";
     }
 }

client/testFixture/time.cash

@@ -0,0 +1,43 @@
+pragma cashscript ^0.6.0;
+
+// This is an experimental contract for a more "streaming" Mecenas experience
+// Completely untested, just a concept
+contract Mecenas(bytes4 initialBlock, int pledgePerBlock, bytes20 recipient, bytes20 funder) {
+    function receive(pubkey pk, sig s, int pledge) {
+        require(checkSig(s, pk));
+
+        int initial = int(initialBlock);
+        require(tx.time >= initial);
+
+        // Pledge amount calculation is done in client, verified in contract
+        // When OP_MUL is enabled this can be done in contract
+        // Double require to account for integer division
+        int passedBlocks = int(tx.locktime) - initial;
+        require(pledge / passedBlocks == pledgePerBlock);
+        require((pledge - 1) / passedBlocks != pledgePerBlock);
+
+        // Cut out old initialBlock (PUSH1 0x04 <inheritor>)
+        // Insert new initialBlock (PUSH1 0x04 <newInheritor>)
+        bytes newContract = 0x4c04 + tx.locktime + tx.bytecode.split(6)[1];
+
+        int minerFee = 1000; // hardcoded fee
+        int intValue = int(bytes(tx.value));
+
+        if (intValue <= pledge + minerFee) {
+            bytes8 amount1 = bytes8(intValue - minerFee);
+            bytes34 out1 = new OutputP2PKH(amount1, recipient);
+            require(hash256(out1) == tx.hashOutputs);
+        } else {
+            bytes8 amount1 = bytes8(pledge);
+            bytes8 amount2 = bytes8(intValue - pledge - minerFee);
+            bytes34 out1 = new OutputP2PKH(amount1, recipient);
+            bytes32 out2 = new OutputP2SH(amount2, hash160(newContract));
+            require(hash256(out1 + out2) == tx.hashOutputs);
+        }
+    }
+
+    function reclaim(pubkey pk, sig s) {
+        require(hash160(pk) == funder);
+        require(checkSig(s, pk));
+    }
+}