| 1 | {"version":3,"sources":["../src/initialize-singletons.js"],"names":["Singletons","setCreate","CreateImplementation","setEnvironment","EnvironmentImplementation","setFunctions","FunctionImplementation","setHavoc","HavocImplementation","setJoin","JoinImplementation","setPath","PathImplementation","setProperties","PropertiesImplementation","setTo","ToImplementation","setWiden","WidenImplementation","setConcretize","concretize","setUtils","utils"],"mappings":";;;;;;;AAWA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;AACA;;;;AAtBA;;;;;;;;AAwBe,oBAAW;AACxBA,aAAWC,SAAX,CAAqB,IAAIC,4BAAJ,EAArB;AACAF,aAAWG,cAAX,CAA0B,IAAIC,sCAAJ,EAA1B;AACAJ,aAAWK,YAAX,CAAwB,IAAIC,gCAAJ,EAAxB;AACAN,aAAWO,QAAX,CAAoB,IAAIC,0BAAJ,EAApB;AACAR,aAAWS,OAAX,CAAmB,IAAIC,wBAAJ,EAAnB;AACAV,aAAWW,OAAX,CAAmB,IAAIC,yBAAJ,EAAnB;AACAZ,aAAWa,aAAX,CAA0B,IAAIC,oCAAJ,EAA1B;AACAd,aAAWe,KAAX,CAAkB,IAAIC,oBAAJ,EAAlB;AACAhB,aAAWiB,QAAX,CAAqB,IAAIC,0BAAJ,EAArB;AACAlB,aAAWmB,aAAX,CAAyBC,kCAAzB;AACApB,aAAWqB,QAAX,CAAoBC,KAApB;AACD","sourcesContent":["/**\n * Copyright (c) 2017-present, Facebook, Inc.\n * All rights reserved.\n *\n * This source code is licensed under the BSD-style license found in the\n * LICENSE file in the root directory of this source tree. An additional grant\n * of patent rights can be found in the PATENTS file in the same directory.\n */\n\n/* @flow */\n\nimport * as Singletons from \"./singletons.js\";\nimport { CreateImplementation } from \"./methods/create.js\";\nimport { EnvironmentImplementation } from \"./methods/environment.js\";\nimport { FunctionImplementation } from \"./methods/function.js\";\nimport { HavocImplementation } from \"./utils/havoc.js\";\nimport { JoinImplementation } from \"./methods/join.js\";\nimport { PathImplementation } from \"./utils/paths.js\";\nimport { PropertiesImplementation } from \"./methods/properties.js\";\nimport { ToImplementation } from \"./methods/to.js\";\nimport { WidenImplementation } from \"./methods/widen.js\";\nimport { concretize } from \"./utils/ConcreteModelConverter.js\";\nimport * as utils from \"./utils.js\";\n\nexport default function() {\n Singletons.setCreate(new CreateImplementation());\n Singletons.setEnvironment(new EnvironmentImplementation());\n Singletons.setFunctions(new FunctionImplementation());\n Singletons.setHavoc(new HavocImplementation());\n Singletons.setJoin(new JoinImplementation());\n Singletons.setPath(new PathImplementation());\n Singletons.setProperties((new PropertiesImplementation(): any));\n Singletons.setTo((new ToImplementation(): any));\n Singletons.setWiden((new WidenImplementation(): any));\n Singletons.setConcretize(concretize);\n Singletons.setUtils(utils);\n}\n"],"file":"initialize-singletons.js"} |