@@ -26,12 +26,6 @@ private newtype LibraryT =
2626 LibraryTElement ( LibraryElement lib , string name , string version ) {
2727 lib .getName ( ) = name and
2828 lib .getVersion ( ) = version
29- } or
30- LibraryTExternalPackage ( @external_package ep , string name , string version ) {
31- exists ( string package_name |
32- external_packages ( ep , _, package_name , version ) and
33- name = package_name
34- )
3529 }
3630
3731/**
@@ -41,10 +35,7 @@ class Library extends LibraryT {
4135 string name ;
4236 string version ;
4337
44- Library ( ) {
45- this = LibraryTElement ( _, name , version ) or
46- this = LibraryTExternalPackage ( _, name , version )
47- }
38+ Library ( ) { this = LibraryTElement ( _, name , version ) }
4839
4940 string getName ( ) { result = name }
5041
@@ -63,11 +54,6 @@ class Library extends LibraryT {
6354 this = LibraryTElement ( lib , _, _) and
6455 result = lib .getAFile ( )
6556 )
66- or
67- exists ( @external_package ep |
68- this = LibraryTExternalPackage ( ep , _, _) and
69- header_to_external_package ( unresolveElement ( result ) , ep )
70- )
7157 }
7258}
7359
0 commit comments