@helios-lang/contract-utils 0.1.20 → 0.1.24

package/examples/multi-validator/README.md

@@ -0,0 +1,13 @@
+# Codegen multi policy
+
+Run `npx hl2ts` to generate Javascript/Typescript equivalents of the `spending.hl` and `minting.hl` validators.
+
+Then have a look at `contract.js` to see how these validators can be used within Javascript/Typescript in a type-safe way (ideally using VSCode so you can hover over the types).
+
+# Installing compilers
+
+If you want to use an older version of Helios (under the @hyperionbt org), you can use the following command.
+
+```
+npm install --save-exact @helios-lang/compiler:npm@hyperionbt/helios@<version>
+```

package/examples/multi-validator/contract.js

@@ -0,0 +1,28 @@
+import { ContractContextBuilder } from "@helios-lang/contract-utils"
+import { Address, AssetClass, TxBuilder } from "@helios-lang/ledger"
+import { match_string, match_string_policy } from "./index.js"
+
+export function createApp() {
+    const context = ContractContextBuilder.new()
+        .with(match_string)
+        .with(match_string_policy)
+        .build({
+            match_string_policy:
+                "f7c8a87011f1aec5967dd3cd68b7a2c26135d750867bfd957b4d8967" // expected hash for match_string_policy
+        })
+
+    console.log(context.match_string_policy.toHex())
+
+    const assetClass = new AssetClass(context.match_string_policy, [])
+
+    const address = Address.fromHash(context.match_string)
+
+    let b = new TxBuilder().mint(assetClass, 10, true)
+
+    let c = b
+        .pay(address, 1_000_000n, { hash: { One: { message: "hello" } } })
+        // Types from Helios are propagated into Typescript, allowing typesafe conversion of Datums
+        .pay(address, 2_000_000n, { hash: { Two: { code: "hello" } } })
+}
+
+createApp()

package/examples/{spending → multi-validator}/index.d.ts

@@ -1,5 +1,5 @@
 import type {UplcData} from "@helios-lang/ledger";
