aboutsummaryrefslogtreecommitdiff
path: root/extension/background/checkable.ts
blob: f7e99df92a5b9eea27a2fb0ffdd22742c302d529 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
/*
 This file is part of TALER
 (C) 2016 GNUnet e.V.

 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.

 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
 TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
 */

"use strict";

/**
 * Decorators for type-checking JSON into
 * an object.
 * @module Checkable
 * @author Florian Dold
 */


namespace Checkable {
  let chkSym = Symbol("checkable");

  function checkNumber(target, prop): any {
    if ((typeof target) !== "number") {
      throw Error("number expected for " + prop.propertyKey);
    }
    return target;
  }

  function checkString(target, prop): any {
    if (typeof target !== "string") {
      throw Error("string expected for " + prop.propertyKey);
    }
    return target;
  }

  function checkValue(target, prop): any {
    let type = prop.type;
    if (!type) {
      throw Error("assertion failed");
    }
    let v = target;
    if (!v || typeof v !== "object") {
      throw Error("expected object for " + prop.propertyKey);
    }
    let props = type.prototype[chkSym].props;
    let remainingPropNames = new Set(Object.getOwnPropertyNames(v));
    let obj = new type();
    for (let prop of props) {
      if (!remainingPropNames.has(prop.propertyKey)) {
        throw Error("Property missing: " + prop.propertyKey);
      }
      if (!remainingPropNames.delete(prop.propertyKey)) {
        throw Error("assertion failed");
      }
      let propVal = v[prop.propertyKey];
      obj[prop.propertyKey] = prop.checker(propVal, prop);
    }

    if (remainingPropNames.size != 0) {
      throw Error("superfluous properties " + JSON.stringify(Array.from(
                    remainingPropNames.values())));
    }
    return obj;
  }

  export function Class(target) {
    target.checked = (v) => {
      return checkValue(v, {
        propertyKey: "(root)",
        type: target,
        checker: checkValue
      });
    };
    return target;
  }

  export function Value(type) {
    function deco(target: Object, propertyKey: string | symbol): void {
      let chk = target[chkSym];
      if (!chk) {
        chk = {props: []};
        target[chkSym] = chk;
      }
      chk.props.push({
                       propertyKey: propertyKey,
                       checker: checkValue,
                       type: type
                     });
    }

    return deco;
  }

  export function List(type) {
    function deco(target: Object, propertyKey: string | symbol): void {
      throw Error("not implemented");
    }

    return deco;
  }

  export function Number(target: Object, propertyKey: string | symbol): void {
    let chk = target[chkSym];
    if (!chk) {
      chk = {props: []};
      target[chkSym] = chk;
    }
    chk.props.push({propertyKey: propertyKey, checker: checkNumber});
  }

  export function String(target: Object, propertyKey: string | symbol): void {
    let chk = target[chkSym];
    if (!chk) {
      chk = {props: []};
      target[chkSym] = chk;
    }
    chk.props.push({propertyKey: propertyKey, checker: checkString});
  }
}