proof-js/packages.js at master · edkins/proof-js · GitHub

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
var pkg_logic = {
  name: 'logic',
  alternative_names: [],
  depends: [],
  specials: {},
  names: {
    'true' : new Boolean(true),
    'false' : new Boolean(false)
  },
  operators: {
    '=' : new Operator(
      Boolean,
      function(a, b) { return is_number(a) && is_number(b) || is_boolean(a) && is_boolean(b); },
      function(a, b) { return new Boolean(a.valueOf() == b.valueOf()); }
    ),
    '&&' : new Operator(
      Boolean,
      function(a, b) { return is_boolean(a) && is_boolean(b); },
      function(a, b) { return new Boolean(a.valueOf() && b.valueOf()); }
    ),
    '||' : new Operator(
      Boolean,
      function(a, b) { return is_boolean(a) && is_boolean(b); },
      function(a, b) { return new Boolean(a.valueOf() || b.valueOf()); }
    )
  }
};

var pkg_math = {
  name: 'mathematics',
  alternative_names: ['math', 'maths'],
  depends: ['logic'],
  specials: {'<number>':new Special()},
  names: {},
  operators: {
    '+' : new Operator(
      Number,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Number(a + b); }
    ),
    '-' : new Operator(
      Number,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Number(a - b); }
    ),
    '*' : new Operator(
      Number,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Number(a * b); }
    ),

    '<' : new Operator(
      Boolean,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Boolean(a < b); }
    ),
    '<=' : new Operator(
      Boolean,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Boolean(a <= b); }
    ),
    '>' : new Operator(
      Boolean,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Boolean(a > b); }
    ),
    '>=' : new Operator(
      Boolean,
      function(a, b) { return is_number(a) && is_number(b); },
      function(a, b) { return new Boolean(a >= b); }
    ),
  }
};

function findPackage(name)
{
  var list = packageList();
  for (var i = 0; i < list.length; i++)
  {
    if (list[i].name == name || list[i].alternative_names.indexOf(name) != -1)
      return list[i];
  }
  return undefined;
}

function packageList()
{
  return [pkg_logic, pkg_math];
}