wallet-core/src/util/codec.ts

337 lines
8.3 KiB
TypeScript
Raw Normal View History

2019-12-14 17:23:31 +01:00
/*
This file is part of GNU Taler
(C) 2018-2019 GNUnet e.V.
GNU Taler is free software; you can redistribute it and/or modify it under the
terms of the GNU General Public License as published by the Free Software
Foundation; either version 3, or (at your option) any later version.
GNU Taler is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with
GNU Taler; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
*/
/**
* Type-safe codecs for converting from/to JSON.
*/
/**
* Error thrown when decoding fails.
*/
export class DecodingError extends Error {
constructor(message: string) {
super(message);
Object.setPrototypeOf(this, DecodingError.prototype);
this.name = "DecodingError";
}
}
/**
* Context information to show nicer error messages when decoding fails.
*/
export interface Context {
2019-12-14 17:23:31 +01:00
readonly path?: string[];
}
export function renderContext(c?: Context): string {
2019-12-14 17:23:31 +01:00
const p = c?.path;
if (p) {
return p.join(".");
} else {
return "(unknown)";
}
}
function joinContext(c: Context | undefined, part: string): Context {
const path = c?.path ?? [];
return {
path: path.concat([part]),
};
}
/**
* A codec converts untyped JSON to a typed object.
*/
export interface Codec<V> {
/**
* Decode untyped JSON to an object of type [[V]].
*/
readonly decode: (x: any, c?: Context) => V;
}
type SingletonRecord<K extends keyof any, V> = { [Y in K]: V };
interface Prop {
name: string;
codec: Codec<any>;
}
2019-12-14 17:55:31 +01:00
interface Alternative {
tagValue: any;
codec: Codec<any>;
}
2019-12-16 12:53:22 +01:00
class ObjectCodecBuilder<OutputType, PartialOutputType> {
2019-12-14 17:23:31 +01:00
private propList: Prop[] = [];
/**
* Define a property for the object.
*/
2019-12-16 12:53:22 +01:00
property<K extends keyof OutputType & string, V extends OutputType[K]>(
2019-12-14 17:23:31 +01:00
x: K,
codec: Codec<V>,
2019-12-16 12:53:22 +01:00
): ObjectCodecBuilder<OutputType, PartialOutputType & SingletonRecord<K, V>> {
if (!codec) {
throw Error("inner codec must be defined");
}
2019-12-14 17:23:31 +01:00
this.propList.push({ name: x, codec: codec });
return this as any;
}
/**
* Return the built codec.
*
* @param objectDisplayName name of the object that this codec operates on,
* used in error messages.
*/
2019-12-16 12:53:22 +01:00
build(objectDisplayName: string): Codec<PartialOutputType> {
2019-12-14 17:23:31 +01:00
const propList = this.propList;
return {
2019-12-16 12:53:22 +01:00
decode(x: any, c?: Context): PartialOutputType {
2019-12-14 17:23:31 +01:00
if (!c) {
c = {
path: [`(${objectDisplayName})`],
};
}
const obj: any = {};
for (const prop of propList) {
const propRawVal = x[prop.name];
const propVal = prop.codec.decode(
propRawVal,
joinContext(c, prop.name),
);
obj[prop.name] = propVal;
}
2019-12-16 12:53:22 +01:00
return obj as PartialOutputType;
2019-12-14 17:23:31 +01:00
},
};
}
}
2019-12-16 12:53:22 +01:00
class UnionCodecBuilder<
TargetType,
TagPropertyLabel extends keyof TargetType,
CommonBaseType,
PartialTargetType
> {
2019-12-14 17:55:31 +01:00
private alternatives = new Map<any, Alternative>();
2019-12-16 12:53:22 +01:00
constructor(
private discriminator: TagPropertyLabel,
private baseCodec?: Codec<CommonBaseType>,
) {}
2019-12-14 17:55:31 +01:00
/**
* Define a property for the object.
*/
alternative<V>(
2019-12-16 12:53:22 +01:00
tagValue: TargetType[TagPropertyLabel],
2019-12-14 17:55:31 +01:00
codec: Codec<V>,
2019-12-16 12:53:22 +01:00
): UnionCodecBuilder<
TargetType,
TagPropertyLabel,
CommonBaseType,
PartialTargetType | V
> {
if (!codec) {
throw Error("inner codec must be defined");
}
2019-12-14 17:55:31 +01:00
this.alternatives.set(tagValue, { codec, tagValue });
return this as any;
}
/**
* Return the built codec.
*
* @param objectDisplayName name of the object that this codec operates on,
* used in error messages.
*/
2019-12-16 12:53:22 +01:00
build<R extends PartialTargetType & CommonBaseType = never>(
objectDisplayName: string,
): Codec<R> {
2019-12-14 17:55:31 +01:00
const alternatives = this.alternatives;
const discriminator = this.discriminator;
const baseCodec = this.baseCodec;
2019-12-14 17:55:31 +01:00
return {
decode(x: any, c?: Context): R {
const d = x[discriminator];
if (d === undefined) {
throw new DecodingError(
`expected tag for ${objectDisplayName} at ${renderContext(
c,
)}.${discriminator}`,
);
2019-12-14 17:55:31 +01:00
}
const alt = alternatives.get(d);
if (!alt) {
throw new DecodingError(
`unknown tag for ${objectDisplayName} ${d} at ${renderContext(
c,
)}.${discriminator}`,
);
2019-12-14 17:55:31 +01:00
}
const altDecoded = alt.codec.decode(x);
if (baseCodec) {
const baseDecoded = baseCodec.decode(x, c);
return { ...baseDecoded, ...altDecoded };
} else {
return altDecoded;
}
},
2019-12-14 17:55:31 +01:00
};
}
}
2019-12-16 12:53:22 +01:00
export class UnionCodecPreBuilder<T> {
discriminateOn<D extends keyof T, B = {}>(
discriminator: D,
baseCodec?: Codec<B>,
): UnionCodecBuilder<T, D, B, never> {
return new UnionCodecBuilder<T, D, B, never>(discriminator, baseCodec);
}
}
2019-12-14 17:23:31 +01:00
/**
2019-12-16 12:53:22 +01:00
* Return a builder for a codec that decodes an object with properties.
2019-12-14 17:23:31 +01:00
*/
2019-12-16 12:53:22 +01:00
export function makeCodecForObject<T>(): ObjectCodecBuilder<T, {}> {
return new ObjectCodecBuilder<T, {}>();
}
export function makeCodecForUnion<T>(): UnionCodecPreBuilder<T> {
return new UnionCodecPreBuilder<T>();
}
2019-12-14 17:23:31 +01:00
2019-12-14 17:55:31 +01:00
/**
2019-12-16 12:53:22 +01:00
* Return a codec for a mapping from a string to values described by the inner codec.
2019-12-14 17:55:31 +01:00
*/
2019-12-16 12:53:22 +01:00
export function makeCodecForMap<T>(
innerCodec: Codec<T>,
): Codec<{ [x: string]: T }> {
if (!innerCodec) {
throw Error("inner codec must be defined");
}
2019-12-14 17:55:31 +01:00
return {
2019-12-16 12:53:22 +01:00
decode(x: any, c?: Context): { [x: string]: T } {
const map: { [x: string]: T } = {};
if (typeof x !== "object") {
throw new DecodingError(`expected object at ${renderContext(c)}`);
2019-12-14 17:55:31 +01:00
}
2019-12-16 12:53:22 +01:00
for (const i in x) {
map[i] = innerCodec.decode(x[i], joinContext(c, `[${i}]`));
}
return map;
},
};
}
2019-12-14 17:55:31 +01:00
2019-12-14 17:23:31 +01:00
/**
* Return a codec for a list, containing values described by the inner codec.
*/
2019-12-16 12:53:22 +01:00
export function makeCodecForList<T>(innerCodec: Codec<T>): Codec<T[]> {
if (!innerCodec) {
throw Error("inner codec must be defined");
}
2019-12-14 17:23:31 +01:00
return {
decode(x: any, c?: Context): T[] {
const arr: T[] = [];
if (!Array.isArray(x)) {
throw new DecodingError(`expected array at ${renderContext(c)}`);
}
for (const i in x) {
arr.push(innerCodec.decode(x[i], joinContext(c, `[${i}]`)));
}
return arr;
},
};
}
/**
2019-12-16 12:53:22 +01:00
* Return a codec for a value that must be a number.
2019-12-14 17:23:31 +01:00
*/
2019-12-16 12:53:22 +01:00
export const codecForNumber: Codec<number> = {
decode(x: any, c?: Context): number {
if (typeof x === "number") {
return x;
}
throw new DecodingError(`expected number at ${renderContext(c)} but got ${typeof x}`);
},
};
/**
* Return a codec for a value that must be a number.
*/
export const codecForBoolean: Codec<boolean> = {
decode(x: any, c?: Context): boolean {
if (typeof x === "boolean") {
return x;
}
throw new DecodingError(`expected boolean at ${renderContext(c)} but got ${typeof x}`);
2019-12-16 12:53:22 +01:00
},
};
2019-12-14 17:23:31 +01:00
2019-12-16 12:53:22 +01:00
/**
* Return a codec for a value that must be a string.
*/
export const codecForString: Codec<string> = {
decode(x: any, c?: Context): string {
if (typeof x === "string") {
return x;
}
throw new DecodingError(`expected string at ${renderContext(c)} but got ${typeof x}`);
},
};
/**
* Codec that allows any value.
*/
export const codecForAny: Codec<any> = {
decode(x: any, c?: Context): any {
return x;
2019-12-16 12:53:22 +01:00
},
};
2019-12-14 18:00:03 +01:00
2019-12-14 17:23:31 +01:00
/**
2019-12-16 12:53:22 +01:00
* Return a codec for a value that must be a string.
2019-12-14 17:23:31 +01:00
*/
2019-12-16 12:53:22 +01:00
export function makeCodecForConstString<V extends string>(s: V): Codec<V> {
return {
decode(x: any, c?: Context): V {
if (x === s) {
return x;
}
throw new DecodingError(
`expected string constant "${s}" at ${renderContext(c)} but got ${typeof x}`,
2019-12-16 12:53:22 +01:00
);
},
};
2019-12-14 17:23:31 +01:00
}
2019-12-14 17:55:31 +01:00
export function makeCodecOptional<V>(innerCodec: Codec<V>): Codec<V | undefined> {
return {
decode(x: any, c?: Context): V | undefined {
if (x === undefined || x === null) {
return undefined;
}
return innerCodec.decode(x, c);
}
}
}
2019-12-16 12:53:22 +01:00
export function typecheckedCodec<T = undefined>(c: Codec<T>): Codec<T> {
return c;
2019-12-14 17:55:31 +01:00
}