1 | "use strict";
|
2 |
|
3 | Object.defineProperty(exports, "__esModule", {
|
4 | value: true
|
5 | });
|
6 | exports.default = _default;
|
7 |
|
8 | var Singletons = _interopRequireWildcard(require("./singletons.js"));
|
9 |
|
10 | var _create = require("./methods/create.js");
|
11 |
|
12 | var _environment = require("./methods/environment.js");
|
13 |
|
14 | var _function = require("./methods/function.js");
|
15 |
|
16 | var _havoc = require("./utils/havoc.js");
|
17 |
|
18 | var _join = require("./methods/join.js");
|
19 |
|
20 | var _paths = require("./utils/paths.js");
|
21 |
|
22 | var _properties = require("./methods/properties.js");
|
23 |
|
24 | var _to = require("./methods/to.js");
|
25 |
|
26 | var _widen = require("./methods/widen.js");
|
27 |
|
28 | var _ConcreteModelConverter = require("./utils/ConcreteModelConverter.js");
|
29 |
|
30 | var utils = _interopRequireWildcard(require("./utils.js"));
|
31 |
|
32 | function _interopRequireWildcard(obj) { if (obj && obj.__esModule) { return obj; } else { var newObj = {}; if (obj != null) { for (var key in obj) { if (Object.prototype.hasOwnProperty.call(obj, key)) { var desc = Object.defineProperty && Object.getOwnPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : {}; if (desc.get || desc.set) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } } newObj.default = obj; return newObj; } }
|
33 |
|
34 |
|
35 |
|
36 |
|
37 |
|
38 |
|
39 |
|
40 |
|
41 |
|
42 | function _default() {
|
43 | Singletons.setCreate(new _create.CreateImplementation());
|
44 | Singletons.setEnvironment(new _environment.EnvironmentImplementation());
|
45 | Singletons.setFunctions(new _function.FunctionImplementation());
|
46 | Singletons.setHavoc(new _havoc.HavocImplementation());
|
47 | Singletons.setJoin(new _join.JoinImplementation());
|
48 | Singletons.setPath(new _paths.PathImplementation());
|
49 | Singletons.setProperties(new _properties.PropertiesImplementation());
|
50 | Singletons.setTo(new _to.ToImplementation());
|
51 | Singletons.setWiden(new _widen.WidenImplementation());
|
52 | Singletons.setConcretize(_ConcreteModelConverter.concretize);
|
53 | Singletons.setUtils(utils);
|
54 | }
|
55 |
|
\ | No newline at end of file |