1 | "use strict";
|
2 |
|
3 | Object.defineProperty(exports, "__esModule", {
|
4 | value: true
|
5 | });
|
6 | exports.setCreate = setCreate;
|
7 | exports.setEnvironment = setEnvironment;
|
8 | exports.setFunctions = setFunctions;
|
9 | exports.setHavoc = setHavoc;
|
10 | exports.setJoin = setJoin;
|
11 | exports.setPath = setPath;
|
12 | exports.setProperties = setProperties;
|
13 | exports.setTo = setTo;
|
14 | exports.setWiden = setWiden;
|
15 | exports.setConcretize = setConcretize;
|
16 | exports.setUtils = setUtils;
|
17 | exports.Utils = exports.concretize = exports.Widen = exports.To = exports.Properties = exports.Path = exports.Join = exports.Havoc = exports.Functions = exports.Environment = exports.Create = void 0;
|
18 |
|
19 |
|
20 |
|
21 |
|
22 |
|
23 |
|
24 |
|
25 |
|
26 |
|
27 | let Create = null;
|
28 | exports.Create = Create;
|
29 | let Environment = null;
|
30 | exports.Environment = Environment;
|
31 | let Functions = null;
|
32 | exports.Functions = Functions;
|
33 | let Havoc = null;
|
34 | exports.Havoc = Havoc;
|
35 | let Join = null;
|
36 | exports.Join = Join;
|
37 | let Path = null;
|
38 | exports.Path = Path;
|
39 | let Properties = null;
|
40 | exports.Properties = Properties;
|
41 | let To = null;
|
42 | exports.To = To;
|
43 | let Widen = null;
|
44 | exports.Widen = Widen;
|
45 | let concretize = null;
|
46 | exports.concretize = concretize;
|
47 | let Utils = null;
|
48 | exports.Utils = Utils;
|
49 |
|
50 | function setCreate(singleton) {
|
51 | exports.Create = Create = singleton;
|
52 | }
|
53 |
|
54 | function setEnvironment(singleton) {
|
55 | exports.Environment = Environment = singleton;
|
56 | }
|
57 |
|
58 | function setFunctions(singleton) {
|
59 | exports.Functions = Functions = singleton;
|
60 | }
|
61 |
|
62 | function setHavoc(singleton) {
|
63 | exports.Havoc = Havoc = singleton;
|
64 | }
|
65 |
|
66 | function setJoin(singleton) {
|
67 | exports.Join = Join = singleton;
|
68 | }
|
69 |
|
70 | function setPath(singleton) {
|
71 | exports.Path = Path = singleton;
|
72 | }
|
73 |
|
74 | function setProperties(singleton) {
|
75 | exports.Properties = Properties = singleton;
|
76 | }
|
77 |
|
78 | function setTo(singleton) {
|
79 | exports.To = To = singleton;
|
80 | }
|
81 |
|
82 | function setWiden(singleton) {
|
83 | exports.Widen = Widen = singleton;
|
84 | }
|
85 |
|
86 | function setConcretize(singleton) {
|
87 | exports.concretize = concretize = singleton;
|
88 | }
|
89 |
|
90 | function setUtils(singleton) {
|
91 | exports.Utils = Utils = singleton;
|
92 | }
|
93 |
|
\ | No newline at end of file |