-import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from "@helios-lang/ledger";
+import { Address, AssetClass, DatumHash, MintingPolicyHash, PubKey, PubKeyHash, SpendingCredential, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value } from "@helios-lang/ledger";
 import { Cast } from "@helios-lang/contract-utils";
 export const utils: {
     $name: string
@@ -14,7 +14,7 @@ export const match_string_policy: {
     $dependencies: []
     $hashDependencies: []
     $dependsOnOwnHash: boolean
-    $Redeemer: Cast<string, string>
+    $Redeemer: Cast<boolean, boolean>
     
 }
 export const match_string: {
@@ -22,7 +22,7 @@ export const match_string: {
     $purpose: "spending"
     $sourceCode: string
     $dependencies: [typeof utils]
-    $hashDependencies: []
+    $hashDependencies: [typeof match_string_policy]
     $dependsOnOwnHash: boolean
     $Redeemer: Cast<string, string>
     $Datum: Cast<{One: {message: string}} | {Two: {code: bigint}}, {One: {message: string}} | {Two: {code: bigint | number | string}}>

package/examples/multi-validator/index.js

@@ -0,0 +1,27 @@
+import { Cast } from "@helios-lang/contract-utils";
+export const utils = {
+    $name: "utils",
+    $purpose: "module",
+    $sourceCode: "module utils\n\nconst my_assetclass: AssetClass = AssetClass::new(Scripts::match_string_policy, #)\n\nconst my_hash: ValidatorHash = Scripts::match_string\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
+    $dependencies: [],
+}
+export const match_string_policy = {
+    $name: "match_string_policy",
+    $purpose: "minting",
+    $sourceCode: "minting match_string_policy\n\nfunc main(redeemer: Bool, _) -> Bool {\n    redeemer\n}",
+    $dependencies: [],
+    $hashDependencies: [],
+    $dependsOnOwnHash: false,
+    $Redeemer: new Cast({"primitiveType":"Bool"}),
+    
+}
+export const match_string = {
+    $name: "match_string",
+    $purpose: "spending",
+    $sourceCode: "spending match_string\n\nimport { compare, my_assetclass } from utils\n\nenum Datum {\n One {\n  message: String\n }\n\n Two {\n  code: Int\n }\n}\n\nfunc main(datum: Datum, redeemer: String, ctx: ScriptContext) -> Bool {\n compare(datum.switch{d: One => d.message, d: Two => d.code.show()}, redeemer) &&\n   ctx.tx.minted.get(my_assetclass) > 0\n}",
+    $dependencies: [utils],
+    $hashDependencies: [match_string_policy],
+    $dependsOnOwnHash: true,
+    $Redeemer: new Cast({"primitiveType":"String"}),
+    $Datum: new Cast({"enumVariantTypes":[{"name":"One","fieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]},{"name":"Two","fieldTypes":[{"name":"code","type":{"primitiveType":"Int"}}]}]})
+}

package/examples/multi-validator/minting.hl

@@ -0,0 +1,5 @@
+minting match_string_policy
+
+func main(redeemer: Bool, _) -> Bool {
+    redeemer
+}

package/examples/{spending → multi-validator}/package-lock.json

@@ -6,7 +6,6 @@
     "": {
       "name": "spending_example",
       "dependencies": {
-        "@helios-lang/compiler": "0.16.7-1",
         "@helios-lang/contract-utils": "file:../..",
         "@hyperionbt/helios": "^0.16.7"
       },
@@ -16,14 +15,14 @@
     },
     "../..": {
       "name": "@helios-lang/contract-utils",
-      "version": "0.1.7",
+      "version": "0.1.23",
       "license": "BSD-3-Clause",
       "dependencies": {
-        "@helios-lang/codec-utils": "^0.1.26",
-        "@helios-lang/compiler-utils": "^0.1.20",
-        "@helios-lang/ledger": "^0.1.10",
+        "@helios-lang/codec-utils": "^0.1.27",
+        "@helios-lang/compiler-utils": "^0.1.21",
+        "@helios-lang/ledger": "^0.1.21",
         "@helios-lang/type-utils": "^0.1.8",
-        "@helios-lang/uplc": "^0.1.21"
+        "@helios-lang/uplc": "^0.1.22"
       },
       "bin": {
         "hl2ts": "src/hl2ts.js"
@@ -34,15 +33,7 @@
         "typescript": "^5.3.2"
       },
       "peerDependencies": {
-        "@helios-lang/compiler": "^0.16.7"
-      }
-    },
-    "node_modules/@helios-lang/compiler": {
-      "version": "0.16.7-1",
-      "resolved": "https://registry.npmjs.org/@helios-lang/compiler/-/compiler-0.16.7-1.tgz",
-      "integrity": "sha512-M6x99ApFUNtNrPucx5IrcTbqHP1yyVQXeaKuQWOICgioSbWMKeogN7Hn2INk6f//DzGaqFZ7Cd1JOtt8zXHE/Q==",
-      "dependencies": {
-        "@hyperionbt/helios": "0.16.7"
+        "@helios-lang/compiler": "*"
       }
     },
     "node_modules/@helios-lang/contract-utils": {

package/examples/{spending → multi-validator}/package.json

@@ -2,7 +2,6 @@
   "name": "spending_example",
   "type": "module",
   "dependencies": {
-    "@helios-lang/compiler": "0.16.7-1",
     "@helios-lang/contract-utils": "file:../..",
     "@hyperionbt/helios": "^0.16.7"
   },

package/examples/multi-validator/spending.hl

@@ -0,0 +1,18 @@
+spending match_string
+
+import { compare, my_assetclass } from "./utils.hl"
+
+enum Datum {
+	One {
+		message: String
+	}
+
+	Two {
+		code: Int
+	}
+}
+
+func main(datum: Datum, redeemer: String, ctx: ScriptContext) -> Bool {
+	compare(datum.switch{d: One => d.message, d: Two => d.code.show()}, redeemer) && 
+	  ctx.tx.minted.get(my_assetclass) > 0
+}

package/examples/multi-validator/utils.hl

@@ -0,0 +1,9 @@
+module utils
+
+const my_assetclass: AssetClass = AssetClass::new(Scripts::match_string_policy, #)
+
+const my_hash: ValidatorHash = Scripts::match_string
+
+func compare(a: String, b: String) -> Bool {
+    a == b
+}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.1.20",
+    "version": "0.1.24",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
     "types": "types/index.d.ts",
@@ -9,14 +9,14 @@
         "hl2ts": "src/hl2ts.js"
     },
     "scripts": {
-        "build": "npm run build:types",
+        "build": "npm run prettify && npm run build:types && npm run test:suite",
         "build:types": "npx tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
-        "clean": "find src/ -name *.d.ts* | xargs rm",
+        "prepack": "npm run build",
         "prettify": "npx prettier . --write",
         "test": "npm run test:pretty && npm run test:types && npm run test:suite",
         "test:pretty": "npx prettier . --check",
         "test:suite": "node --test  --experimental-test-coverage",
-        "test:types": "npx tsc -p jsconfig.json --noEmit"
+        "test:types": "npm run build:types"
     },
     "author": "Christian Schmitz",
     "license": "BSD-3-Clause",
@@ -35,9 +35,10 @@
         "@helios-lang/compiler": "*"
     },
     "dependencies": {
-        "@helios-lang/codec-utils": "^0.1.26",
+        "@helios-lang/cli-utils": "^0.1.2",
+        "@helios-lang/codec-utils": "^0.1.27",
         "@helios-lang/compiler-utils": "^0.1.21",
-        "@helios-lang/ledger": "^0.1.20",
+        "@helios-lang/ledger": "^0.1.21",
         "@helios-lang/type-utils": "^0.1.8",
         "@helios-lang/uplc": "^0.1.22"
     }

package/src/{runtime → cast}/Cast.js

@@ -6,7 +6,6 @@ import {
     AssetClass,
     Credential,
     DatumHash,
-    DCert,
     MintingPolicyHash,
     PubKeyHash,
     ScriptHash,
@@ -26,7 +25,9 @@ import {
     IntData,
     ListData,
     MapData,
+    decodeBoolData,
     decodeOptionData,
+    encodeBoolData,
     encodeOptionData
 } from "@helios-lang/uplc"
 
@@ -36,8 +37,8 @@ import {
  */
 
 /**
- * @template [TStrict=UplcData]
- * @template [TPermissive=UplcData]
+ * @template [TStrict=any]
+ * @template [TPermissive=any]
  */
 export class Cast {
     /**
@@ -85,7 +86,7 @@ function schemaToUplc(schema, x) {
             case "AssetClass":
                 return AssetClass.fromAlike(x).toUplcData()
             case "Bool":
-                return new ConstrData(x ? 1 : 0, [])
+                return encodeBoolData(x)
             case "ByteArray":
                 return new ByteArrayData(x)
             case "Credential":
@@ -186,6 +187,7 @@ function schemaToUplc(schema, x) {
 }
 
 /**
+ * This should fail when deviating
  * @param {TypeSchema} schema
  * @param {UplcData} data
  * @returns {any}
@@ -199,7 +201,7 @@ function uplcToSchema(schema, data) {
                 // TODO: should this throw an error?
                 return null
             case "Bool":
-                return ConstrData.expect(data).tag == 1
+                return decodeBoolData(data, true)
             case "ByteArray":
                 return ByteArrayData.expect(data).bytes
             case "Credential":
@@ -261,8 +263,9 @@ function uplcToSchema(schema, data) {
             ? uplcToSchema(schema.optionSomeType, optionData)
             : None
     } else if ("structFieldTypes" in schema) {
+        const nExpected = schema.structFieldTypes.length
         // TODO: Cip-68 support
-        if (schema.structFieldTypes.length == 1) {
+        if (nExpected == 1) {
             return {
                 [schema.structFieldTypes[0].name]: uplcToSchema(
                     schema.structFieldTypes[0].type,
@@ -270,10 +273,18 @@ function uplcToSchema(schema, data) {
                 )
             }
         } else {
+            const fields = ListData.expect(data).items
+
+            if (fields.length != nExpected) {
+                throw new Error(
+                    `expected ${nExpected} fields in struct, got ${fields.length} fields`
+                )
+            }
+
             return Object.fromEntries(
-                ListData.expect(data).items.map((item, i) => [
+                fields.map((field, i) => [
                     schema.structFieldTypes[i].name,
-                    uplcToSchema(schema.structFieldTypes[i].type, item)
+                    uplcToSchema(schema.structFieldTypes[i].type, field)
                 ])
             )
         }
@@ -282,6 +293,18 @@ function uplcToSchema(schema, data) {
 
         const variantSchema = schema.enumVariantTypes[tag]
 
+        if (!variantSchema) {
+            throw new Error(`tag ${tag} out of range`)
+        }
+
+        const nExpected = variantSchema.fieldTypes.length
+
+        if (fields.length != nExpected) {
+            throw new Error(
+                `expected ${nExpected} fields for variant ${variantSchema.name} (tag ${tag}), got ${fields.length} fields`
+            )
+        }
+
         return {
             [variantSchema.name]: Object.fromEntries(
                 fields.map((f, i) => [

package/src/cast/index.js

@@ -0,0 +1,12 @@
+import { Cast } from "./Cast.js"
+export { Cast }
+
+/**
+ * @template {Cast} C
+ * @typedef {import("./PermissiveType.js").PermissiveType<C>} PermissiveType
+ */
+
+/**
+ * @template {Cast} C
+ * @typedef {import("./StrictType.js").StrictType<C>} StrictType
+ */

package/src/codegen/LoadedModule.js

@@ -0,0 +1,9 @@
+export {}
+
+/**
+ * @typedef {{
+ *   $name: string
+ *   $sourceCode: string
+ *   $dependencies: LoadedModule[]
+ * }} LoadedModule
+ */

package/src/codegen/{TypescriptWriter.js → LoadedScriptsWriter.js}

@@ -1,121 +1,36 @@
+import { StringWriter } from "@helios-lang/codec-utils"
 import { genTypes } from "./TypeSchema.js"
-import { Writer } from "./Writer.js"
 
 /**
- * @typedef {import("./Module.js").Module} Module
- * @typedef {import("./Validator.js").Validator} Validator
+ * @typedef {import("./TypeCheckedModule.js").TypeCheckedModule} TypeCheckedModule
+ * @typedef {import("./TypeCheckedValidator.js").TypeCheckedValidator} TypeCheckedValidator
  */
 
-export class TypescriptWriter {
-    constructor() {
-        this.wjs = new Writer()
-        this.wdts = new Writer()
-    }
-
+export class LoadedScriptsWriter {
     /**
-     * @param {string} js
-     * @param {string} dts
-     * @returns {TypescriptWriter}
+     * @private
      */
-    write(js, dts = "") {
-        this.wjs.write(js)
-        this.wdts.write(dts)
-        return this
+    constructor() {
+        this.definition = new StringWriter()
+        this.declaration = new StringWriter()
+        this.combined = new StringWriter()
     }
 
     /**
-     * @param {string} js
-     * @param {string} dts
-     * @returns {TypescriptWriter}
+     * Constructs a LoadedScriptsWriter instance and initializes it be writing the header
+     * @returns {LoadedScriptsWriter}
      */
-    writeLine(js, dts = "") {
-        if (js != "") {
-            this.wjs.writeLine(js)
-        }
+    static new() {
+        const w = new LoadedScriptsWriter()
 
-        if (dts != "") {
-            this.wdts.writeLine(dts)
-        }
+        w.writeHeaders()
 
-        return this
+        return w
     }
 
     /**
-     * @param {Module} m
-     */
-    writeModule(m) {
-        this.write(
-            `export const ${m.name} = {
-    $name: "${m.name}",
-    $purpose: "${m.purpose}",
-    $sourceCode: ${JSON.stringify(m.sourceCode)},
-    $dependencies: [${m.moduleDepedencies.join(", ")}],
-}
-`,
-            `export const ${m.name}: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: [${m.moduleDepedencies.map((d) => `typeof ${d}`).join(", ")}]
-}
-`
-        )
-    }
-
-    /**
-     * @param {Validator} v
-     */
-    writeValidator(v) {
-        const redeemerTypes = genTypes(v.Redeemer)
-        const datumTypes = v.Datum ? genTypes(v.Datum) : undefined
-
-        this.write(
-            `export const ${v.name} = {
-    $name: "${v.name}",
-    $purpose: "${v.purpose}",
-    $sourceCode: ${JSON.stringify(v.sourceCode)},
-    $dependencies: [${v.moduleDepedencies.join(", ")}],
-    $hashDependencies: [${v.hashDependencies.filter((d) => d != v.name).join(", ")}],
-    $dependsOnOwnHash: ${v.hashDependencies.some((d) => d == v.name)},
-    $Redeemer: new Cast(${JSON.stringify(v.Redeemer)}),
-    ${datumTypes ? `$Datum: new Cast(${JSON.stringify(v.Datum)})` : ""}
-}
-`,
-            `export const ${v.name}: {
-    $name: "${v.name}"
-    $purpose: "${v.purpose}"
-    $sourceCode: string
-    $dependencies: [${v.moduleDepedencies.map((d) => `typeof ${d}`).join(", ")}]
-    $hashDependencies: [${v.hashDependencies
-        .filter((d) => d != v.name)
-        .map((d) => `typeof ${d}`)
-        .join(", ")}]
-    $dependsOnOwnHash: boolean
-    $Redeemer: Cast<${redeemerTypes[0]}, ${redeemerTypes[1]}>
-    ${datumTypes ? `$Datum: Cast<${datumTypes[0]}, ${datumTypes[1]}>` : ""}
-}
-`
-        )
-    }
-
-    writeHeaders() {
-        this.wjs.writeLine(
-            'import { Cast } from "@helios-lang/contract-utils";'
-        )
-
-        this.wdts.writeLine(
-            'import type {UplcData} from "@helios-lang/ledger";'
-        )
-        this.wdts.writeLine(
-            'import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from "@helios-lang/ledger";'
-        )
-        this.wdts.writeLine(
-            'import { Cast } from "@helios-lang/contract-utils";'
-        )
-    }
-
-    /**
-     * @param {{[name: string]: Module}} ms
+     * @param {{[name: string]: TypeCheckedModule}} ms
+     * @returns {LoadedScriptsWriter}
      */
     writeModules(ms) {
         /**
@@ -127,7 +42,7 @@ export class TypescriptWriter {
 
         while (todo.length > 0) {
             /**
-             * @type {Module[]}
+             * @type {TypeCheckedModule[]}
              */
             let todoNext = []
 
@@ -145,11 +60,13 @@ export class TypescriptWriter {
 
             todo = todoNext
         }
+
+        return this
     }
 
     /**
-     *
-     * @param {{[name: string]: Validator}} validators
+     * @param {{[name: string]: TypeCheckedValidator}} validators
+     * @returns {LoadedScriptsWriter}
      */
     writeValidators(validators) {
         /**
@@ -161,7 +78,7 @@ export class TypescriptWriter {
 
         while (todo.length > 0) {
             /**
-             * @type {Validator[]}
+             * @type {TypeCheckedValidator[]}
              */
             let todoNext = []
 
@@ -181,12 +98,136 @@ export class TypescriptWriter {
 
             todo = todoNext
         }
+
+        return this
     }
 
     /**
-     * @returns {[string, string]}
+     * @returns {[string, string, string]}
      */
     finalize() {
-        return [this.wjs.finalize(), this.wdts.finalize()]
+        return [
+            this.definition.finalize(),
+            this.declaration.finalize(),
+            this.combined.finalize()
+        ]
+    }
+
+    /**
+     * @private
+     * @param {string} def
+     * @param {string} decl
+     * @returns {LoadedScriptsWriter}
+     */
+    write(def, decl = "") {
+        this.definition.write(def)
+        this.declaration.write(decl)
+
+        return this
+    }
+
+    /**
+     * @private
+     */
+    writeHeaders() {
+        this.definition.writeLine(
+            'import { Cast } from "@helios-lang/contract-utils";'
+        )
+        ;[this.declaration, this.combined].forEach((w) => {
+            w.writeLine('import type {UplcData} from "@helios-lang/ledger";')
+            w.writeLine(
+                'import { Address, AssetClass, DatumHash, MintingPolicyHash, PubKey, PubKeyHash, SpendingCredential, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value } from "@helios-lang/ledger";'
+            )
+            w.writeLine('import { Cast } from "@helios-lang/contract-utils";')
+        })
+    }
+
+    /**
+     * @private
+     * @param {TypeCheckedModule} m
+     */
+    writeModule(m) {
+        this.definition.write(
+            `export const ${m.name} = {
+    $name: "${m.name}",
+    $purpose: "${m.purpose}",
+    $sourceCode: ${JSON.stringify(m.sourceCode)},
+    $dependencies: [${m.moduleDepedencies.join(", ")}],
+}
+`
+        )
+
+        this.declaration.write(
+            `export const ${m.name}: {
+    $name: string
+    $purpose: string
+    $sourceCode: string
+    $dependencies: [${m.moduleDepedencies.map((d) => `typeof ${d}`).join(", ")}]
+}
+`
+        )
+
+        this.combined.write(
+            `export const ${m.name} = {
+    $name: "${m.name}",
+    $purpose: "${m.purpose}",
+    $sourceCode: ${JSON.stringify(m.sourceCode)} as string,
+    $dependencies: [${m.moduleDepedencies.join(", ")}],
+}
+`
+        )
+    }
+
+    /**
+     * @private
+     * @param {TypeCheckedValidator} v
+     */
+    writeValidator(v) {
+        const redeemerTypes = genTypes(v.Redeemer)
+        const datumTypes = v.Datum ? genTypes(v.Datum) : undefined
+
+        this.definition.write(
+            `export const ${v.name} = {
+    $name: "${v.name}",
+    $purpose: "${v.purpose}",
+    $sourceCode: ${JSON.stringify(v.sourceCode)},
+    $dependencies: [${v.moduleDepedencies.join(", ")}],
+    $hashDependencies: [${v.hashDependencies.filter((d) => d != v.name).join(", ")}],
+    $dependsOnOwnHash: ${v.hashDependencies.some((d) => d == v.name)},
+    $Redeemer: new Cast(${JSON.stringify(v.Redeemer)}),
+    ${datumTypes ? `$Datum: new Cast(${JSON.stringify(v.Datum)})` : ""}
+}
+`
+        )
+        this.declaration.write(
+            `export const ${v.name}: {
+    $name: "${v.name}"
+    $purpose: "${v.purpose}"
+    $sourceCode: string
+    $dependencies: [${v.moduleDepedencies.map((d) => `typeof ${d}`).join(", ")}]
+    $hashDependencies: [${v.hashDependencies
+        .filter((d) => d != v.name)
+        .map((d) => `typeof ${d}`)
+        .join(", ")}]
+    $dependsOnOwnHash: boolean
+    $Redeemer: Cast<${redeemerTypes[0]}, ${redeemerTypes[1]}>
+    ${datumTypes ? `$Datum: Cast<${datumTypes[0]}, ${datumTypes[1]}>` : ""}
+}
+`
+        )
+
+        this.combined.write(
+            `export const ${v.name} = {
+    $name: "${v.name}",
+    $purpose: "${v.purpose}",
+    $sourceCode: ${JSON.stringify(v.sourceCode)} as string,
+    $dependencies: [${v.moduleDepedencies.join(", ")}],
+    $hashDependencies: [${v.hashDependencies.filter((d) => d != v.name).join(", ")}],
+    $dependsOnOwnHash: ${v.hashDependencies.some((d) => d == v.name)} as boolean,
+    $Redeemer: new Cast<${redeemerTypes[0]}, ${redeemerTypes[1]}>(${JSON.stringify(v.Redeemer)}),
+    ${datumTypes ? `$Datum: new Cast<${datumTypes[0]}, ${datumTypes[1]}>(${JSON.stringify(v.Datum)})` : ""}
+}
+`
+        )
     }
 }