@openzeppelin/wizard-stellar 0.4.4 → 0.5.0

package/dist/stablecoin.js

@@ -4,11 +4,11 @@ exports.limitationsOptions = exports.defaults = void 0;
 exports.printStablecoin = printStablecoin;
 exports.isAccessControlRequired = isAccessControlRequired;
 exports.buildStablecoin = buildStablecoin;
-const define_functions_1 = require("./utils/define-functions");
 const common_options_1 = require("./common-options");
-const print_1 = require("./print");
 const fungible_1 = require("./fungible");
+const print_1 = require("./print");
 const set_access_control_1 = require("./set-access-control");
+const define_functions_1 = require("./utils/define-functions");
 exports.defaults = {
     ...fungible_1.defaults,
     name: 'MyStablecoin',
@@ -34,11 +34,11 @@ function buildStablecoin(opts) {
     const allOpts = withDefaults(opts);
     const c = (0, fungible_1.buildFungible)(allOpts);
     if (allOpts.limitations) {
-        addLimitations(c, allOpts.access, allOpts.limitations);
+        addLimitations(c, allOpts.access, allOpts.limitations, allOpts.explicitImplementations);
     }
     return c;
 }
-function addLimitations(c, access, mode) {
+function addLimitations(c, access, mode, explicitImplementations) {
     const type = mode === 'allowlist';
     const limitationsTrait = {
         traitName: type ? 'FungibleAllowList' : 'FungibleBlockList',
@@ -54,6 +54,8 @@ function addLimitations(c, access, mode) {
         c.addUseClause('stellar_tokens::fungible', 'blocklist::{BlockList, FungibleBlockList}');
         c.overrideAssocType('FungibleToken', 'type ContractType = BlockList;');
     }
+    if (explicitImplementations)
+        overrideFungibleReadonlyFunctionsWithBase(c);
     const [getterFn, addFn, removeFn] = type
         ? [functions.allowed, functions.allow_user, functions.disallow_user]
         : [functions.blocked, functions.block_user, functions.unblock_user];
@@ -64,9 +66,28 @@ function addLimitations(c, access, mode) {
         caller: 'operator',
     };
     c.addTraitFunction(limitationsTrait, addFn);
-    (0, set_access_control_1.requireAccessControl)(c, limitationsTrait, addFn, access, accessProps);
+    (0, set_access_control_1.requireAccessControl)(c, limitationsTrait, addFn, access, accessProps, explicitImplementations);
     c.addTraitFunction(limitationsTrait, removeFn);
-    (0, set_access_control_1.requireAccessControl)(c, limitationsTrait, removeFn, access, accessProps);
+    (0, set_access_control_1.requireAccessControl)(c, limitationsTrait, removeFn, access, accessProps, explicitImplementations);
+}
+function overrideFungibleReadonlyFunctionsWithBase(c) {
+    c.addUseClause('stellar_tokens::fungible', 'ContractOverrides');
+    const fungibleTokenTrait = {
+        traitName: 'FungibleToken',
+        structName: c.name,
+        tags: [],
+    };
+    const overrides = [
+        [fungible_1.functions.total_supply, ['Self::ContractType::total_supply(e)']],
+        [fungible_1.functions.balance, ['Self::ContractType::balance(e, &account)']],
+        [fungible_1.functions.allowance, ['Self::ContractType::allowance(e, &owner, &spender)']],
+        [fungible_1.functions.decimals, ['Self::ContractType::decimals(e)']],
+        [fungible_1.functions.name, ['Self::ContractType::name(e)']],
+        [fungible_1.functions.symbol, ['Self::ContractType::symbol(e)']],
+    ];
+    for (const [fn, code] of overrides) {
+        c.setFunctionCode(fn, code, fungibleTokenTrait);
+    }
 }
 const functions = {
     ...fungible_1.functions,

package/dist/stablecoin.js.map

@@ -1 +1 @@
-{"version":3,"file":"stablecoin.js","sourceRoot":"","sources":["../src/stablecoin.ts"],"names":[],"mappings":";;;AAuBA,0CAEC;AAeD,0DAEC;AAED,0CAUC;AArDD,+DAA2D;AAC3D,qDAA8C;AAC9C,mCAAwC;AAExC,yCAMoB;AACpB,6DAAyE;AAE5D,QAAA,QAAQ,GAAgC;IACnD,GAAG,mBAAgB;IACnB,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;CACV,CAAC;AAEE,QAAA,kBAAkB,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAU,CAAC;AAE7E,SAAgB,eAAe,CAAC,OAA0B,gBAAQ;IAChE,OAAO,IAAA,qBAAa,EAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAMD,SAAS,YAAY,CAAC,IAAuB;IAC3C,OAAO;QACL,GAAG,IAAA,uBAAoB,EAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,gBAAQ,CAAC,IAAI;QAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,gBAAQ,CAAC,MAAM;QACtC,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,gBAAQ,CAAC,WAAW;KACtD,CAAC;AACJ,CAAC;AAED,SAAgB,uBAAuB,CAAC,IAAgC;IACtE,OAAO,IAAA,kCAA+B,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC;AAC7E,CAAC;AAED,SAAgB,eAAe,CAAC,IAAuB;IACrD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,CAAC,GAAG,IAAA,wBAAa,EAAC,OAAO,CAAC,CAAC;IAEjC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,CAAkB,EAAE,MAAc,EAAE,IAA+B;IACzF,MAAM,IAAI,GAAG,IAAI,KAAK,WAAW,CAAC;IAElC,MAAM,gBAAgB,GAAG;QACvB,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB;QAC3D,UAAU,EAAE,CAAC,CAAC,IAAI;QAClB,IAAI,EAAE,CAAC,cAAc,CAAC;QACtB,OAAO,EAAE,YAAY;KACtB,CAAC;IAEF,IAAI,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,YAAY,CAAC,0BAA0B,EAAE,2CAA2C,CAAC,CAAC;QACxF,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IACzE,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,YAAY,CAAC,0BAA0B,EAAE,2CAA2C,CAAC,CAAC;QACxF,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,IAAI;QACtC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC;QACpE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;IAEtE,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAE/C,MAAM,WAAW,GAAG;QAClB,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,UAAU;KACnB,CAAC;IAEF,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAA,yCAAoB,EAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAEtE,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAA,yCAAoB,EAAC,CAAC,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,SAAS,GAAG;IAChB,GAAG,oBAAiB;IACpB,GAAG,IAAA,kCAAe,EAAC;QACjB,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,UAAU,EAAE;YACV,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,aAAa,EAAE;YACb,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,oCAAoC,CAAC;SAC7C;QACD,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,UAAU,EAAE;YACV,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,mCAAmC,CAAC;SAC5C;KACF,CAAC;CACH,CAAC"}
+{"version":3,"file":"stablecoin.js","sourceRoot":"","sources":["../src/stablecoin.ts"],"names":[],"mappings":";;;AAwBA,0CAEC;AAeD,0DAEC;AAED,0CAUC;AAvDD,qDAA8C;AAG9C,yCAMoB;AACpB,mCAAwC;AACxC,6DAAyE;AACzE,+DAA2D;AAE9C,QAAA,QAAQ,GAAgC;IACnD,GAAG,mBAAgB;IACnB,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;CACV,CAAC;AAEE,QAAA,kBAAkB,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAU,CAAC;AAG7E,SAAgB,eAAe,CAAC,OAA0B,gBAAQ;IAChE,OAAO,IAAA,qBAAa,EAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAMD,SAAS,YAAY,CAAC,IAAuB;IAC3C,OAAO;QACL,GAAG,IAAA,uBAAoB,EAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,gBAAQ,CAAC,IAAI;QAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,gBAAQ,CAAC,MAAM;QACtC,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,gBAAQ,CAAC,WAAW;KACtD,CAAC;AACJ,CAAC;AAED,SAAgB,uBAAuB,CAAC,IAAgC;IACtE,OAAO,IAAA,kCAA+B,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC;AAC7E,CAAC;AAED,SAAgB,eAAe,CAAC,IAAuB;IACrD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,CAAC,GAAG,IAAA,wBAAa,EAAC,OAAO,CAAC,CAAC;IAEjC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CACrB,CAAkB,EAClB,MAAc,EACd,IAA+B,EAC/B,uBAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,KAAK,WAAW,CAAC;IAElC,MAAM,gBAAgB,GAAG;QACvB,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB;QAC3D,UAAU,EAAE,CAAC,CAAC,IAAI;QAClB,IAAI,EAAE,CAAC,cAAc,CAAC;QACtB,OAAO,EAAE,YAAY;KACtB,CAAC;IAEF,IAAI,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,YAAY,CAAC,0BAA0B,EAAE,2CAA2C,CAAC,CAAC;QACxF,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IACzE,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,YAAY,CAAC,0BAA0B,EAAE,2CAA2C,CAAC,CAAC;QACxF,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,uBAAuB;QAAE,yCAAyC,CAAC,CAAC,CAAC,CAAC;IAE1E,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,IAAI;QACtC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC;QACpE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;IAEtE,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAE/C,MAAM,WAAW,GAAG;QAClB,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,UAAU;KACnB,CAAC;IAEF,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAA,yCAAoB,EAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,uBAAuB,CAAC,CAAC;IAE/F,CAAC,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAA,yCAAoB,EAAC,CAAC,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,uBAAuB,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,yCAAyC,CAAC,CAAkB;IACnE,CAAC,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG;QACzB,SAAS,EAAE,eAAe;QAC1B,UAAU,EAAE,CAAC,CAAC,IAAI;QAClB,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,MAAM,SAAS,GAAkF;QAC/F,CAAC,oBAAiB,CAAC,YAAY,EAAE,CAAC,qCAAqC,CAAC,CAAC;QACzE,CAAC,oBAAiB,CAAC,OAAO,EAAE,CAAC,0CAA0C,CAAC,CAAC;QACzE,CAAC,oBAAiB,CAAC,SAAS,EAAE,CAAC,oDAAoD,CAAC,CAAC;QACrF,CAAC,oBAAiB,CAAC,QAAQ,EAAE,CAAC,iCAAiC,CAAC,CAAC;QACjE,CAAC,oBAAiB,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC;QACzD,CAAC,oBAAiB,CAAC,MAAM,EAAE,CAAC,+BAA+B,CAAC,CAAC;KAC9D,CAAC;IAEF,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,CAAC,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG;IAChB,GAAG,oBAAiB;IACpB,GAAG,IAAA,kCAAe,EAAC;QACjB,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,UAAU,EAAE;YACV,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,aAAa,EAAE;YACb,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,oCAAoC,CAAC;SAC7C;QACD,OAAO,EAAE;YACP,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,UAAU,EAAE;YACV,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,iCAAiC,CAAC;SAC1C;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,CAAC,IAAA,2BAAU,GAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC9F,IAAI,EAAE,CAAC,mCAAmC,CAAC;SAC5C;KACF,CAAC;CACH,CAAC"}

package/dist/utils/compile-test.d.ts

@@ -7,6 +7,7 @@ export type MakeContract = (opt: GenericOptions) => Contract;
 export declare const withTemporaryFolderDo: <Args extends unknown[]>(testFunction: WithTemporaryFolderTestFunction<Args>) => (...testFunctionArguments: Args) => (test: ExecutionContext) => Promise<void>;
 export declare const runRustCompilationTest: (makeContract: MakeContract, opts: GenericOptions, testOptions: {
     snapshotResult: boolean;
+    excludeExplicitTraitTest?: boolean;
 }) => (test: ExecutionContext) => Promise<void>;
 export {};
 //# sourceMappingURL=compile-test.d.ts.map

package/dist/utils/compile-test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile-test.d.ts","sourceRoot":"","sources":["../../src/utils/compile-test.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAI5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAQ5C,eAAO,MAAM,YAAY,GAAU,GAAG,gBAAgB,EAAE,iBAAiB,MAAM,kBAI9E,CAAC;AAEF,KAAK,+BAA+B,CAAC,IAAI,SAAS,OAAO,EAAE,IAAI,CAC7D,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,gBAAgB,EAAE,MAAM,CAAC,KACzC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE1B,MAAM,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,cAAc,KAAK,QAAQ,CAAC;AAE7D,eAAO,MAAM,qBAAqB,GAC/B,IAAI,SAAS,OAAO,EAAE,EAAE,cAAc,+BAA+B,CAAC,IAAI,CAAC,MAC3E,GAAG,uBAAuB,IAAI,MACxB,MAAM,gBAAgB,kBAQ5B,CAAC;AAEJ,eAAO,MAAM,sBAAsB;oBAIA,OAAO;OAdjC,MAAM,gBAAgB,kBAuC9B,CAAC"}
+{"version":3,"file":"compile-test.d.ts","sourceRoot":"","sources":["../../src/utils/compile-test.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAM5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAO5C,eAAO,MAAM,YAAY,GAAU,GAAG,gBAAgB,EAAE,iBAAiB,MAAM,kBAI9E,CAAC;AAEF,KAAK,+BAA+B,CAAC,IAAI,SAAS,OAAO,EAAE,IAAI,CAC7D,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,gBAAgB,EAAE,MAAM,CAAC,KACzC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE1B,MAAM,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,cAAc,KAAK,QAAQ,CAAC;AAE7D,eAAO,MAAM,qBAAqB,GAC/B,IAAI,SAAS,OAAO,EAAE,EAAE,cAAc,+BAA+B,CAAC,IAAI,CAAC,MAC3E,GAAG,uBAAuB,IAAI,MACxB,MAAM,gBAAgB,kBAO5B,CAAC;AAkCJ,eAAO,MAAM,sBAAsB;oBAIA,OAAO;+BAA6B,OAAO;OA7CrE,MAAM,gBAAgB,kBAkE9B,CAAC"}

package/dist/utils/compile-test.js

@@ -4,14 +4,14 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.runRustCompilationTest = exports.withTemporaryFolderDo = exports.runCargoTest = void 0;
+const child_process_1 = require("child_process");
+const promises_1 = require("fs/promises");
 const os_1 = require("os");
 const path_1 = __importDefault(require("path"));
 const util_1 = require("util");
-const child_process_1 = require("child_process");
-const zip_test_1 = require("./zip-test");
-const promises_1 = require("fs/promises");
-const zip_shared_1 = require("../zip-shared");
 const zip_rust_1 = require("../zip-rust");
+const zip_shared_1 = require("../zip-shared");
+const zip_test_1 = require("./zip-test");
 const asyncExec = (0, util_1.promisify)(child_process_1.exec);
 const runCargoTest = async (t, temporaryFolder) => {
     const result = await asyncExec(`cd "${temporaryFolder}" && cargo test`);
@@ -28,8 +28,9 @@ const withTemporaryFolderDo = (testFunction) => (...testFunctionArguments) => as
     }
 };
 exports.withTemporaryFolderDo = withTemporaryFolderDo;
-exports.runRustCompilationTest = (0, exports.withTemporaryFolderDo)(async (makeContract, opts, testOptions, test, folderPath) => {
+const doRunRustCompilationTest = async (makeContract, opts, testOptions, test, folderPath) => {
     test.timeout(3000000);
+    await (0, promises_1.mkdir)(folderPath, { recursive: true });
     const scaffoldContractName = (0, zip_shared_1.contractOptionsToContractName)(opts?.kind || 'contract');
     const expectedZipFiles = [
         `contracts/${scaffoldContractName}/src/contract.rs`,
@@ -37,6 +38,7 @@ exports.runRustCompilationTest = (0, exports.withTemporaryFolderDo)(async (makeC
         `contracts/${scaffoldContractName}/src/lib.rs`,
         `contracts/${scaffoldContractName}/Cargo.toml`,
         'Cargo.toml',
+        '.gitignore',
         'README.md',
     ];
     const zip = await (0, zip_rust_1.zipRustProject)(makeContract(opts), opts);
@@ -45,5 +47,17 @@ exports.runRustCompilationTest = (0, exports.withTemporaryFolderDo)(async (makeC
     await (0, exports.runCargoTest)(test, folderPath);
     if (testOptions.snapshotResult)
         await (0, zip_test_1.snapshotZipContents)(test, zip, expectedZipFiles);
+};
+exports.runRustCompilationTest = (0, exports.withTemporaryFolderDo)(async (makeContract, opts, testOptions, test, folderPath) => {
+    await doRunRustCompilationTest(makeContract, opts, testOptions, test, `${folderPath}/default`);
+    const shouldBeExcludedOrHasAlreadyRun = testOptions.excludeExplicitTraitTest || opts.explicitImplementations;
+    if (shouldBeExcludedOrHasAlreadyRun)
+        return;
+    try {
+        await doRunRustCompilationTest(makeContract, { ...opts, explicitImplementations: true }, testOptions, test, `${folderPath}/explicit`);
+    }
+    catch (error) {
+        throw new Error(`EXPLICIT IMPLEMENTATION ERROR: ${error}`);
+    }
 });
 //# sourceMappingURL=compile-test.js.map

package/dist/utils/compile-test.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile-test.js","sourceRoot":"","sources":["../../src/utils/compile-test.ts"],"names":[],"mappings":";;;;;;AAAA,2BAA4B;AAE5B,gDAAwB;AACxB,+BAAiC;AACjC,iDAAqC;AAGrC,yCAA0G;AAC1G,0CAA0C;AAC1C,8CAA8D;AAC9D,0CAA6C;AAE7C,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC,oBAAI,CAAC,CAAC;AAE3B,MAAM,YAAY,GAAG,KAAK,EAAE,CAAmB,EAAE,eAAuB,EAAE,EAAE;IACjF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,eAAe,iBAAiB,CAAC,CAAC;IAExE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACrC,CAAC,CAAC;AAJW,QAAA,YAAY,gBAIvB;AAQK,MAAM,qBAAqB,GAChC,CAAyB,YAAmD,EAAE,EAAE,CAChF,CAAC,GAAG,qBAA2B,EAAE,EAAE,CACnC,KAAK,EAAE,IAAsB,EAAE,EAAE;IAC/B,MAAM,eAAe,GAAG,MAAM,IAAA,kBAAO,EAAC,cAAI,CAAC,IAAI,CAAC,IAAA,WAAM,GAAE,EAAE,oBAAoB,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;IAEtG,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,GAAG,qBAAqB,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACtE,CAAC;YAAS,CAAC;QACT,MAAM,IAAA,aAAE,EAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAXS,QAAA,qBAAqB,yBAW9B;AAES,QAAA,sBAAsB,GAAG,IAAA,6BAAqB,EACzD,KAAK,EACH,YAA0B,EAC1B,IAAoB,EACpB,WAAwC,EACxC,IAAsB,EACtB,UAAkB,EAClB,EAAE;IACF,IAAI,CAAC,OAAO,CAAC,OAAS,CAAC,CAAC;IAExB,MAAM,oBAAoB,GAAG,IAAA,0CAA6B,EAAC,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,CAAC;IAErF,MAAM,gBAAgB,GAAG;QACvB,aAAa,oBAAoB,kBAAkB;QACnD,aAAa,oBAAoB,cAAc;QAC/C,aAAa,oBAAoB,aAAa;QAC9C,aAAa,oBAAoB,aAAa;QAC9C,YAAY;QACZ,WAAW;KACZ,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,IAAA,yBAAc,EAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3D,IAAA,uBAAY,EAAC,IAAI,EAAE,GAAG,EAAE,IAAA,oCAAyB,EAAC,gBAAgB,CAAC,CAAC,CAAC;IACrE,MAAM,IAAA,yBAAc,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,IAAA,oBAAY,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAErC,IAAI,WAAW,CAAC,cAAc;QAAE,MAAM,IAAA,8BAAmB,EAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACzF,CAAC,CACF,CAAC"}
+{"version":3,"file":"compile-test.js","sourceRoot":"","sources":["../../src/utils/compile-test.ts"],"names":[],"mappings":";;;;;;AACA,iDAAqC;AACrC,0CAAiD;AACjD,2BAA4B;AAC5B,gDAAwB;AACxB,+BAAiC;AAGjC,0CAA6C;AAC7C,8CAA8D;AAC9D,yCAA0G;AAE1G,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC,oBAAI,CAAC,CAAC;AAE3B,MAAM,YAAY,GAAG,KAAK,EAAE,CAAmB,EAAE,eAAuB,EAAE,EAAE;IACjF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,eAAe,iBAAiB,CAAC,CAAC;IAExE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACrC,CAAC,CAAC;AAJW,QAAA,YAAY,gBAIvB;AAQK,MAAM,qBAAqB,GAChC,CAAyB,YAAmD,EAAE,EAAE,CAChF,CAAC,GAAG,qBAA2B,EAAE,EAAE,CACnC,KAAK,EAAE,IAAsB,EAAE,EAAE;IAC/B,MAAM,eAAe,GAAG,MAAM,IAAA,kBAAO,EAAC,cAAI,CAAC,IAAI,CAAC,IAAA,WAAM,GAAE,EAAE,oBAAoB,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;IACtG,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,GAAG,qBAAqB,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;IACtE,CAAC;YAAS,CAAC;QACT,MAAM,IAAA,aAAE,EAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAVS,QAAA,qBAAqB,yBAU9B;AAEJ,MAAM,wBAAwB,GAAG,KAAK,EACpC,YAA0B,EAC1B,IAAoB,EACpB,WAAwC,EACxC,IAAsB,EACtB,UAAkB,EAClB,EAAE;IACF,IAAI,CAAC,OAAO,CAAC,OAAS,CAAC,CAAC;IAExB,MAAM,IAAA,gBAAK,EAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE7C,MAAM,oBAAoB,GAAG,IAAA,0CAA6B,EAAC,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,CAAC;IAErF,MAAM,gBAAgB,GAAG;QACvB,aAAa,oBAAoB,kBAAkB;QACnD,aAAa,oBAAoB,cAAc;QAC/C,aAAa,oBAAoB,aAAa;QAC9C,aAAa,oBAAoB,aAAa;QAC9C,YAAY;QACZ,YAAY;QACZ,WAAW;KACZ,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,IAAA,yBAAc,EAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3D,IAAA,uBAAY,EAAC,IAAI,EAAE,GAAG,EAAE,IAAA,oCAAyB,EAAC,gBAAgB,CAAC,CAAC,CAAC;IACrE,MAAM,IAAA,yBAAc,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,IAAA,oBAAY,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAErC,IAAI,WAAW,CAAC,cAAc;QAAE,MAAM,IAAA,8BAAmB,EAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACzF,CAAC,CAAC;AAEW,QAAA,sBAAsB,GAAG,IAAA,6BAAqB,EACzD,KAAK,EACH,YAA0B,EAC1B,IAAoB,EACpB,WAA4E,EAC5E,IAAsB,EACtB,UAAkB,EAClB,EAAE;IACF,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,UAAU,UAAU,CAAC,CAAC;IAE/F,MAAM,+BAA+B,GAAG,WAAW,CAAC,wBAAwB,IAAI,IAAI,CAAC,uBAAuB,CAAC;IAC7G,IAAI,+BAA+B;QAAE,OAAO;IAE5C,IAAI,CAAC;QACH,MAAM,wBAAwB,CAC5B,YAAY,EACZ,EAAE,GAAG,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAC1C,WAAW,EACX,IAAI,EACJ,GAAG,UAAU,WAAW,CACzB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CACF,CAAC"}

package/dist/utils/version.d.ts

@@ -1,14 +1,14 @@
 /**
  * The actual latest version to use in links.
  */
-export declare const contractsVersion = "0.4.1";
-export declare const contractsVersionTag = "v0.4.1";
+export declare const contractsVersion = "0.6.0";
+export declare const contractsVersionTag = "v0.6.0";
 /**
  * Semantic version string representing of the minimum compatible version of Contracts to display in output.
  */
-export declare const compatibleContractsSemver = "^0.4.1";
+export declare const compatibleContractsSemver = "^0.6.0";
 /**
  * The Soroban version for which compilation and testing have passing tests
  */
-export declare const compatibleSorobanVersion = "22.0.8";
+export declare const compatibleSorobanVersion = "23.4.0";
 //# sourceMappingURL=version.d.ts.map

package/dist/utils/version.js

@@ -4,14 +4,14 @@ exports.compatibleSorobanVersion = exports.compatibleContractsSemver = exports.c
 /**
  * The actual latest version to use in links.
  */
-exports.contractsVersion = '0.4.1';
+exports.contractsVersion = '0.6.0';
 exports.contractsVersionTag = `v${exports.contractsVersion}`;
 /**
  * Semantic version string representing of the minimum compatible version of Contracts to display in output.
  */
-exports.compatibleContractsSemver = '^0.4.1';
+exports.compatibleContractsSemver = '^0.6.0';
 /**
  * The Soroban version for which compilation and testing have passing tests
  */
-exports.compatibleSorobanVersion = '22.0.8';
+exports.compatibleSorobanVersion = '23.4.0';
 //# sourceMappingURL=version.js.map

package/dist/zip-rust.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zip-rust.d.ts","sourceRoot":"","sources":["../src/zip-rust.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAyB3C,eAAO,MAAM,wBAAwB,GAAI,GAAG,QAAQ,EAAE,MAAM,cAAc,UAYzE,CAAC;AAIF,eAAO,MAAM,cAAc,GAAU,GAAG,QAAQ,EAAE,MAAM,cAAc,mBACb,CAAC"}
+{"version":3,"file":"zip-rust.d.ts","sourceRoot":"","sources":["../src/zip-rust.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AA6B3C,eAAO,MAAM,wBAAwB,GAAI,GAAG,QAAQ,EAAE,MAAM,cAAc,UAazE,CAAC;AAIF,eAAO,MAAM,cAAc,GAAU,GAAG,QAAQ,EAAE,MAAM,cAAc,mBACb,CAAC"}

package/dist/zip-rust.js

@@ -21,6 +21,9 @@ Continue your development journey with [Stellar CLI](https://github.com/stellar/
 - See [Rust and Stellar installation guide](https://developers.stellar.org/docs/build/smart-contracts/getting-started/setup).
 - See [Git installation guide](https://github.com/git-guides/install-git).
 `;
+const gitIgnore = `\
+target/
+`;
 const createRustZipEnvironment = (c, opts) => {
     const zip = new jszip_1.default();
     const contractName = (0, zip_shared_1.contractOptionsToContractName)(opts?.kind || 'contract');
@@ -29,6 +32,7 @@ const createRustZipEnvironment = (c, opts) => {
     zip.file(`contracts/${contractName}/src/lib.rs`, zip_shared_1.createRustLibFile);
     zip.file(`contracts/${contractName}/Cargo.toml`, (0, zip_shared_1.printContractCargo)(contractName));
     zip.file('Cargo.toml', zip_shared_1.workspaceCargo);
+    zip.file('.gitignore', gitIgnore);
     return zip;
 };
 exports.createRustZipEnvironment = createRustZipEnvironment;

package/dist/zip-rust.js.map

@@ -1 +1 @@
-{"version":3,"file":"zip-rust.js","sourceRoot":"","sources":["../src/zip-rust.ts"],"names":[],"mappings":";;;;;;AAAA,kDAA0B;AAG1B,mCAAqE;AACrE,6CAMsB;AAEtB,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAad,CAAC;AAEK,MAAM,wBAAwB,GAAG,CAAC,CAAW,EAAE,IAAoB,EAAE,EAAE;IAC5E,MAAM,GAAG,GAAG,IAAI,eAAK,EAAE,CAAC;IAExB,MAAM,YAAY,GAAG,IAAA,0CAA6B,EAAC,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,CAAC;IAE7E,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,kBAAkB,EAAE,IAAA,mCAA2B,EAAC,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,cAAc,EAAE,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC,CAAC;IACxE,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,aAAa,EAAE,8BAAiB,CAAC,CAAC;IACpE,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,aAAa,EAAE,IAAA,+BAAkB,EAAC,YAAY,CAAC,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,2BAAc,CAAC,CAAC;IAEvC,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAZW,QAAA,wBAAwB,4BAYnC;AAEF,MAAM,oBAAoB,GAAG,CAAC,GAAU,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;AAEpE,MAAM,cAAc,GAAG,KAAK,EAAE,CAAW,EAAE,IAAoB,EAAE,EAAE,CACxE,oBAAoB,CAAC,IAAA,gCAAwB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAD7C,QAAA,cAAc,kBAC+B"}
+{"version":3,"file":"zip-rust.js","sourceRoot":"","sources":["../src/zip-rust.ts"],"names":[],"mappings":";;;;;;AAAA,kDAA0B;AAG1B,mCAAqE;AACrE,6CAMsB;AAEtB,MAAM,MAAM,GAAG;;;;;;;;;;;;;CAad,CAAC;AAEF,MAAM,SAAS,GAAG;;CAEjB,CAAC;AAEK,MAAM,wBAAwB,GAAG,CAAC,CAAW,EAAE,IAAoB,EAAE,EAAE;IAC5E,MAAM,GAAG,GAAG,IAAI,eAAK,EAAE,CAAC;IAExB,MAAM,YAAY,GAAG,IAAA,0CAA6B,EAAC,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,CAAC;IAE7E,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,kBAAkB,EAAE,IAAA,mCAA2B,EAAC,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,cAAc,EAAE,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC,CAAC;IACxE,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,aAAa,EAAE,8BAAiB,CAAC,CAAC;IACpE,GAAG,CAAC,IAAI,CAAC,aAAa,YAAY,aAAa,EAAE,IAAA,+BAAkB,EAAC,YAAY,CAAC,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,2BAAc,CAAC,CAAC;IACvC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAElC,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAbW,QAAA,wBAAwB,4BAanC;AAEF,MAAM,oBAAoB,GAAG,CAAC,GAAU,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;AAEpE,MAAM,cAAc,GAAG,KAAK,EAAE,CAAW,EAAE,IAAoB,EAAE,EAAE,CACxE,oBAAoB,CAAC,IAAA,gCAAwB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAD7C,QAAA,cAAc,kBAC+B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openzeppelin/wizard-stellar",
-  "version": "0.4.4",
+  "version": "0.5.0",
   "description": "A boilerplate generator to get started with OpenZeppelin Stellar Soroban Contracts",
   "license": "AGPL-3.0-only",
   "repository": "https://github.com/OpenZeppelin/contracts-wizard",
@@ -25,8 +25,8 @@
     "@types/semver": "^7.5.7",
     "ava": "^6.0.0",
     "rimraf": "^5.0.0",
+    "semver": "^7.6.0",
     "ts-node": "^10.4.0",
-    "typescript": "^5.0.0",
-    "semver": "^7.6.0"
+    "typescript": "^5.0.0"
   }
 }

package/src/add-pausable.ts

@@ -1,13 +1,12 @@
 import { getSelfArg } from './common-options';
 import type { BaseFunction, ContractBuilder } from './contract';
 import type { Access } from './set-access-control';
-import { requireAccessControl } from './set-access-control';
+import { DEFAULT_ACCESS_CONTROL, requireAccessControl } from './set-access-control';
 import { defineFunctions } from './utils/define-functions';
 
-export function addPausable(c: ContractBuilder, access: Access) {
+export function addPausable(c: ContractBuilder, access: Access, explicitImplementations: boolean) {
   c.addUseClause('stellar_contract_utils::pausable', 'self', { alias: 'pausable' });
   c.addUseClause('stellar_contract_utils::pausable', 'Pausable');
-  c.addUseClause('stellar_macros', 'default_impl');
 
   const pausableTrait = {
     traitName: 'Pausable',
@@ -16,23 +15,38 @@ export function addPausable(c: ContractBuilder, access: Access) {
     section: 'Utils',
   };
 
-  const pauseFn: BaseFunction = access === 'ownable' ? functions.pause_unused_caller : functions.pause;
-  const unpauseFn: BaseFunction = access === 'ownable' ? functions.unpause_unused_caller : functions.unpause;
+  const effectiveAccess = access === false ? DEFAULT_ACCESS_CONTROL : access;
+  const pauseFn: BaseFunction = effectiveAccess === 'ownable' ? functions.pause_unused_caller : functions.pause;
+  const unpauseFn: BaseFunction = effectiveAccess === 'ownable' ? functions.unpause_unused_caller : functions.unpause;
 
   c.addTraitFunction(pausableTrait, functions.paused);
   c.addTraitFunction(pausableTrait, pauseFn);
   c.addTraitFunction(pausableTrait, unpauseFn);
-  requireAccessControl(c, pausableTrait, pauseFn, access, {
-    useMacro: true,
-    role: 'pauser',
-    caller: 'caller',
-  });
+  requireAccessControl(
+    c,
+    pausableTrait,
+    pauseFn,
+    effectiveAccess,
+    {
+      useMacro: true,
+      role: 'pauser',
+      caller: 'caller',
+    },
+    explicitImplementations,
+  );
 
-  requireAccessControl(c, pausableTrait, unpauseFn, access, {
-    useMacro: true,
-    role: 'pauser',
-    caller: 'caller',
-  });
+  requireAccessControl(
+    c,
+    pausableTrait,
+    unpauseFn,
+    effectiveAccess,
+    {
+      useMacro: true,
+      role: 'pauser',
+      caller: 'caller',
+    },
+    explicitImplementations,
+  );
 }
 
 const functions = defineFunctions({

package/src/add-upgradeable.ts

@@ -4,7 +4,7 @@ import { requireAccessControl } from './set-access-control';
 import type { BaseFunction, ContractBuilder } from './contract';
 import { defineFunctions } from './utils/define-functions';
 
-export function addUpgradeable(c: ContractBuilder, access: Access) {
+export function addUpgradeable(c: ContractBuilder, access: Access, explicitImplementations: boolean) {
   const functions = defineFunctions({
     _require_auth: {
       args: [getSelfArg(), { name: 'operator', type: '&Address' }],
@@ -34,9 +34,16 @@ export function addUpgradeable(c: ContractBuilder, access: Access) {
 
   c.addTraitFunction(upgradeableTrait, upgradeFn);
 
-  requireAccessControl(c, upgradeableTrait, upgradeFn, access, {
-    useMacro: false,
-    role: 'upgrader',
-    caller: 'operator',
-  });
+  requireAccessControl(
+    c,
+    upgradeableTrait,
+    upgradeFn,
+    access,
+    {
+      useMacro: false,
+      role: 'upgrader',
+      caller: 'operator',
+    },
+    explicitImplementations,
+  );
 }

package/src/common-options.ts

@@ -10,6 +10,7 @@ export const defaults: Required<CommonOptions> = {
 export const contractDefaults: Required<CommonContractOptions> = {
   ...defaults,
   access: false,
+  explicitImplementations: false,
 } as const;
 
 export interface CommonOptions {
@@ -18,6 +19,7 @@ export interface CommonOptions {
 
 export interface CommonContractOptions extends CommonOptions {
   access?: Access;
+  explicitImplementations?: boolean;
 }
 
 export function withCommonDefaults(opts: CommonOptions): Required<CommonOptions> {
@@ -30,6 +32,7 @@ export function withCommonContractDefaults(opts: CommonContractOptions): Require
   return {
     ...withCommonDefaults(opts),
     access: opts.access ?? contractDefaults.access,
+    explicitImplementations: opts.explicitImplementations ?? contractDefaults.explicitImplementations,
   };
 }
 

package/src/contract.ts

@@ -185,6 +185,10 @@ export class ContractBuilder implements Contract {
     }
   }
 
+  addTraitForEachFunctions(baseTrait: BaseTraitImplBlock, functions: Record<string, BaseFunction>) {
+    Object.values(functions).forEach(fn => this.addTraitFunction(baseTrait, fn));
+  }
+
   // used for adding a function to a trait implementation block
   addTraitFunction(baseTrait: BaseTraitImplBlock, fn: BaseFunction): ContractFunction {
     const t = this.addTraitImplBlock(baseTrait);
@@ -241,6 +245,11 @@ export class ContractBuilder implements Contract {
     existingFn.tags = [...(existingFn.tags ?? []), tag];
   }
 
+  setFunctionCode(fn: BaseFunction, code: string[], baseTrait?: BaseTraitImplBlock): void {
+    const existingFn = this.getOrCreateFunction(fn, baseTrait);
+    existingFn.code = [...code];
+  }
+
   addConstructorArgument(arg: Argument): void {
     for (const existingArg of this.constructorArgs) {
       if (existingArg.name == arg.name) {

package/src/fungible.ts

@@ -11,6 +11,7 @@ import { OptionsError } from './error';
 import { contractDefaults as commonDefaults } from './common-options';
 import { printContract } from './print';
 import { toByteArray, toUint } from './utils/convert-strings';
+import { pickKeys } from '@openzeppelin/wizard-common';
 
 export const defaults: Required<FungibleOptions> = {
   name: 'MyToken',
@@ -22,6 +23,7 @@ export const defaults: Required<FungibleOptions> = {
   mintable: false,
   access: commonDefaults.access,
   info: commonDefaults.info,
+  explicitImplementations: commonDefaults.explicitImplementations,
 } as const;
 
 export function printFungible(opts: FungibleOptions = defaults): string {
@@ -59,58 +61,68 @@ export function buildFungible(opts: FungibleOptions): ContractBuilder {
 
   const allOpts = withDefaults(opts);
 
-  addBase(c, toByteArray(allOpts.name), toByteArray(allOpts.symbol), allOpts.pausable);
+  addBase(c, toByteArray(allOpts.name), toByteArray(allOpts.symbol), allOpts.pausable, allOpts.explicitImplementations);
 
   if (allOpts.premint) {
     addPremint(c, allOpts.premint);
   }
 
   if (allOpts.pausable) {
-    addPausable(c, allOpts.access);
+    addPausable(c, allOpts.access, allOpts.explicitImplementations);
   }
 
   if (allOpts.upgradeable) {
-    addUpgradeable(c, allOpts.access);
+    addUpgradeable(c, allOpts.access, allOpts.explicitImplementations);
   }
 
   if (allOpts.burnable) {
-    addBurnable(c, allOpts.pausable);
+    addBurnable(c, allOpts.pausable, allOpts.explicitImplementations);
   }
 
   if (allOpts.mintable) {
-    addMintable(c, allOpts.access, allOpts.pausable);
+    addMintable(c, allOpts.access, allOpts.pausable, allOpts.explicitImplementations);
   }
 
-  setAccessControl(c, allOpts.access);
+  setAccessControl(c, allOpts.access, allOpts.explicitImplementations);
   setInfo(c, allOpts.info);
 
   return c;
 }
 
-function addBase(c: ContractBuilder, name: string, symbol: string, pausable: boolean) {
+function addBase(
+  c: ContractBuilder,
+  name: string,
+  symbol: string,
+  pausable: boolean,
+  explicitImplementations: boolean,
+) {
   // Set metadata
-  c.addConstructorCode(`Base::set_metadata(e, 18, String::from_str(e, "${name}"), String::from_str(e, "${symbol}"));`);
+  c.addConstructorCode(`Base::set_metadata(e, 7, String::from_str(e, "${name}"), String::from_str(e, "${symbol}"));`);
 
   // Set token functions
   c.addUseClause('stellar_tokens::fungible', 'Base');
   c.addUseClause('stellar_tokens::fungible', 'FungibleToken');
-  c.addUseClause('stellar_macros', 'default_impl');
   c.addUseClause('soroban_sdk', 'contract');
   c.addUseClause('soroban_sdk', 'contractimpl');
   c.addUseClause('soroban_sdk', 'String');
+  c.addUseClause('soroban_sdk', 'Symbol');
   c.addUseClause('soroban_sdk', 'Env');
+  c.addUseClause('soroban_sdk', 'Address');
+  c.addUseClause('soroban_sdk', 'MuxedAddress');
+  c.addUseClause('soroban_sdk', 'Vec');
 
   const fungibleTokenTrait = {
     traitName: 'FungibleToken',
     structName: c.name,
-    tags: ['default_impl', 'contractimpl'],
+    tags: explicitImplementations ? ['contractimpl'] : ['contractimpl(contracttrait)'],
     assocType: 'type ContractType = Base;',
   };
 
   c.addTraitImplBlock(fungibleTokenTrait);
 
+  if (explicitImplementations) c.addTraitForEachFunctions(fungibleTokenTrait, fungibleTokenTraitFunctions);
+
   if (pausable) {
-    c.addUseClause('soroban_sdk', 'Address');
     c.addUseClause('stellar_macros', 'when_not_paused');
 
     c.addTraitFunction(fungibleTokenTrait, functions.transfer);
@@ -121,15 +133,14 @@ function addBase(c: ContractBuilder, name: string, symbol: string, pausable: boo
   }
 }
 
-function addMintable(c: ContractBuilder, access: Access, pausable: boolean) {
-  c.addUseClause('soroban_sdk', 'Address');
+function addMintable(c: ContractBuilder, access: Access, pausable: boolean, explicitImplementations: boolean) {
   switch (access) {
     case false:
       break;
     case 'ownable': {
       c.addFreeFunction(functions.mint);
 
-      requireAccessControl(c, undefined, functions.mint, access);
+      requireAccessControl(c, undefined, functions.mint, access, undefined, explicitImplementations);
 
       if (pausable) {
         c.addFunctionTag(functions.mint, 'when_not_paused');
@@ -139,11 +150,18 @@ function addMintable(c: ContractBuilder, access: Access, pausable: boolean) {
     case 'roles': {
       c.addFreeFunction(functions.mint_with_caller);
 
-      requireAccessControl(c, undefined, functions.mint_with_caller, access, {
-        useMacro: true,
-        caller: 'caller',
-        role: 'minter',
-      });
+      requireAccessControl(
+        c,
+        undefined,
+        functions.mint_with_caller,
+        access,
+        {
+          useMacro: true,
+          caller: 'caller',
+          role: 'minter',
+        },
+        explicitImplementations,
+      );
 
       if (pausable) {
         c.addFunctionTag(functions.mint_with_caller, 'when_not_paused');
@@ -157,14 +175,13 @@ function addMintable(c: ContractBuilder, access: Access, pausable: boolean) {
   }
 }
 
-function addBurnable(c: ContractBuilder, pausable: boolean) {
+function addBurnable(c: ContractBuilder, pausable: boolean, explicitImplementations: boolean) {
   c.addUseClause('stellar_tokens::fungible', 'burnable::FungibleBurnable');
-  c.addUseClause('soroban_sdk', 'Address');
 
   const fungibleBurnableTrait = {
     traitName: 'FungibleBurnable',
     structName: c.name,
-    tags: ['contractimpl'],
+    tags: explicitImplementations ? ['contractimpl'] : ['contractimpl(contracttrait)'],
     section: 'Extensions',
   };
 
@@ -176,9 +193,8 @@ function addBurnable(c: ContractBuilder, pausable: boolean) {
 
     c.addTraitFunction(fungibleBurnableTrait, functions.burn_from);
     c.addFunctionTag(functions.burn_from, 'when_not_paused', fungibleBurnableTrait);
-  } else {
-    // prepend '#[default_impl]'
-    fungibleBurnableTrait.tags.unshift('default_impl');
+  } else if (explicitImplementations) c.addTraitForEachFunctions(fungibleBurnableTrait, fungibleBurnableFunctions);
+  else {
     c.addTraitImplBlock(fungibleBurnableTrait);
   }
 }
@@ -194,9 +210,7 @@ function addPremint(c: ContractBuilder, amount: string) {
     }
 
     // TODO: handle signed int?
-    const premintAbsolute = toUint(getInitialSupply(amount, 18), 'premint', 'u128');
-
-    c.addUseClause('soroban_sdk', 'Address');
+    const premintAbsolute = toUint(getInitialSupply(amount, 7), 'premint', 'u128');
 
     c.addConstructorArgument({ name: 'recipient', type: 'Address' });
     c.addConstructorCode(`Base::mint(e, &recipient, ${premintAbsolute});`);
@@ -265,7 +279,7 @@ export const functions = defineFunctions({
     args: [
       getSelfArg(),
       { name: 'from', type: 'Address' },
-      { name: 'to', type: 'Address' },
+      { name: 'to', type: 'MuxedAddress' },
       { name: 'amount', type: 'i128' },
     ],
     code: ['Self::ContractType::transfer(e, &from, &to, amount)'],
@@ -335,3 +349,17 @@ export const functions = defineFunctions({
     code: ['Base::mint(e, &account, amount);'],
   },
 });
+
+const fungibleTokenTraitFunctions = pickKeys(functions, [
+  'total_supply',
+  'balance',
+  'allowance',
+  'transfer',
+  'transfer_from',
+  'approve',
+  'decimals',
+  'name',
+  'symbol',
+]);
+
+const fungibleBurnableFunctions = pickKeys(functions, ['burn', 'burn_from']);

package/src/generate/fungible.ts

@@ -15,6 +15,7 @@ const blueprint = {
   premint: ['1'],
   access: accessOptions,
   info: infoOptions,
+  explicitImplementations: booleans,
 };
 
 export function* generateFungibleOptions(): Generator<Required<FungibleOptions>> {

package/src/generate/non-fungible.ts

@@ -18,6 +18,7 @@ const blueprint = {
   mintable: booleans,
   access: accessOptions,
   info: infoOptions,
+  explicitImplementations: booleans,
 };
 
 export function* generateNonFungibleOptions(): Generator<Required<NonFungibleOptions>> {

package/src/generate/stablecoin.ts

@@ -16,6 +16,7 @@ const blueprint = {
   access: accessOptions,
   limitations: limitationsOptions,
   info: infoOptions,
+  explicitImplementations: booleans,
 };
 
 export function* generateStablecoinOptions(): Generator<Required<StablecoinOptions>> {