2 files changed, 14 insertions, 13 deletions

diff --git a/native/interface/locking.i b/native/interface/locking.i
index 95cc88d..208fb74 100644
--- a/native/interface/locking.i
+++ b/native/interface/locking.i
@@ -18,19 +18,7 @@
 %newobject mpcp_bounds;
 %newobject dpcp_bounds;
 
-%ignore Interference;
-%ignore RequestBound;
-%ignore TaskInfo;
-
-%ignore ResourceSharingInfo::get_tasks;
-
-%ignore BlockingBounds::raise_request_span;
-%ignore BlockingBounds::get_max_request_span;
-%ignore BlockingBounds::operator[](unsigned int);
-%ignore BlockingBounds::operator[](unsigned int) const;
-
-%ignore ResourceLocality::operator[](unsigned int) const;
-%ignore ReplicaInfo::operator[](unsigned int) const;
+%include "sharedres_types.i"
 
 #include "sharedres.h"
 
diff --git a/native/interface/sharedres_types.i b/native/interface/sharedres_types.i
new file mode 100644
index 0000000..be84d9c
--- /dev/null
+++ b/native/interface/sharedres_types.i
@@ -0,0 +1,13 @@
+%ignore Interference;
+%ignore RequestBound;
+%ignore TaskInfo;
+
+%ignore ResourceSharingInfo::get_tasks;
+
+%ignore BlockingBounds::raise_request_span;
+%ignore BlockingBounds::get_max_request_span;
+%ignore BlockingBounds::operator[](unsigned int);
+%ignore BlockingBounds::operator[](unsigned int) const;
+
+%ignore ResourceLocality::operator[](unsigned int) const;
+%ignore ReplicaInfo::operator[](unsigned int) const;