Refactor API tools (#108)

raviqqe · May 8, 2023 · 8c13f07 · 8c13f07
1 parent 9cf52dc
commit 8c13f07
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 15 deletions.
diff --git a/melior/src/pass.rs b/melior/src/pass.rs
@@ -24,6 +24,7 @@ impl Pass {
         self.raw
     }
 
+    #[doc(hidden)]
     pub fn __private_from_raw_fn(create_raw: unsafe extern "C" fn() -> MlirPass) -> Self {
         Self::from_raw_fn(create_raw)
     }

diff --git a/tools/all_api.sh → tools/api/all.sh b/tools/all_api.sh → tools/api/all.sh
diff --git a/tools/api_completeness.sh → tools/api/coverage.sh b/tools/api_completeness.sh → tools/api/coverage.sh
diff --git a/tools/api/difference.sh b/tools/api/difference.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+set -e
+
+. $(dirname $0)/utility.sh
+
+directory=/tmp/melior
+
+mkdir -p $directory
+
+implemented_api >$directory/implemented.txt
+all_api >$directory/all.txt
+
+diff -u $directory/implemented.txt $directory/all.txt | grep '^+[mM]' | sed s/^.//
diff --git a/tools/utility.sh → tools/api/utility.sh b/tools/utility.sh → tools/api/utility.sh
@@ -1,5 +1,3 @@
-directory=$(dirname $0)
-
 count() {
   wc -l
 }
@@ -10,7 +8,7 @@ filter_api() {
 
 implemented_api() {
   (
-    cd $directory/../melior
+    cd $(dirname $0)/../../melior
 
     cargo install cargo-expand
     cargo expand | filter_api

diff --git a/tools/api_difference.sh b/tools/api_difference.sh