@modular-circuit/perc 0.0.51

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2022-current Alberto Schiabel
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,40 @@
+# PERC
+
+This is the Programmable Electrical Rules Checking repository.
+
+## Key Points
+
+### EESchematic
+
+1. Pins are either power connections or belong to a uniquely-annotated symbol, so they don't need a path if they are driving the subgraph.
+2. PT_POWER_IN, ///< power input (GND, VCC for ICs). Must be connected to a power output.
+3. PT_POWER_OUT, ///< output of a regulator: intended to be connected to power input pins
+4. Using PWR_FLAG to tell ERC that the power input is intended to be connected to a regulator.
+
+### NetList
+
+1.  Connected component
+
+Each net is a [connected component](<https://en.wikipedia.org/wiki/Component_(graph_theory)>).
+
+https://github.com/bloominstituteoftechnology/Graphs.git
+
+## References
+
+https://www.synopsys.com/glossary/what-is-programmable-electrical-rules-checking.html
+
+https://www.allaboutcircuits.com/industry-articles/importance-of-advanced-erc-circuit-design
+
+https://aniah.fr
+
+https://semiconwiki.com/advanced-reliability-verification-mentors-calibre-perc/
+
+https://semiwiki.com/eda/2296-a-programmable-electrical-rule-checker/
+
+https://resources.pcb.cadence.com/blog/2023-electrical-rule-check
+
+https://eda.sw.siemens.com/en-US/ic/calibre-design/reliability-verification/perc/
+
+https://resources.pcb.cadence.com/blog/2023-electrical-rule-check
+
+https://zhuanlan.zhihu.com/p/674943393

package/build/erc/connect_graph_visitor/index.d.ts

@@ -0,0 +1,2 @@
+export * from './visitor';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/connect_graph_visitor/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/erc/connect_graph_visitor/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAA"}

package/build/erc/connect_graph_visitor/index.js

@@ -0,0 +1 @@
+export * from './visitor';

package/build/erc/connect_graph_visitor/visitor.d.ts

@@ -0,0 +1,5 @@
+import type { ConnectionSubgraph } from '@modular-circuit/electronics-model';
+export interface CG_Visitor {
+    visit_cc(cc: ConnectionSubgraph): void;
+}
+//# sourceMappingURL=visitor.d.ts.map

package/build/erc/connect_graph_visitor/visitor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.d.ts","sourceRoot":"","sources":["../../../src/erc/connect_graph_visitor/visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AAE5E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,kBAAkB,GAAG,IAAI,CAAA;CACvC"}

package/build/erc/context/connection_graph_builder_ctx.d.ts

@@ -0,0 +1,7 @@
+import type { ModuleResolver } from '@modular-circuit/ir';
+export interface CONNECTION_GRAPH_BUILDER_CTX {
+    module_resolver: ModuleResolver;
+    dependencies: Record<string, string>;
+    schematics: Record<string, unknown>;
+}
+//# sourceMappingURL=connection_graph_builder_ctx.d.ts.map

package/build/erc/context/connection_graph_builder_ctx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection_graph_builder_ctx.d.ts","sourceRoot":"","sources":["../../../src/erc/context/connection_graph_builder_ctx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEzD,MAAM,WAAW,4BAA4B;IAC3C,eAAe,EAAE,cAAc,CAAA;IAC/B,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACpC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACpC"}

package/build/erc/context/error_severity.d.ts

@@ -0,0 +1,11 @@
+export declare enum SEVERITY {
+    RPT_SEVERITY_UNDEFINED = 1,
+    RPT_SEVERITY_INFO = 2,
+    RPT_SEVERITY_EXCLUSION = 4,
+    RPT_SEVERITY_ACTION = 8,
+    RPT_SEVERITY_WARNING = 16,
+    RPT_SEVERITY_ERROR = 32,
+    RPT_SEVERITY_IGNORE = 64,
+    RPT_SEVERITY_DEBUG = 128
+}
+//# sourceMappingURL=error_severity.d.ts.map

package/build/erc/context/error_severity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error_severity.d.ts","sourceRoot":"","sources":["../../../src/erc/context/error_severity.ts"],"names":[],"mappings":"AAEA,oBAAY,QAAQ;IAClB,sBAAsB,IAAO;IAC7B,iBAAiB,IAAO;IACxB,sBAAsB,IAAO;IAC7B,mBAAmB,IAAO;IAC1B,oBAAoB,KAAO;IAC3B,kBAAkB,KAAO;IACzB,mBAAmB,KAAO;IAC1B,kBAAkB,MAAO;CAC1B"}

package/build/erc/context/error_severity.js

@@ -0,0 +1,13 @@
+// Note: On windows, SEVERITY_ERROR collides with a system declaration,
+// so we used RPT_SEVERITY_xxx instead of SEVERITY_xxx
+export var SEVERITY;
+(function (SEVERITY) {
+    SEVERITY[SEVERITY["RPT_SEVERITY_UNDEFINED"] = 1] = "RPT_SEVERITY_UNDEFINED";
+    SEVERITY[SEVERITY["RPT_SEVERITY_INFO"] = 2] = "RPT_SEVERITY_INFO";
+    SEVERITY[SEVERITY["RPT_SEVERITY_EXCLUSION"] = 4] = "RPT_SEVERITY_EXCLUSION";
+    SEVERITY[SEVERITY["RPT_SEVERITY_ACTION"] = 8] = "RPT_SEVERITY_ACTION";
+    SEVERITY[SEVERITY["RPT_SEVERITY_WARNING"] = 16] = "RPT_SEVERITY_WARNING";
+    SEVERITY[SEVERITY["RPT_SEVERITY_ERROR"] = 32] = "RPT_SEVERITY_ERROR";
+    SEVERITY[SEVERITY["RPT_SEVERITY_IGNORE"] = 64] = "RPT_SEVERITY_IGNORE";
+    SEVERITY[SEVERITY["RPT_SEVERITY_DEBUG"] = 128] = "RPT_SEVERITY_DEBUG";
+})(SEVERITY || (SEVERITY = {}));

package/build/erc/context/graph.d.ts

@@ -0,0 +1,3 @@
+export type ADT_AdjacencyList = Set<string>;
+export type ADT_Graph = Record<string, ADT_AdjacencyList>;
+//# sourceMappingURL=graph.d.ts.map

package/build/erc/context/graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../../src/erc/context/graph.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,CAAC,CAAA;AAC3C,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA"}

package/build/erc/context/graph_converter.d.ts

@@ -0,0 +1,8 @@
+import type { ConnectionNodeMap } from '@modular-circuit/electronics-model';
+import type { ADT_Graph } from './graph';
+export interface GRAPH_CONVERTER {
+    convert_to_graph(design: unknown): true | Error[];
+    get_graph(): ADT_Graph;
+    get_connection_node_map(): ConnectionNodeMap;
+}
+//# sourceMappingURL=graph_converter.d.ts.map

package/build/erc/context/graph_converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph_converter.d.ts","sourceRoot":"","sources":["../../../src/erc/context/graph_converter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AAC3E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAExC,MAAM,WAAW,eAAe;IAC9B,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,GAAG,KAAK,EAAE,CAAA;IAEjD,SAAS,IAAI,SAAS,CAAA;IAEtB,uBAAuB,IAAI,iBAAiB,CAAA;CAC7C"}

package/build/erc/context/index.d.ts

@@ -0,0 +1,6 @@
+export * from './error_severity';
+export * from './pin_to_pin_test_ctx';
+export * from './graph';
+export * from './graph_converter';
+export * from './connection_graph_builder_ctx';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/context/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/erc/context/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA;AAChC,cAAc,uBAAuB,CAAA;AACrC,cAAc,SAAS,CAAA;AACvB,cAAc,mBAAmB,CAAA;AACjC,cAAc,gCAAgC,CAAA"}

package/build/erc/context/index.js

@@ -0,0 +1,5 @@
+export * from './error_severity';
+export * from './pin_to_pin_test_ctx';
+export * from './graph';
+export * from './graph_converter';
+export * from './connection_graph_builder_ctx';

package/build/erc/context/pin_to_pin_test_ctx.d.ts

@@ -0,0 +1,7 @@
+import type { ERC_REPORT } from '../../report';
+import type { ERC_SETTING } from '../pin_compatibility_matrix';
+export interface PIN_TO_PIN_TEST_CONTEXT {
+    report: ERC_REPORT;
+    erc_setting: ERC_SETTING;
+}
+//# sourceMappingURL=pin_to_pin_test_ctx.d.ts.map

package/build/erc/context/pin_to_pin_test_ctx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pin_to_pin_test_ctx.d.ts","sourceRoot":"","sources":["../../../src/erc/context/pin_to_pin_test_ctx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,UAAU,CAAA;IAClB,WAAW,EAAE,WAAW,CAAA;CACzB"}

package/build/erc/index.d.ts

@@ -0,0 +1,5 @@
+export * from './context';
+export * from './parameter_propagation';
+export * from './pin_compatibility_matrix';
+export * from './netlist';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/erc/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAA;AACzB,cAAc,yBAAyB,CAAA;AACvC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,WAAW,CAAA"}

package/build/erc/index.js

@@ -0,0 +1,4 @@
+export * from './context';
+export * from './parameter_propagation';
+export * from './pin_compatibility_matrix';
+export * from './netlist';

package/build/erc/netlist/constraints.d.ts

@@ -0,0 +1,5 @@
+import { ELECTRICAL_PINTYPE } from '@modular-circuit/electronics-model';
+export declare const DrivingPinTypes: Set<ELECTRICAL_PINTYPE>;
+export declare const PowerDrivingPinTypes: Set<ELECTRICAL_PINTYPE>;
+export declare const DrivenPinTypes: Set<ELECTRICAL_PINTYPE>;
+//# sourceMappingURL=constraints.d.ts.map

package/build/erc/netlist/constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../../../src/erc/netlist/constraints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AAsBvE,eAAO,MAAM,eAAe,yBAM1B,CAAA;AAMF,eAAO,MAAM,oBAAoB,yBAA6C,CAAA;AAG9E,eAAO,MAAM,cAAc,yBAAyE,CAAA"}

package/build/erc/netlist/constraints.js

@@ -0,0 +1,30 @@
+import { ELECTRICAL_PINTYPE } from '@modular-circuit/electronics-model';
+//NOTE https://gitlab.com/kicad/code/kicad/-/blob/8.0.6/eeschema/erc/erc.cpp
+/* ERC tests :
+ *  1 - conflicts between connected pins ( example: 2 connected outputs )
+ *  2 - minimal connections requirements ( 1 input *must* be connected to an
+ * output, or a passive pin )
+ */
+/*
+ *  Minimal ERC requirements:
+ *  All pins *must* be connected (except ELECTRICAL_PINTYPE::PT_NC).
+ *  When a pin is not connected in schematic, the user must place a "non
+ * connected" symbol to this pin.
+ *  This ensures a forgotten connection will be detected.
+ */
+// List of pin types that are considered drivers for usual input pins
+// i.e. pin type = ELECTRICAL_PINTYPE::PT_INPUT, but not PT_POWER_IN
+// that need only a PT_POWER_OUT pin type to be driven
+export var DrivingPinTypes = new Set([
+    ELECTRICAL_PINTYPE.PT_OUTPUT,
+    ELECTRICAL_PINTYPE.PT_POWER_OUT,
+    ELECTRICAL_PINTYPE.PT_PASSIVE,
+    ELECTRICAL_PINTYPE.PT_TRISTATE,
+    ELECTRICAL_PINTYPE.PT_BIDI,
+]);
+// List of pin types that are considered drivers for power pins
+// In fact only a ELECTRICAL_PINTYPE::PT_POWER_OUT pin type can drive
+// power input pins
+export var PowerDrivingPinTypes = new Set([ELECTRICAL_PINTYPE.PT_POWER_OUT]);
+// List of pin types that require a driver elsewhere on the net
+export var DrivenPinTypes = new Set([ELECTRICAL_PINTYPE.PT_INPUT, ELECTRICAL_PINTYPE.PT_POWER_IN]);

package/build/erc/netlist/index.d.ts

@@ -0,0 +1,3 @@
+export * from './constraints';
+export * from './tester';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/netlist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/erc/netlist/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,UAAU,CAAA"}

package/build/erc/netlist/index.js

@@ -0,0 +1,2 @@
+export * from './constraints';
+export * from './tester';

package/build/erc/netlist/tester.d.ts

@@ -0,0 +1,10 @@
+import { type ConnectionSubgraph } from '@modular-circuit/electronics-model';
+import type { CG_Visitor } from '../connect_graph_visitor';
+import type { PIN_TO_PIN_TEST_CONTEXT } from '../context/pin_to_pin_test_ctx';
+export declare class NetlistTester implements CG_Visitor {
+    private readonly ctx;
+    constructor(ctx: PIN_TO_PIN_TEST_CONTEXT);
+    visit_cc(cc: ConnectionSubgraph): void;
+    private ercCheckMultipleDrivers;
+}
+//# sourceMappingURL=tester.d.ts.map

package/build/erc/netlist/tester.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tester.d.ts","sourceRoot":"","sources":["../../../src/erc/netlist/tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AAEhG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAE7E,qBAAa,aAAc,YAAW,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,GAAG;gBAAH,GAAG,EAAE,uBAAuB;IAEzD,QAAQ,CAAC,EAAE,EAAE,kBAAkB;IAStC,OAAO,CAAC,uBAAuB;CAuChC"}

package/build/erc/netlist/tester.js

@@ -0,0 +1,67 @@
+var __values = (this && this.__values) || function(o) {
+    var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
+    if (m) return m.call(o);
+    if (o && typeof o.length === "number") return {
+        next: function () {
+            if (o && i >= o.length) o = void 0;
+            return { value: o && o[i++], done: !o };
+        }
+    };
+    throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
+};
+import { ConnectionNodeType } from '@modular-circuit/electronics-model';
+import { ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED } from '../../report';
+var NetlistTester = /** @class */ (function () {
+    function NetlistTester(ctx) {
+        this.ctx = ctx;
+    }
+    NetlistTester.prototype.visit_cc = function (cc) {
+        if (cc.nodes.length === 1 && cc.nodes[0].type === ConnectionNodeType.Port) {
+            this.ctx.report.erc_errors.push(ERCE_PIN_NOT_CONNECTED(cc.nodes[0].uuid));
+            return;
+        }
+        this.ercCheckMultipleDrivers(cc);
+    };
+    NetlistTester.prototype.ercCheckMultipleDrivers = function (cc) {
+        var e_1, _a;
+        if (!cc.net_drivers)
+            return;
+        var node_map = cc.nodes.reduce(function (map, node) {
+            map[node.uuid] = node;
+            return map;
+        }, {});
+        try {
+            for (var _b = __values(cc.net_drivers.drivers), _c = _b.next(); !_c.done; _c = _b.next()) {
+                var driver = _c.value;
+                if (driver === cc.net_drivers.primary_driver)
+                    continue;
+                var node = node_map[driver];
+                var net_name = cc.name;
+                switch (node.type) {
+                    case ConnectionNodeType.Port:
+                    case ConnectionNodeType.Graphics:
+                        break;
+                    case ConnectionNodeType.NetLabel:
+                        if (net_name !== node.text) {
+                            this.ctx.report.erc_errors.push(ERCE_DRIVER_CONFLICT([cc.net_drivers.primary_driver, driver], cc.name, node.text));
+                        }
+                        break;
+                    case ConnectionNodeType.Power:
+                        if (net_name !== node.value) {
+                            this.ctx.report.erc_errors.push(ERCE_DRIVER_CONFLICT([cc.net_drivers.primary_driver, driver], cc.name, node.value));
+                            break;
+                        }
+                }
+            }
+        }
+        catch (e_1_1) { e_1 = { error: e_1_1 }; }
+        finally {
+            try {
+                if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
+            }
+            finally { if (e_1) throw e_1.error; }
+        }
+    };
+    return NetlistTester;
+}());
+export { NetlistTester };

package/build/erc/parameter_propagation/error_code.d.ts

@@ -0,0 +1,41 @@
+/**
+ * PolymorphicBlocks blocks error codes start here.
+ *
+ * See https://github.com/BerkeleyHCI/PolymorphicBlocks/blob/master/compiler/src/main/scala/edg/compiler/CompilerError.scala
+ */
+import { SEVERITY } from '../context';
+export declare enum PP_ERROR {
+    UN_COMPILED_BLOCK = "un_compiled_block",
+    UN_COMPILED_LINK = "un_compiled_link",
+    UN_COMPILED_LINK_ARRAY = "un_compiled_link_array",
+    UN_COMPILED_PARAMETER = "un_compiled_parameter",
+    UN_COMPILED_INTERNAL_ELEMENT = "un_compiled_internal_element",
+    UN_COMPILED_LIBRARY_ELEMENT = "un_compiled_library_element",
+    UNDEFINED_PORT_ARRAY = "undefined_port_array",
+    LIBRARY_ERROR = "library_error",
+    GENERATOR_ERROR = "generator_error",
+    REFINEMENT_SUBCLASS_ERROR = "refinement_subclass_error",
+    OVER_ASSIGN = "over_assign",
+    BAD_REFERENCE = "bad_reference",
+    ABSTRACT_BLOCK = "abstract_block",
+    FAILED_ASSERTION = "failed_assertion",
+    UN_EVALUATED_ASSERTION = "un_evaluated_assertion",
+    INCONSISTENT_LINK_ARRAY_ELEMENTS = "inconsistent_link_array_elements",
+    PP_UNANNOTATED = "pp_unannotated",
+    PP_UNKNOWN_PORT_TYPE = "pp_unknown_port_type",
+    INAPPROPRIATE_FUNC = "Functionally inappropriate link",
+    NOT_DRIVEN = "pp_not_driven",
+    DUPLICATED_PWR_SOURCES = "duplicated_pwr_sources",
+    INSUFFICIENT_DRIVER = "Insufficient_driver",
+    OVER_DRIVEN = "over_driven",
+    IMPEDANCE_SIGNAL_INTEGRITY = "impedance_signal_integrity",
+    INCOMPATIBLE_VOLTAGE_LEVELS = "incompatible_voltage_levels",
+    SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE = "signal_levels_not_contained_within_voltage",
+    INCOMPATIBLE_SIGNAL_LEVELS = "incompatible_signal_levels",
+    OVERCURRENT = "overcurrent",
+    INCOMPATIBLE_DIGITAL_THRESHOLDS = "incompatible_digital_thresholds",
+    REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
+    ILLEGAL_CONNECTION = "Illegal_connection"
+}
+export declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
+//# sourceMappingURL=error_code.d.ts.map

package/build/erc/parameter_propagation/error_code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error_code.d.ts","sourceRoot":"","sources":["../../../src/erc/parameter_propagation/error_code.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErC,oBAAY,QAAQ;IAClB,iBAAiB,sBAAsB;IACvC,gBAAgB,qBAAqB;IACrC,sBAAsB,2BAA2B;IACjD,qBAAqB,0BAA0B;IAC/C,4BAA4B,iCAAiC;IAC7D,2BAA2B,gCAAgC;IAC3D,oBAAoB,yBAAyB;IAC7C,aAAa,kBAAkB;IAC/B,eAAe,oBAAoB;IACnC,yBAAyB,8BAA8B;IACvD,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAC/B,cAAc,mBAAmB;IACjC,gBAAgB,qBAAqB;IACrC,sBAAsB,2BAA2B;IACjD,gCAAgC,qCAAqC;IACrE,cAAc,mBAAmB;IACjC,oBAAoB,yBAAyB;IAC7C,kBAAkB,oCAAoC;IACtD,UAAU,kBAAkB;IAC5B,sBAAsB,2BAA2B;IACjD,mBAAmB,wBAAwB;IAC3C,WAAW,gBAAgB;IAC3B,0BAA0B,+BAA+B;IACzD,2BAA2B,gCAAgC;IAC3D,0CAA0C,+CAA+C;IACzF,0BAA0B,+BAA+B;IACzD,WAAW,gBAAgB;IAC3B,+BAA+B,oCAAoC;IACnE,kCAAkC,uCAAuC;IACzE,kBAAkB,uBAAuB;CAC1C;AAED,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAgChE,CAAA"}

package/build/erc/parameter_propagation/error_code.js

@@ -0,0 +1,74 @@
+/**
+ * PolymorphicBlocks blocks error codes start here.
+ *
+ * See https://github.com/BerkeleyHCI/PolymorphicBlocks/blob/master/compiler/src/main/scala/edg/compiler/CompilerError.scala
+ */
+var _a;
+import { SEVERITY } from '../context';
+export var PP_ERROR;
+(function (PP_ERROR) {
+    PP_ERROR["UN_COMPILED_BLOCK"] = "un_compiled_block";
+    PP_ERROR["UN_COMPILED_LINK"] = "un_compiled_link";
+    PP_ERROR["UN_COMPILED_LINK_ARRAY"] = "un_compiled_link_array";
+    PP_ERROR["UN_COMPILED_PARAMETER"] = "un_compiled_parameter";
+    PP_ERROR["UN_COMPILED_INTERNAL_ELEMENT"] = "un_compiled_internal_element";
+    PP_ERROR["UN_COMPILED_LIBRARY_ELEMENT"] = "un_compiled_library_element";
+    PP_ERROR["UNDEFINED_PORT_ARRAY"] = "undefined_port_array";
+    PP_ERROR["LIBRARY_ERROR"] = "library_error";
+    PP_ERROR["GENERATOR_ERROR"] = "generator_error";
+    PP_ERROR["REFINEMENT_SUBCLASS_ERROR"] = "refinement_subclass_error";
+    PP_ERROR["OVER_ASSIGN"] = "over_assign";
+    PP_ERROR["BAD_REFERENCE"] = "bad_reference";
+    PP_ERROR["ABSTRACT_BLOCK"] = "abstract_block";
+    PP_ERROR["FAILED_ASSERTION"] = "failed_assertion";
+    PP_ERROR["UN_EVALUATED_ASSERTION"] = "un_evaluated_assertion";
+    PP_ERROR["INCONSISTENT_LINK_ARRAY_ELEMENTS"] = "inconsistent_link_array_elements";
+    PP_ERROR["PP_UNANNOTATED"] = "pp_unannotated";
+    PP_ERROR["PP_UNKNOWN_PORT_TYPE"] = "pp_unknown_port_type";
+    PP_ERROR["INAPPROPRIATE_FUNC"] = "Functionally inappropriate link";
+    PP_ERROR["NOT_DRIVEN"] = "pp_not_driven";
+    PP_ERROR["DUPLICATED_PWR_SOURCES"] = "duplicated_pwr_sources";
+    PP_ERROR["INSUFFICIENT_DRIVER"] = "Insufficient_driver";
+    PP_ERROR["OVER_DRIVEN"] = "over_driven";
+    PP_ERROR["IMPEDANCE_SIGNAL_INTEGRITY"] = "impedance_signal_integrity";
+    PP_ERROR["INCOMPATIBLE_VOLTAGE_LEVELS"] = "incompatible_voltage_levels";
+    PP_ERROR["SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE"] = "signal_levels_not_contained_within_voltage";
+    PP_ERROR["INCOMPATIBLE_SIGNAL_LEVELS"] = "incompatible_signal_levels";
+    PP_ERROR["OVERCURRENT"] = "overcurrent";
+    PP_ERROR["INCOMPATIBLE_DIGITAL_THRESHOLDS"] = "incompatible_digital_thresholds";
+    PP_ERROR["REQUIRES_CONNECTED_SOURCE_OR_BIDIR"] = "requires_connected_source_or_bidir";
+    PP_ERROR["ILLEGAL_CONNECTION"] = "Illegal_connection";
+})(PP_ERROR || (PP_ERROR = {}));
+export var DEFAULT_PP_ERROR_SEVERITY = (_a = {},
+    _a[PP_ERROR.UN_COMPILED_BLOCK] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UN_COMPILED_LINK] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UN_COMPILED_LINK_ARRAY] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UN_COMPILED_PARAMETER] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UN_COMPILED_INTERNAL_ELEMENT] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UN_COMPILED_LIBRARY_ELEMENT] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.UNDEFINED_PORT_ARRAY] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.LIBRARY_ERROR] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.GENERATOR_ERROR] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.REFINEMENT_SUBCLASS_ERROR] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.OVER_ASSIGN] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a[PP_ERROR.BAD_REFERENCE] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.ABSTRACT_BLOCK] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.FAILED_ASSERTION] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a[PP_ERROR.UN_EVALUATED_ASSERTION] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a[PP_ERROR.INCONSISTENT_LINK_ARRAY_ELEMENTS] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.PP_UNANNOTATED] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.PP_UNKNOWN_PORT_TYPE] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a[PP_ERROR.INAPPROPRIATE_FUNC] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a[PP_ERROR.NOT_DRIVEN] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.DUPLICATED_PWR_SOURCES] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.INSUFFICIENT_DRIVER] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.OVER_DRIVEN] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.IMPEDANCE_SIGNAL_INTEGRITY] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.INCOMPATIBLE_VOLTAGE_LEVELS] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.INCOMPATIBLE_SIGNAL_LEVELS] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.OVERCURRENT] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.INCOMPATIBLE_DIGITAL_THRESHOLDS] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.REQUIRES_CONNECTED_SOURCE_OR_BIDIR] = SEVERITY.RPT_SEVERITY_WARNING,
+    _a[PP_ERROR.ILLEGAL_CONNECTION] = SEVERITY.RPT_SEVERITY_ERROR,
+    _a);

