Merge pull request #2180 from demergent-labs/responses_prop_test

add responses prop test

src/lib/stable/ic_apis/index.ts

@@ -21,7 +21,7 @@ export { notify } from './notify';
 export { performanceCounter } from './performance_counter';
 export { print } from './print';
 export { reject } from './reject';
-export { rejectCode } from './reject_code';
+export { rejectCode, RejectionCode } from './reject_code';
 export { rejectMessage } from './reject_message';
 export { reply } from './reply';
 export { setCertifiedData } from './set_certified_data';

src/lib/stable/ic_apis/reject_code.ts

@@ -1,4 +1,11 @@
-type RejectionCode =
+// TODO this should be removed once https://github.com/demergent-labs/azle/issues/2271 is resolved
+import { TextDecoder, TextEncoder } from 'text-encoding';
+globalThis.TextDecoder = TextDecoder;
+globalThis.TextEncoder = TextEncoder;
+
+import { IDL } from '@dfinity/candid';
+
+export type RejectionCode =
     | { NoError: null }
     | { SysFatal: null }
     | { SysTransient: null }
@@ -7,6 +14,16 @@ type RejectionCode =
     | { CanisterError: null }
     | { Unknown: null };
 
+export const RejectionCode = IDL.Variant({
+    NoError: IDL.Null,
+    SysFatal: IDL.Null,
+    SysTransient: IDL.Null,
+    DestinationInvalid: IDL.Null,
+    CanisterReject: IDL.Null,
+    CanisterError: IDL.Null,
+    Unknown: IDL.Null
+});
+
 /**
  * Returns the rejection code from the most recently executed cross-canister call
  * @returns the rejection code

tests/property/ic_api/reject/.gitignore

@@ -0,0 +1,4 @@
+.azle
+.dfx
+dfx_generated
+node_modules

tests/property/ic_api/reject/dfx.json

@@ -0,0 +1,12 @@
+{
+    "canisters": {
+        "canister": {
+            "type": "azle",
+            "main": "src/index.ts",
+            "declarations": {
+                "output": "test/dfx_generated/canister",
+                "node_compatibility": true
+            }
+        }
+    }
+}

tests/property/ic_api/reject/jest.config.js

@@ -0,0 +1,11 @@
+/** @type {import('ts-jest').JestConfigWithTsJest} */
+module.exports = {
+    preset: 'ts-jest',
+    testEnvironment: 'node',
+    testTimeout: 100_000_000,
+    transform: {
+        '^.+\\.ts$': ['ts-jest', { isolatedModules: true }],
+        '^.+\\.js$': 'ts-jest'
+    },
+    transformIgnorePatterns: ['/node_modules/(?!(azle)/)'] // Make sure azle is transformed
+};