@sovrahq/waci 3.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.eslintignore +2 -0
- package/.eslintrc.js +21 -0
- package/.prettierrc +4 -0
- package/LICENSE +201 -0
- package/dist/callbacks/index.d.ts +108 -0
- package/dist/callbacks/index.js +9 -0
- package/dist/callbacks/index.js.map +1 -0
- package/dist/constants/index.d.ts +1 -0
- package/dist/constants/index.js +5 -0
- package/dist/constants/index.js.map +1 -0
- package/dist/handlers/common/problem-report.handler.d.ts +4 -0
- package/dist/handlers/common/problem-report.handler.js +72 -0
- package/dist/handlers/common/problem-report.handler.js.map +1 -0
- package/dist/handlers/common/step-2-oob-invitation.handler.d.ts +4 -0
- package/dist/handlers/common/step-2-oob-invitation.handler.js +93 -0
- package/dist/handlers/common/step-2-oob-invitation.handler.js.map +1 -0
- package/dist/handlers/decorators/register-handler.decorator.d.ts +2 -0
- package/dist/handlers/decorators/register-handler.decorator.js +13 -0
- package/dist/handlers/decorators/register-handler.decorator.js.map +1 -0
- package/dist/handlers/index.d.ts +6 -0
- package/dist/handlers/index.js +11 -0
- package/dist/handlers/index.js.map +1 -0
- package/dist/handlers/issuance/step-3-propose-credential.handler.d.ts +32 -0
- package/dist/handlers/issuance/step-3-propose-credential.handler.js +180 -0
- package/dist/handlers/issuance/step-3-propose-credential.handler.js.map +1 -0
- package/dist/handlers/issuance/step-4-1-offer-credential-proceed.handler.d.ts +5 -0
- package/dist/handlers/issuance/step-4-1-offer-credential-proceed.handler.js +152 -0
- package/dist/handlers/issuance/step-4-1-offer-credential-proceed.handler.js.map +1 -0
- package/dist/handlers/issuance/step-4-offer-credential.handler.d.ts +5 -0
- package/dist/handlers/issuance/step-4-offer-credential.handler.js +169 -0
- package/dist/handlers/issuance/step-4-offer-credential.handler.js.map +1 -0
- package/dist/handlers/issuance/step-5-request-credential.handler.d.ts +4 -0
- package/dist/handlers/issuance/step-5-request-credential.handler.js +275 -0
- package/dist/handlers/issuance/step-5-request-credential.handler.js.map +1 -0
- package/dist/handlers/issuance/step-6-issue-credential.handler.d.ts +4 -0
- package/dist/handlers/issuance/step-6-issue-credential.handler.js +106 -0
- package/dist/handlers/issuance/step-6-issue-credential.handler.js.map +1 -0
- package/dist/handlers/issuance/step-7-ack-message.handler.d.ts +4 -0
- package/dist/handlers/issuance/step-7-ack-message.handler.js +78 -0
- package/dist/handlers/issuance/step-7-ack-message.handler.js.map +1 -0
- package/dist/handlers/presentation/step-3-propose-presentation.handler.d.ts +5 -0
- package/dist/handlers/presentation/step-3-propose-presentation.handler.js +107 -0
- package/dist/handlers/presentation/step-3-propose-presentation.handler.js.map +1 -0
- package/dist/handlers/presentation/step-4-1-presentation-proceed.handler.d.ts +5 -0
- package/dist/handlers/presentation/step-4-1-presentation-proceed.handler.js +130 -0
- package/dist/handlers/presentation/step-4-1-presentation-proceed.handler.js.map +1 -0
- package/dist/handlers/presentation/step-4-request-presentation.handler.d.ts +5 -0
- package/dist/handlers/presentation/step-4-request-presentation.handler.js +151 -0
- package/dist/handlers/presentation/step-4-request-presentation.handler.js.map +1 -0
- package/dist/handlers/presentation/step-5-present-proof.handler.d.ts +4 -0
- package/dist/handlers/presentation/step-5-present-proof.handler.js +211 -0
- package/dist/handlers/presentation/step-5-present-proof.handler.js.map +1 -0
- package/dist/handlers/presentation/step-6-ack-message.handler.d.ts +4 -0
- package/dist/handlers/presentation/step-6-ack-message.handler.js +72 -0
- package/dist/handlers/presentation/step-6-ack-message.handler.js.map +1 -0
- package/dist/index.d.ts +17 -0
- package/dist/index.js +37 -0
- package/dist/index.js.map +1 -0
- package/dist/services/waci-interpreter.d.ts +17 -0
- package/dist/services/waci-interpreter.js +222 -0
- package/dist/services/waci-interpreter.js.map +1 -0
- package/dist/types/actor.d.ts +5 -0
- package/dist/types/actor.js +10 -0
- package/dist/types/actor.js.map +1 -0
- package/dist/types/credential-application.d.ts +36 -0
- package/dist/types/credential-application.js +3 -0
- package/dist/types/credential-application.js.map +1 -0
- package/dist/types/credential-manifest.d.ts +173 -0
- package/dist/types/credential-manifest.js +3 -0
- package/dist/types/credential-manifest.js.map +1 -0
- package/dist/types/index.d.ts +4 -0
- package/dist/types/index.js +21 -0
- package/dist/types/index.js.map +1 -0
- package/dist/types/problem-report.d.ts +13 -0
- package/dist/types/problem-report.js +18 -0
- package/dist/types/problem-report.js.map +1 -0
- package/dist/types/waci-message.d.ts +106 -0
- package/dist/types/waci-message.js +106 -0
- package/dist/types/waci-message.js.map +1 -0
- package/dist/utils/erros.d.ts +15 -0
- package/dist/utils/erros.js +42 -0
- package/dist/utils/erros.js.map +1 -0
- package/dist/utils/index.d.ts +22 -0
- package/dist/utils/index.js +356 -0
- package/dist/utils/index.js.map +1 -0
- package/jest.config.json +17 -0
- package/package.json +39 -0
- package/readme.md +1 -0
- package/src/callbacks/index.ts +75 -0
- package/src/constants/index.ts +1 -0
- package/src/handlers/common/problem-report.handler.ts +15 -0
- package/src/handlers/common/step-2-oob-invitation.handler.ts +45 -0
- package/src/handlers/decorators/register-handler.decorator.ts +10 -0
- package/src/handlers/index.ts +7 -0
- package/src/handlers/issuance/step-3-propose-credential.handler.ts +186 -0
- package/src/handlers/issuance/step-4-1-offer-credential-proceed.handler.ts +129 -0
- package/src/handlers/issuance/step-4-offer-credential.handler.ts +137 -0
- package/src/handlers/issuance/step-5-request-credential.handler.ts +205 -0
- package/src/handlers/issuance/step-6-issue-credential.handler.ts +63 -0
- package/src/handlers/issuance/step-7-ack-message.handler.ts +21 -0
- package/src/handlers/presentation/step-3-propose-presentation.handler.ts +67 -0
- package/src/handlers/presentation/step-4-1-presentation-proceed.handler.ts +100 -0
- package/src/handlers/presentation/step-4-request-presentation.handler.ts +115 -0
- package/src/handlers/presentation/step-5-present-proof.handler.ts +159 -0
- package/src/handlers/presentation/step-6-ack-message.handler.ts +15 -0
- package/src/index.ts +18 -0
- package/src/services/waci-interpreter.ts +161 -0
- package/src/types/actor.ts +5 -0
- package/src/types/credential-application.ts +38 -0
- package/src/types/credential-manifest.ts +184 -0
- package/src/types/index.ts +4 -0
- package/src/types/problem-report.ts +29 -0
- package/src/types/waci-message.ts +148 -0
- package/src/utils/erros.ts +21 -0
- package/src/utils/index.ts +272 -0
- package/test/handlers/issuance/step-3-propose-credential.handler.spec.ts +43 -0
- package/test/handlers/issuance/step-4-offer-credential.handler.spec.ts +53 -0
- package/test/handlers/issuance/step-5-request-credential.handler.spec.ts +102 -0
- package/test/handlers/presentation/step-5-present-proof.handler.spec.ts +142 -0
- package/test/handlers/shared/step-2-oob-invitation.handler.spec.ts +55 -0
- package/test/stubs/index.ts +842 -0
- package/test/waci-interpreter.spec.ts +113 -0
- package/tsconfig.build.json +9 -0
- package/tsconfig.json +20 -0
package/dist/index.js
ADDED
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
14
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
15
|
+
};
|
|
16
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
17
|
+
exports.validateVcByInputDescriptor = exports.CredentialPresentationResponse = void 0;
|
|
18
|
+
require("./handlers/common/step-2-oob-invitation.handler");
|
|
19
|
+
require("./handlers/common/problem-report.handler");
|
|
20
|
+
require("./handlers/issuance/step-3-propose-credential.handler");
|
|
21
|
+
require("./handlers/issuance/step-4-offer-credential.handler");
|
|
22
|
+
require("./handlers/issuance/step-5-request-credential.handler");
|
|
23
|
+
require("./handlers/issuance/step-6-issue-credential.handler");
|
|
24
|
+
require("./handlers/issuance/step-7-ack-message.handler");
|
|
25
|
+
require("./handlers/presentation/step-3-propose-presentation.handler");
|
|
26
|
+
require("./handlers/presentation/step-4-request-presentation.handler");
|
|
27
|
+
require("./handlers/presentation/step-5-present-proof.handler");
|
|
28
|
+
require("./handlers/presentation/step-6-ack-message.handler");
|
|
29
|
+
__exportStar(require("./handlers/issuance/step-3-propose-credential.handler"), exports);
|
|
30
|
+
var callbacks_1 = require("./callbacks");
|
|
31
|
+
Object.defineProperty(exports, "CredentialPresentationResponse", { enumerable: true, get: function () { return callbacks_1.CredentialPresentationResponse; } });
|
|
32
|
+
__exportStar(require("./services/waci-interpreter"), exports);
|
|
33
|
+
__exportStar(require("./types/waci-message"), exports);
|
|
34
|
+
__exportStar(require("./types"), exports);
|
|
35
|
+
var index_1 = require("./utils/index");
|
|
36
|
+
Object.defineProperty(exports, "validateVcByInputDescriptor", { enumerable: true, get: function () { return index_1.validateVcByInputDescriptor; } });
|
|
37
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,2DAAyD;AACzD,oDAAkD;AAClD,iEAA+D;AAC/D,+DAA6D;AAC7D,iEAA+D;AAC/D,+DAA6D;AAC7D,0DAAwD;AACxD,uEAAqE;AACrE,uEAAqE;AACrE,gEAA8D;AAC9D,8DAA4D;AAE5D,wFAAsE;AACtE,yCAA6E;AAApD,2HAAA,8BAA8B,OAAA;AACvD,8DAA4C;AAC5C,uDAAqC;AACrC,0CAAwB;AACxB,uCAA4D;AAAnD,oHAAA,2BAA2B,OAAA"}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { InputCallbacks } from '../callbacks';
|
|
2
|
+
import { WACIMessage, GoalCode, Actor, CredentialManifest, CredentialFulfillment, WACIResponse, DIDCommVersion } from '../types';
|
|
3
|
+
export declare class WACIInterpreter {
|
|
4
|
+
private readonly enabledActors;
|
|
5
|
+
private callbacks;
|
|
6
|
+
constructor();
|
|
7
|
+
setUpFor<T extends Actor>(params: InputCallbacks[T], actor: T): WACIInterpreter;
|
|
8
|
+
isWACIMessage(messageToCheck: any): messageToCheck is WACIMessage;
|
|
9
|
+
createOOBInvitation(senderDID: string, goalCode: GoalCode, body?: {}, version?: DIDCommVersion): Promise<WACIMessage>;
|
|
10
|
+
createOfferCredentialMessage(issuerDID: string, holderDID: string, manifest: CredentialManifest, fulfillment: CredentialFulfillment): Promise<WACIMessage>;
|
|
11
|
+
processMessage(messageThread: WACIMessage[]): Promise<WACIResponse | void>;
|
|
12
|
+
presentationProceed(messageThread: WACIMessage[], credentialsToPresent: any[], presentationProofTypes?: string[]): Promise<{
|
|
13
|
+
target: string;
|
|
14
|
+
message: WACIMessage;
|
|
15
|
+
responseType: import("../types").WACIMessageResponseType;
|
|
16
|
+
}>;
|
|
17
|
+
}
|
|
@@ -0,0 +1,222 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __assign = (this && this.__assign) || function () {
|
|
3
|
+
__assign = Object.assign || function(t) {
|
|
4
|
+
for (var s, i = 1, n = arguments.length; i < n; i++) {
|
|
5
|
+
s = arguments[i];
|
|
6
|
+
for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
|
|
7
|
+
t[p] = s[p];
|
|
8
|
+
}
|
|
9
|
+
return t;
|
|
10
|
+
};
|
|
11
|
+
return __assign.apply(this, arguments);
|
|
12
|
+
};
|
|
13
|
+
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
|
|
14
|
+
function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
|
|
15
|
+
return new (P || (P = Promise))(function (resolve, reject) {
|
|
16
|
+
function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
|
|
17
|
+
function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
|
|
18
|
+
function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
|
|
19
|
+
step((generator = generator.apply(thisArg, _arguments || [])).next());
|
|
20
|
+
});
|
|
21
|
+
};
|
|
22
|
+
var __generator = (this && this.__generator) || function (thisArg, body) {
|
|
23
|
+
var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
|
|
24
|
+
return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
|
|
25
|
+
function verb(n) { return function (v) { return step([n, v]); }; }
|
|
26
|
+
function step(op) {
|
|
27
|
+
if (f) throw new TypeError("Generator is already executing.");
|
|
28
|
+
while (g && (g = 0, op[0] && (_ = 0)), _) try {
|
|
29
|
+
if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
|
|
30
|
+
if (y = 0, t) op = [op[0] & 2, t.value];
|
|
31
|
+
switch (op[0]) {
|
|
32
|
+
case 0: case 1: t = op; break;
|
|
33
|
+
case 4: _.label++; return { value: op[1], done: false };
|
|
34
|
+
case 5: _.label++; y = op[1]; op = [0]; continue;
|
|
35
|
+
case 7: op = _.ops.pop(); _.trys.pop(); continue;
|
|
36
|
+
default:
|
|
37
|
+
if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
|
|
38
|
+
if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
|
|
39
|
+
if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
|
|
40
|
+
if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
|
|
41
|
+
if (t[2]) _.ops.pop();
|
|
42
|
+
_.trys.pop(); continue;
|
|
43
|
+
}
|
|
44
|
+
op = body.call(thisArg, _);
|
|
45
|
+
} catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
|
|
46
|
+
if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
|
|
47
|
+
}
|
|
48
|
+
};
|
|
49
|
+
var __asyncValues = (this && this.__asyncValues) || function (o) {
|
|
50
|
+
if (!Symbol.asyncIterator) throw new TypeError("Symbol.asyncIterator is not defined.");
|
|
51
|
+
var m = o[Symbol.asyncIterator], i;
|
|
52
|
+
return m ? m.call(o) : (o = typeof __values === "function" ? __values(o) : o[Symbol.iterator](), i = {}, verb("next"), verb("throw"), verb("return"), i[Symbol.asyncIterator] = function () { return this; }, i);
|
|
53
|
+
function verb(n) { i[n] = o[n] && function (v) { return new Promise(function (resolve, reject) { v = o[n](v), settle(resolve, reject, v.done, v.value); }); }; }
|
|
54
|
+
function settle(resolve, reject, d, v) { Promise.resolve(v).then(function(v) { resolve({ value: v, done: d }); }, reject); }
|
|
55
|
+
};
|
|
56
|
+
var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
|
|
57
|
+
if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
|
|
58
|
+
if (ar || !(i in from)) {
|
|
59
|
+
if (!ar) ar = Array.prototype.slice.call(from, 0, i);
|
|
60
|
+
ar[i] = from[i];
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
return to.concat(ar || Array.prototype.slice.call(from));
|
|
64
|
+
};
|
|
65
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
66
|
+
exports.WACIInterpreter = void 0;
|
|
67
|
+
var handlers_1 = require("../handlers");
|
|
68
|
+
var types_1 = require("../types");
|
|
69
|
+
var utils_1 = require("../utils");
|
|
70
|
+
var constants_1 = require("../constants");
|
|
71
|
+
var step_4_1_presentation_proceed_handler_1 = require("../handlers/presentation/step-4-1-presentation-proceed.handler");
|
|
72
|
+
var step_4_1_offer_credential_proceed_handler_1 = require("../handlers/issuance/step-4-1-offer-credential-proceed.handler");
|
|
73
|
+
var WACIInterpreter = /** @class */ (function () {
|
|
74
|
+
function WACIInterpreter() {
|
|
75
|
+
this.enabledActors = [];
|
|
76
|
+
this.callbacks = {};
|
|
77
|
+
}
|
|
78
|
+
WACIInterpreter.prototype.setUpFor = function (params, actor) {
|
|
79
|
+
this.enabledActors.push(actor);
|
|
80
|
+
this.callbacks[actor] = params;
|
|
81
|
+
return this;
|
|
82
|
+
};
|
|
83
|
+
WACIInterpreter.prototype.isWACIMessage = function (messageToCheck) {
|
|
84
|
+
try {
|
|
85
|
+
var allTypes = __spreadArray(__spreadArray([], (0, utils_1.getObjectValues)(types_1.WACIMessageType), true), (0, utils_1.getObjectValues)(types_1.WACIMessageTypeV1), true);
|
|
86
|
+
return allTypes.includes(messageToCheck.type);
|
|
87
|
+
}
|
|
88
|
+
catch (error) {
|
|
89
|
+
return false;
|
|
90
|
+
}
|
|
91
|
+
};
|
|
92
|
+
WACIInterpreter.prototype.createOOBInvitation = function (senderDID, goalCode, body, version) {
|
|
93
|
+
if (body === void 0) { body = {}; }
|
|
94
|
+
return __awaiter(this, void 0, void 0, function () {
|
|
95
|
+
var type;
|
|
96
|
+
return __generator(this, function (_a) {
|
|
97
|
+
type = version === types_1.DIDCommVersion.V1
|
|
98
|
+
? (0, types_1.convertToVersion)(types_1.WACIMessageType.OutOfBandInvitation, types_1.DIDCommVersion.V1)
|
|
99
|
+
: types_1.WACIMessageType.OutOfBandInvitation;
|
|
100
|
+
return [2 /*return*/, {
|
|
101
|
+
type: type,
|
|
102
|
+
id: (0, utils_1.createUUID)(),
|
|
103
|
+
from: senderDID,
|
|
104
|
+
body: __assign(__assign({}, body), { goal_code: goalCode, accept: constants_1.SUPPORTED_ALGORITHMS }),
|
|
105
|
+
}];
|
|
106
|
+
});
|
|
107
|
+
});
|
|
108
|
+
};
|
|
109
|
+
WACIInterpreter.prototype.createOfferCredentialMessage = function (issuerDID, holderDID, manifest, fulfillment) {
|
|
110
|
+
return __awaiter(this, void 0, void 0, function () {
|
|
111
|
+
return __generator(this, function (_a) {
|
|
112
|
+
return [2 /*return*/, {
|
|
113
|
+
type: types_1.WACIMessageType.OfferCredential,
|
|
114
|
+
id: (0, utils_1.createUUID)(),
|
|
115
|
+
from: issuerDID,
|
|
116
|
+
to: [issuerDID],
|
|
117
|
+
body: {},
|
|
118
|
+
attachments: [manifest, fulfillment],
|
|
119
|
+
}];
|
|
120
|
+
});
|
|
121
|
+
});
|
|
122
|
+
};
|
|
123
|
+
WACIInterpreter.prototype.processMessage = function (messageThread) {
|
|
124
|
+
var _a, e_1, _b, _c;
|
|
125
|
+
return __awaiter(this, void 0, void 0, function () {
|
|
126
|
+
var message, incomingVersion, normalizedType, _d, _e, _f, enabledActor, messageHandler, originalType, response, e_1_1;
|
|
127
|
+
return __generator(this, function (_g) {
|
|
128
|
+
switch (_g.label) {
|
|
129
|
+
case 0:
|
|
130
|
+
message = messageThread[messageThread.length - 1];
|
|
131
|
+
incomingVersion = (0, types_1.detectDIDCommVersion)(message.type);
|
|
132
|
+
normalizedType = (0, types_1.normalizeToV2)(message.type);
|
|
133
|
+
_g.label = 1;
|
|
134
|
+
case 1:
|
|
135
|
+
_g.trys.push([1, 10, 11, 16]);
|
|
136
|
+
_d = true, _e = __asyncValues(this.enabledActors);
|
|
137
|
+
_g.label = 2;
|
|
138
|
+
case 2: return [4 /*yield*/, _e.next()];
|
|
139
|
+
case 3:
|
|
140
|
+
if (!(_f = _g.sent(), _a = _f.done, !_a)) return [3 /*break*/, 9];
|
|
141
|
+
_c = _f.value;
|
|
142
|
+
_d = false;
|
|
143
|
+
_g.label = 4;
|
|
144
|
+
case 4:
|
|
145
|
+
_g.trys.push([4, , 7, 8]);
|
|
146
|
+
enabledActor = _c;
|
|
147
|
+
messageHandler = handlers_1.handlers[enabledActor].get(normalizedType);
|
|
148
|
+
if (!messageHandler) return [3 /*break*/, 6];
|
|
149
|
+
originalType = message.type;
|
|
150
|
+
message.type = normalizedType;
|
|
151
|
+
return [4 /*yield*/, messageHandler.handle(messageThread, this.callbacks)];
|
|
152
|
+
case 5:
|
|
153
|
+
response = _g.sent();
|
|
154
|
+
// Restore original type
|
|
155
|
+
message.type = originalType;
|
|
156
|
+
if (response) {
|
|
157
|
+
// Convert response type back to v1 if the interlocutor speaks v1
|
|
158
|
+
if (incomingVersion === types_1.DIDCommVersion.V1) {
|
|
159
|
+
response.message.type = (0, types_1.convertToVersion)(response.message.type, types_1.DIDCommVersion.V1);
|
|
160
|
+
}
|
|
161
|
+
return [2 /*return*/, __assign(__assign({}, response), { target: response.message.to[0], message: response.message })];
|
|
162
|
+
}
|
|
163
|
+
return [2 /*return*/];
|
|
164
|
+
case 6: return [3 /*break*/, 8];
|
|
165
|
+
case 7:
|
|
166
|
+
_d = true;
|
|
167
|
+
return [7 /*endfinally*/];
|
|
168
|
+
case 8: return [3 /*break*/, 2];
|
|
169
|
+
case 9: return [3 /*break*/, 16];
|
|
170
|
+
case 10:
|
|
171
|
+
e_1_1 = _g.sent();
|
|
172
|
+
e_1 = { error: e_1_1 };
|
|
173
|
+
return [3 /*break*/, 16];
|
|
174
|
+
case 11:
|
|
175
|
+
_g.trys.push([11, , 14, 15]);
|
|
176
|
+
if (!(!_d && !_a && (_b = _e.return))) return [3 /*break*/, 13];
|
|
177
|
+
return [4 /*yield*/, _b.call(_e)];
|
|
178
|
+
case 12:
|
|
179
|
+
_g.sent();
|
|
180
|
+
_g.label = 13;
|
|
181
|
+
case 13: return [3 /*break*/, 15];
|
|
182
|
+
case 14:
|
|
183
|
+
if (e_1) throw e_1.error;
|
|
184
|
+
return [7 /*endfinally*/];
|
|
185
|
+
case 15: return [7 /*endfinally*/];
|
|
186
|
+
case 16: throw Error("No handler found for message of type '".concat(message.type, "'"));
|
|
187
|
+
}
|
|
188
|
+
});
|
|
189
|
+
});
|
|
190
|
+
};
|
|
191
|
+
WACIInterpreter.prototype.presentationProceed = function (messageThread, credentialsToPresent, presentationProofTypes) {
|
|
192
|
+
return __awaiter(this, void 0, void 0, function () {
|
|
193
|
+
var response, lastType;
|
|
194
|
+
return __generator(this, function (_a) {
|
|
195
|
+
switch (_a.label) {
|
|
196
|
+
case 0:
|
|
197
|
+
response = null;
|
|
198
|
+
lastType = (0, types_1.normalizeToV2)(messageThread[messageThread.length - 1].type);
|
|
199
|
+
if (!(lastType == types_1.WACIMessageType.OfferCredential)) return [3 /*break*/, 2];
|
|
200
|
+
return [4 /*yield*/, step_4_1_offer_credential_proceed_handler_1.OfferCredentialProceed.handle(messageThread, credentialsToPresent, presentationProofTypes, this.callbacks)];
|
|
201
|
+
case 1:
|
|
202
|
+
response = _a.sent();
|
|
203
|
+
return [3 /*break*/, 4];
|
|
204
|
+
case 2:
|
|
205
|
+
if (!(lastType == types_1.WACIMessageType.RequestPresentation)) return [3 /*break*/, 4];
|
|
206
|
+
return [4 /*yield*/, step_4_1_presentation_proceed_handler_1.PresentationProceed.presentCredentials(messageThread, credentialsToPresent, this.callbacks)];
|
|
207
|
+
case 3:
|
|
208
|
+
response = _a.sent();
|
|
209
|
+
_a.label = 4;
|
|
210
|
+
case 4:
|
|
211
|
+
if (!response) {
|
|
212
|
+
throw new Error("To call this process, the message thread must end with a message of type OfferCredential or RequestPresentation.");
|
|
213
|
+
}
|
|
214
|
+
return [2 /*return*/, __assign(__assign({}, response), { target: response.message.to[0], message: response.message })];
|
|
215
|
+
}
|
|
216
|
+
});
|
|
217
|
+
});
|
|
218
|
+
};
|
|
219
|
+
return WACIInterpreter;
|
|
220
|
+
}());
|
|
221
|
+
exports.WACIInterpreter = WACIInterpreter;
|
|
222
|
+
//# sourceMappingURL=waci-interpreter.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"waci-interpreter.js","sourceRoot":"","sources":["../../src/services/waci-interpreter.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,wCAAuC;AAEvC,kCAckB;AAClB,kCAAuD;AACvD,0CAAoD;AACpD,wHAAqG;AACrG,4HAAwG;AAExG;IAIE;QACE,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;IACtB,CAAC;IAED,kCAAQ,GAAR,UACE,MAAyB,EACzB,KAAQ;QAER,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uCAAa,GAAb,UAAc,cAAmB;QAC/B,IAAI;YACF,IAAM,QAAQ,mCACT,IAAA,uBAAe,EAAC,uBAAe,CAAC,SAChC,IAAA,uBAAe,EAAC,yBAAiB,CAAC,OACtC,CAAC;YACF,OAAO,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;SAC/C;QAAC,OAAO,KAAK,EAAE;YACd,OAAO,KAAK,CAAC;SACd;IACH,CAAC;IAEK,6CAAmB,GAAzB,UACE,SAAiB,EACjB,QAAkB,EAClB,IAAS,EACT,OAAwB;QADxB,qBAAA,EAAA,SAAS;;;;gBAGH,IAAI,GAAG,OAAO,KAAK,sBAAc,CAAC,EAAE;oBACxC,CAAC,CAAC,IAAA,wBAAgB,EAAC,uBAAe,CAAC,mBAAmB,EAAE,sBAAc,CAAC,EAAE,CAAQ;oBACjF,CAAC,CAAC,uBAAe,CAAC,mBAAmB,CAAC;gBAExC,sBAAO;wBACL,IAAI,MAAA;wBACJ,EAAE,EAAE,IAAA,kBAAU,GAAE;wBAChB,IAAI,EAAE,SAAS;wBACf,IAAI,wBACC,IAAI,KACP,SAAS,EAAE,QAAQ,EACnB,MAAM,EAAE,gCAAoB,GAC7B;qBACF,EAAC;;;KACH;IAEK,sDAA4B,GAAlC,UACE,SAAiB,EACjB,SAAiB,EACjB,QAA4B,EAC5B,WAAkC;;;gBAElC,sBAAO;wBACL,IAAI,EAAE,uBAAe,CAAC,eAAe;wBACrC,EAAE,EAAE,IAAA,kBAAU,GAAE;wBAChB,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,CAAC,SAAS,CAAC;wBACf,IAAI,EAAE,EAAE;wBACR,WAAW,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;qBACrC,EAAC;;;KACH;IAEK,wCAAc,GAApB,UACE,aAA4B;;;;;;;wBAEtB,OAAO,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;wBAGlD,eAAe,GAAG,IAAA,4BAAoB,EAAC,OAAO,CAAC,IAAc,CAAC,CAAC;wBAC/D,cAAc,GAAG,IAAA,qBAAa,EAAC,OAAO,CAAC,IAAc,CAAQ,CAAC;;;;mCAEnC,KAAA,cAAA,IAAI,CAAC,aAAa,CAAA;;;;;wBAAlB,cAAkB;wBAAlB,WAAkB;;;;wBAAlC,YAAY,KAAA,CAAA;wBACrB,cAAc,GAAG,mBAAQ,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;6BAC9D,cAAc,EAAd,wBAAc;wBAEV,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;wBAClC,OAAO,CAAC,IAAI,GAAG,cAAc,CAAC;wBAEb,qBAAM,cAAc,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,EAAA;;wBAArE,QAAQ,GAAG,SAA0D;wBAE3E,wBAAwB;wBACxB,OAAO,CAAC,IAAI,GAAG,YAAY,CAAC;wBAE5B,IAAI,QAAQ,EAAE;4BACZ,iEAAiE;4BACjE,IAAI,eAAe,KAAK,sBAAc,CAAC,EAAE,EAAE;gCACzC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,IAAA,wBAAgB,EACtC,QAAQ,CAAC,OAAO,CAAC,IAAc,EAC/B,sBAAc,CAAC,EAAE,CACX,CAAC;6BACV;4BACD,4CACK,QAAQ,KACX,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO,KACzB;yBACH;wBACD,sBAAO;;;;;;;;;;;;;;;;;;;;;;;6BAIX,MAAM,KAAK,CAAC,gDAAyC,OAAO,CAAC,IAAI,MAAG,CAAC,CAAC;;;;KACvE;IAEK,6CAAmB,GAAzB,UACE,aAA4B,EAC5B,oBAA2B,EAC3B,sBAAiC;;;;;;wBAE7B,QAAQ,GAA+B,IAAI,CAAC;wBAG1C,QAAQ,GAAG,IAAA,qBAAa,EAC5B,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAc,CACvD,CAAC;6BAEE,CAAA,QAAQ,IAAI,uBAAe,CAAC,eAAe,CAAA,EAA3C,wBAA2C;wBAClC,qBAAM,kEAAsB,CAAC,MAAM,CAAC,aAAa,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,IAAI,CAAC,SAAS,CAAC,EAAA;;wBAA3H,QAAQ,GAAG,SAAgH,CAAA;;;6BAClH,CAAA,QAAQ,IAAI,uBAAe,CAAC,mBAAmB,CAAA,EAA/C,wBAA+C;wBAC7C,qBAAM,2DAAmB,CAAC,kBAAkB,CAAC,aAAa,EAAE,oBAAoB,EAAE,IAAI,CAAC,SAAS,CAAC,EAAA;;wBAA5G,QAAQ,GAAG,SAAiG,CAAC;;;wBAG/G,IAAI,CAAC,QAAQ,EAAE;4BACb,MAAM,IAAI,KAAK,CAAC,kHAAkH,CAAC,CAAC;yBACrI;wBAED,4CACK,QAAQ,KACX,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO,KACzB;;;;KACH;IACH,sBAAC;AAAD,CAAC,AA1ID,IA0IC;AA1IY,0CAAe"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.Actor = void 0;
|
|
4
|
+
var Actor;
|
|
5
|
+
(function (Actor) {
|
|
6
|
+
Actor["Holder"] = "holder";
|
|
7
|
+
Actor["Issuer"] = "issuer";
|
|
8
|
+
Actor["Verifier"] = "verifier";
|
|
9
|
+
})(Actor = exports.Actor || (exports.Actor = {}));
|
|
10
|
+
//# sourceMappingURL=actor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actor.js","sourceRoot":"","sources":["../../src/types/actor.ts"],"names":[],"mappings":";;;AAAA,IAAY,KAIX;AAJD,WAAY,KAAK;IACf,0BAAiB,CAAA;IACjB,0BAAiB,CAAA;IACjB,8BAAqB,CAAA;AACvB,CAAC,EAJW,KAAK,GAAL,aAAK,KAAL,aAAK,QAIhB"}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
import { ClaimFormat } from './credential-manifest';
|
|
2
|
+
export type CredentialApplication = {
|
|
3
|
+
id: string;
|
|
4
|
+
media_type: 'application/json';
|
|
5
|
+
format: 'dif/credential-manifest/application@v1.0';
|
|
6
|
+
data: {
|
|
7
|
+
json: {
|
|
8
|
+
'@context': string[];
|
|
9
|
+
type: string[];
|
|
10
|
+
credential_application: {
|
|
11
|
+
id: string;
|
|
12
|
+
manifest_id: string;
|
|
13
|
+
format?: ClaimFormat;
|
|
14
|
+
};
|
|
15
|
+
presentation_submission: PresentationSubmission;
|
|
16
|
+
verifiableCredential: any[];
|
|
17
|
+
proof: {
|
|
18
|
+
type: string;
|
|
19
|
+
verificationMethod: string;
|
|
20
|
+
created: string;
|
|
21
|
+
proofPurpose: string;
|
|
22
|
+
challenge: string;
|
|
23
|
+
jws: string;
|
|
24
|
+
};
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
export type PresentationSubmission = {
|
|
29
|
+
id: string;
|
|
30
|
+
definition_id: string;
|
|
31
|
+
descriptor_map: {
|
|
32
|
+
id: string;
|
|
33
|
+
format: string;
|
|
34
|
+
path: string;
|
|
35
|
+
}[];
|
|
36
|
+
};
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"credential-application.js","sourceRoot":"","sources":["../../src/types/credential-application.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,173 @@
|
|
|
1
|
+
import { PresentationSubmission } from './credential-application';
|
|
2
|
+
export type CredentialManifest = {
|
|
3
|
+
id: string;
|
|
4
|
+
media_type: string;
|
|
5
|
+
format: 'dif/credential-manifest/manifest@v1.0';
|
|
6
|
+
data: {
|
|
7
|
+
json: {
|
|
8
|
+
options: {
|
|
9
|
+
challenge: string;
|
|
10
|
+
domain?: string;
|
|
11
|
+
};
|
|
12
|
+
credential_manifest: {
|
|
13
|
+
id: string;
|
|
14
|
+
version: string;
|
|
15
|
+
issuer: {
|
|
16
|
+
id: string;
|
|
17
|
+
name: string;
|
|
18
|
+
styles?: CredentialManifestStyles;
|
|
19
|
+
};
|
|
20
|
+
format?: ClaimFormat;
|
|
21
|
+
output_descriptors: OutputDescriptor[];
|
|
22
|
+
presentation_definition?: PresentationDefinition;
|
|
23
|
+
};
|
|
24
|
+
};
|
|
25
|
+
};
|
|
26
|
+
};
|
|
27
|
+
export type CredentialFulfillment = {
|
|
28
|
+
id: string;
|
|
29
|
+
media_type: 'application/json';
|
|
30
|
+
format: 'dif/credential-manifest/fulfillment@v1.0';
|
|
31
|
+
data: {
|
|
32
|
+
json: {
|
|
33
|
+
'@context': string[];
|
|
34
|
+
type: string[];
|
|
35
|
+
credential_fulfillment: {
|
|
36
|
+
id: string;
|
|
37
|
+
manifest_id: string;
|
|
38
|
+
descriptor_map: {
|
|
39
|
+
id: string;
|
|
40
|
+
format: string;
|
|
41
|
+
path: string;
|
|
42
|
+
}[];
|
|
43
|
+
};
|
|
44
|
+
verifiableCredential: any[];
|
|
45
|
+
};
|
|
46
|
+
};
|
|
47
|
+
};
|
|
48
|
+
export type CredentialRequest = {
|
|
49
|
+
id: string;
|
|
50
|
+
media_type: string;
|
|
51
|
+
format: 'dif/presentation-exchange/definitions@v1.0';
|
|
52
|
+
data: {
|
|
53
|
+
json: {
|
|
54
|
+
options: {
|
|
55
|
+
challenge: string;
|
|
56
|
+
domain?: string;
|
|
57
|
+
};
|
|
58
|
+
presentation_definition?: PresentationDefinition;
|
|
59
|
+
};
|
|
60
|
+
};
|
|
61
|
+
};
|
|
62
|
+
export type CredentialPresentation = {
|
|
63
|
+
id: string;
|
|
64
|
+
media_type: string;
|
|
65
|
+
format: 'dif/presentation-exchange/submission@v1.0';
|
|
66
|
+
data: {
|
|
67
|
+
json: {
|
|
68
|
+
'@context': string[];
|
|
69
|
+
type: string[];
|
|
70
|
+
holder: string;
|
|
71
|
+
verifiableCredential: any[];
|
|
72
|
+
presentation_submission: PresentationSubmission;
|
|
73
|
+
proof: {
|
|
74
|
+
type: string;
|
|
75
|
+
verificationMethod: string;
|
|
76
|
+
created: string;
|
|
77
|
+
proofPurpose: string;
|
|
78
|
+
challenge: string;
|
|
79
|
+
jws: string;
|
|
80
|
+
};
|
|
81
|
+
};
|
|
82
|
+
};
|
|
83
|
+
};
|
|
84
|
+
export type OutputDescriptor = {
|
|
85
|
+
id: string;
|
|
86
|
+
schema?: string;
|
|
87
|
+
display?: {
|
|
88
|
+
title?: DisplayMappingObject;
|
|
89
|
+
subtitle?: DisplayMappingObject;
|
|
90
|
+
description?: DisplayMappingObject;
|
|
91
|
+
properties?: (DisplayMappingObject & {
|
|
92
|
+
label?: string;
|
|
93
|
+
})[];
|
|
94
|
+
};
|
|
95
|
+
styles: CredentialManifestStyles;
|
|
96
|
+
};
|
|
97
|
+
export type DisplayMappingObject = {
|
|
98
|
+
path?: string[];
|
|
99
|
+
schema?: {
|
|
100
|
+
type?: string;
|
|
101
|
+
};
|
|
102
|
+
fallback?: string;
|
|
103
|
+
} | {
|
|
104
|
+
text: string;
|
|
105
|
+
};
|
|
106
|
+
export type ClaimFormat = {
|
|
107
|
+
jwt?: {
|
|
108
|
+
alg: string[];
|
|
109
|
+
};
|
|
110
|
+
jwt_vc?: {
|
|
111
|
+
alg: string[];
|
|
112
|
+
};
|
|
113
|
+
jwt_vp?: {
|
|
114
|
+
alg: string[];
|
|
115
|
+
};
|
|
116
|
+
ldp_vc?: {
|
|
117
|
+
proof_type: string[];
|
|
118
|
+
};
|
|
119
|
+
ldp_vp?: {
|
|
120
|
+
proof_type: string[];
|
|
121
|
+
};
|
|
122
|
+
ldp?: {
|
|
123
|
+
proof_type: string[];
|
|
124
|
+
};
|
|
125
|
+
};
|
|
126
|
+
export type PresentationDefinitionFrame = {
|
|
127
|
+
'@context': string[];
|
|
128
|
+
type: string[];
|
|
129
|
+
credentialSubject: {
|
|
130
|
+
"@explicit": boolean;
|
|
131
|
+
type: string[];
|
|
132
|
+
[key: string]: {};
|
|
133
|
+
};
|
|
134
|
+
};
|
|
135
|
+
export type PresentationDefinition = {
|
|
136
|
+
id: string;
|
|
137
|
+
input_descriptors: InputDescriptor[];
|
|
138
|
+
frame?: PresentationDefinitionFrame;
|
|
139
|
+
name?: string;
|
|
140
|
+
purpose?: string;
|
|
141
|
+
format?: ClaimFormat;
|
|
142
|
+
};
|
|
143
|
+
export type InputDescriptor = {
|
|
144
|
+
id: string;
|
|
145
|
+
constraints: {
|
|
146
|
+
fields: {
|
|
147
|
+
path: string[];
|
|
148
|
+
id?: string;
|
|
149
|
+
purpose?: string;
|
|
150
|
+
filter?: {
|
|
151
|
+
type: string;
|
|
152
|
+
const?: any;
|
|
153
|
+
};
|
|
154
|
+
}[];
|
|
155
|
+
limit_disclosure?: 'required' | 'preferred';
|
|
156
|
+
};
|
|
157
|
+
name?: string;
|
|
158
|
+
purpose?: string;
|
|
159
|
+
format?: ClaimFormat;
|
|
160
|
+
};
|
|
161
|
+
export type CredentialManifestStyles = {
|
|
162
|
+
thumbnail?: ThumbnailImage;
|
|
163
|
+
hero?: ThumbnailImage;
|
|
164
|
+
background?: ColorDefinition;
|
|
165
|
+
text?: ColorDefinition;
|
|
166
|
+
};
|
|
167
|
+
export type ColorDefinition = {
|
|
168
|
+
color: string;
|
|
169
|
+
};
|
|
170
|
+
export type ThumbnailImage = {
|
|
171
|
+
uri: string;
|
|
172
|
+
alt: string;
|
|
173
|
+
};
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"credential-manifest.js","sourceRoot":"","sources":["../../src/types/credential-manifest.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
14
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
15
|
+
};
|
|
16
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
17
|
+
__exportStar(require("./actor"), exports);
|
|
18
|
+
__exportStar(require("./waci-message"), exports);
|
|
19
|
+
__exportStar(require("./credential-manifest"), exports);
|
|
20
|
+
__exportStar(require("./credential-application"), exports);
|
|
21
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,iDAA+B;AAC/B,wDAAsC;AACtC,2DAAyC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
export interface ProblemReportBody {
|
|
2
|
+
code: string;
|
|
3
|
+
comment?: string;
|
|
4
|
+
args?: string[];
|
|
5
|
+
escalate_to?: string;
|
|
6
|
+
}
|
|
7
|
+
export declare class ProblemReportMessage {
|
|
8
|
+
code: string;
|
|
9
|
+
comment?: string;
|
|
10
|
+
args?: string[];
|
|
11
|
+
escalate_to?: string;
|
|
12
|
+
presentProofMessage(code: string, comment?: string, args?: string[], escalate_to?: string): ProblemReportBody;
|
|
13
|
+
}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.ProblemReportMessage = void 0;
|
|
4
|
+
var ProblemReportMessage = /** @class */ (function () {
|
|
5
|
+
function ProblemReportMessage() {
|
|
6
|
+
}
|
|
7
|
+
ProblemReportMessage.prototype.presentProofMessage = function (code, comment, args, escalate_to) {
|
|
8
|
+
return {
|
|
9
|
+
code: code,
|
|
10
|
+
comment: comment,
|
|
11
|
+
args: args,
|
|
12
|
+
escalate_to: escalate_to
|
|
13
|
+
};
|
|
14
|
+
};
|
|
15
|
+
return ProblemReportMessage;
|
|
16
|
+
}());
|
|
17
|
+
exports.ProblemReportMessage = ProblemReportMessage;
|
|
18
|
+
//# sourceMappingURL=problem-report.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"problem-report.js","sourceRoot":"","sources":["../../src/types/problem-report.ts"],"names":[],"mappings":";;;AAUA;IAAA;IAkBA,CAAC;IAVG,kDAAmB,GAAnB,UAAoB,IAAY,EAAE,OAAe,EAAE,IAAe,EAAE,WAAoB;QACpF,OAAO;YACH,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,WAAW;SAC3B,CAAA;IACL,CAAC;IAGL,2BAAC;AAAD,CAAC,AAlBD,IAkBC;AAlBY,oDAAoB"}
|