package/build/erc/parameter_propagation/index.d.ts

@@ -0,0 +1,3 @@
+export * from './error_code';
+export * from './tester';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/parameter_propagation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/erc/parameter_propagation/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAA;AAC5B,cAAc,UAAU,CAAA"}

package/build/erc/parameter_propagation/index.js

@@ -0,0 +1,2 @@
+export * from './error_code';
+export * from './tester';

package/build/erc/parameter_propagation/link_testers/index.d.ts

@@ -0,0 +1,2 @@
+export * from './tester_impl';
+//# sourceMappingURL=index.d.ts.map

package/build/erc/parameter_propagation/link_testers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/erc/parameter_propagation/link_testers/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA"}

package/build/erc/parameter_propagation/link_testers/index.js

@@ -0,0 +1 @@
+export * from './tester_impl';

package/build/erc/parameter_propagation/link_testers/link_tester_base.d.ts

@@ -0,0 +1,23 @@
+import { type PortLike } from '@modular-circuit/electronics-model';
+import type { ERC_REPORT } from '../../../report/erc_report';
+export interface LinkTestContext {
+    port_id: Map<PortLike, string>;
+    report: ERC_REPORT;
+    has_passive_port: boolean;
+}
+export declare abstract class LinkTesterBase<LinkT> {
+    protected readonly ctx: LinkTestContext;
+    protected readonly ports: PortLike[];
+    protected link: LinkT | undefined;
+    private _all_port_ids?;
+    constructor(ctx: LinkTestContext, ports: PortLike[]);
+    test(): void;
+    get all_port_ids(): string[];
+    protected abstract check_parameter_propagation(): void;
+    protected abstract init_link(): boolean;
+}
+export declare abstract class CompositePortLinkTesterBase<LinkT> extends LinkTesterBase<LinkT> {
+    test(): void;
+    private annot_composite_port;
+}
+//# sourceMappingURL=link_tester_base.d.ts.map

