occam-verify-cli 0.0.1020 → 0.0.1021

package/lib/metaType/statement.js

@@ -1,111 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _metaType = /*#__PURE__*/ _interop_require_default(require("../metaType"));
-var _metaTypeNames = require("../metaTypeNames");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var StatementMetaType = /*#__PURE__*/ function(MetaType) {
-    _inherits(StatementMetaType, MetaType);
-    function StatementMetaType() {
-        _class_call_check(this, StatementMetaType);
-        return _call_super(this, StatementMetaType, arguments);
-    }
-    _create_class(StatementMetaType, null, [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var name = _metaTypeNames.STATEMENT_META_TYPE_NAME, statementMetaType = new StatementMetaType(name);
-                return statementMetaType;
-            }
-        }
-    ]);
-    return StatementMetaType;
-}(_metaType.default);
-var statementMetaType = StatementMetaType.fromNothing();
-var _default = statementMetaType;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9tZXRhVHlwZS9zdGF0ZW1lbnQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBNZXRhVHlwZSBmcm9tIFwiLi4vbWV0YVR5cGVcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uL21ldGFUeXBlTmFtZXNcIjtcblxuY2xhc3MgU3RhdGVtZW50TWV0YVR5cGUgZXh0ZW5kcyBNZXRhVHlwZSB7XG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCBuYW1lID0gU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE1ldGFUeXBlID0gbmV3IFN0YXRlbWVudE1ldGFUeXBlKG5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE1ldGFUeXBlO1xuICB9XG59XG5cbmNvbnN0IHN0YXRlbWVudE1ldGFUeXBlID0gU3RhdGVtZW50TWV0YVR5cGUuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgc3RhdGVtZW50TWV0YVR5cGU7XG4iXSwibmFtZXMiOlsiU3RhdGVtZW50TWV0YVR5cGUiLCJmcm9tTm90aGluZyIsIm5hbWUiLCJTVEFURU1FTlRfTUVUQV9UWVBFX05BTUUiLCJzdGF0ZW1lbnRNZXRhVHlwZSIsIk1ldGFUeXBlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFpQkE7OztlQUFBOzs7K0RBZnFCOzZCQUVvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV6QyxJQUFBLEFBQU1BLGtDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDR0MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTUMsT0FBT0MsdUNBQXdCLEVBQy9CQyxvQkFBb0IsSUFIeEJKLGtCQUc4Q0U7Z0JBRWhELE9BQU9FO1lBQ1Q7OztXQU5JSjtFQUEwQkssaUJBQVE7QUFTeEMsSUFBTUQsb0JBQW9CSixrQkFBa0JDLFdBQVc7SUFFdkQsV0FBZUcifQ==

package/src/metaType/frame.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import MetaType from "../metaType";
-
-import { FRAME_META_TYPE_NAME } from "../metaTypeNames";
-
-class FrameMetaType extends MetaType {
-  static fromNothing() {
-    const name = FRAME_META_TYPE_NAME,
-          frameMetaType = new FrameMetaType(name);
-
-    return frameMetaType;
-  }
-}
-
-const frameMetaType = FrameMetaType.fromNothing();
-
-export default frameMetaType;

package/src/metaType/reference.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import MetaType from "../metaType";
-
-import { REFERENCE_META_TYPE_NAME } from "../metaTypeNames";
-
-class ReferenceMetaType extends MetaType {
-  static fromNothing() {
-    const name = REFERENCE_META_TYPE_NAME,
-          referenceMetaType = new ReferenceMetaType(name);
-
-    return referenceMetaType;
-  }
-}
-
-const referenceMetaType = ReferenceMetaType.fromNothing();
-
-export default referenceMetaType;

package/src/metaType/statement.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import MetaType from "../metaType";
-
-import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
-
-class StatementMetaType extends MetaType {
-  static fromNothing() {
-    const name = STATEMENT_META_TYPE_NAME,
-          statementMetaType = new StatementMetaType(name);
-
-    return statementMetaType;
-  }
-}
-
-const statementMetaType = StatementMetaType.fromNothing();
-
-export default statementMetaType;