aboutsummaryrefslogtreecommitdiff
path: root/src/ee/souffle
diff options
context:
space:
mode:
Diffstat (limited to 'src/ee/souffle')
-rw-r--r--src/ee/souffle/kicad.dl24
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).