package/build/erc/parameter_propagation/link_testers/link_tester_base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"link_tester_base.d.ts","sourceRoot":"","sources":["../../../../src/erc/parameter_propagation/link_testers/link_tester_base.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,QAAQ,EAAE,MAAM,oCAAoC,CAAA;AACpF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAE5D,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAC9B,MAAM,EAAE,UAAU,CAAA;IAClB,gBAAgB,EAAE,OAAO,CAAA;CAC1B;AAED,8BAAsB,cAAc,CAAC,KAAK;IAKtC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,eAAe;IACvC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE;IALtC,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAA;IACjC,OAAO,CAAC,aAAa,CAAC,CAAU;gBAGX,GAAG,EAAE,eAAe,EACpB,KAAK,EAAE,QAAQ,EAAE;IAG/B,IAAI;IAKX,IAAW,YAAY,aAGtB;IAED,SAAS,CAAC,QAAQ,CAAC,2BAA2B,IAAI,IAAI;IAEtD,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,OAAO;CACxC;AAED,8BAAsB,2BAA2B,CAAC,KAAK,CAAE,SAAQ,cAAc,CAAC,KAAK,CAAC;IACpE,IAAI,IAAI,IAAI;IAQ5B,OAAO,CAAC,oBAAoB;CAS7B"}