diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2019-05-29 18:58:14 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2019-05-29 18:58:14 +0200 |
| commit | ee2b510b37d2832a67bb13cf27cbe520adff6b71 (patch) | |
| tree | bb693c627fbe999b48bf301809222c3f039cca41 /src/ee/souffle | |
| parent | 75e5bbd0679f4212ad6e9a402c9c68b7b5f40cae (diff) | |
| download | ee-python-ee2b510b37d2832a67bb13cf27cbe520adff6b71.tar.gz ee-python-ee2b510b37d2832a67bb13cf27cbe520adff6b71.tar.bz2 ee-python-ee2b510b37d2832a67bb13cf27cbe520adff6b71.tar.xz ee-python-ee2b510b37d2832a67bb13cf27cbe520adff6b71.zip | |
kicad.dl: Classifying net-ties and test points as such.
pn-part-search-list: Better value-based searches. Better filtering of
irrelevant parts.
Diffstat (limited to 'src/ee/souffle')
| -rw-r--r-- | src/ee/souffle/kicad.dl | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/ee/souffle/kicad.dl b/src/ee/souffle/kicad.dl index 16b76dd..e01cefe 100644 --- a/src/ee/souffle/kicad.dl +++ b/src/ee/souffle/kicad.dl @@ -42,3 +42,27 @@ fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/ fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#inductor") :- inductor_lib(lib), fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib). + +.decl net_tie_symbol(lib:symbol, name:symbol) +net_tie_symbol("Device", "Net-Tie_2"). +net_tie_symbol("Device", "Net-Tie_3"). +net_tie_symbol("Device", "Net-Tie_3_Tee"). +net_tie_symbol("Device", "Net-Tie_4"). +net_tie_symbol("Device", "Net-Tie_4_Cross"). + +fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#net-tie") :- + net_tie_symbol(lib, name), + fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#symbol-library", lib), + fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#symbol-name", name). + +.decl test_point_symbol(lib:symbol, name:symbol) +test_point_symbol("Connector", "TestPoint"). +test_point_symbol("Connector", "TestPoint_2Pole"). +test_point_symbol("Connector", "TestPoint_Alt"). +test_point_symbol("Connector", "TestPoint_Flag"). +test_point_symbol("Connector", "TestPoint_Probe"). + +fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#test-point") :- + test_point_symbol(lib, name), + fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#symbol-library", lib), + fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#symbol-name", name). |