mv to CLI suffixes command line interface, CountingNumber, IndexTree, SRTM examples...
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Jan 2025 04:50:06 +0000 (04:50 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 13 Jan 2025 04:50:06 +0000 (04:50 +0000)
26 files changed:
developer/example/CountingNumber/CountingNumber$Topo_Infinite.class [deleted file]
developer/example/CountingNumber/CountingNumber$Topo_Null.class [deleted file]
developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class [deleted file]
developer/example/CountingNumber/CountingNumber$Topo_Segment.class [deleted file]
developer/example/CountingNumber/CountingNumber.class [deleted file]
developer/example/CountingNumber/CountingNumber_0_CLI.java [new file with mode: 0644]
developer/example/CountingNumber/CountingNumber_0_transcript.txt [new file with mode: 0644]
developer/example/CountingNumber/Example_CountingNumber_0 [deleted file]
developer/example/CountingNumber/Example_CountingNumber_0.class [deleted file]
developer/example/CountingNumber/Example_CountingNumber_0.java [deleted file]
developer/example/IndexTree/Example_4x4.java [deleted file]
developer/example/IndexTree/Example_SRTM_Diagonal.java [deleted file]
developer/example/IndexTree/SRTM_Diagonal_CLI.java [new file with mode: 0644]
developer/example/IndexTree/four_down_four_across_CLI.java [new file with mode: 0644]
developer/example/SRTM/Example_SRTMI_Array [deleted file]
developer/example/SRTM/Example_SRTMI_Array.class [deleted file]
developer/example/SRTM/Example_SRTMI_Array.java [deleted file]
developer/example/SRTM/Example_SRTM_List [deleted file]
developer/example/SRTM/Example_SRTM_List.class [deleted file]
developer/example/SRTM/Example_SRTM_List.java [deleted file]
developer/example/SRTM/SRTMI_Array_CLI.java [new file with mode: 0644]
developer/example/SRTM/SRTMI_Array_transcript.txt [new file with mode: 0644]
developer/example/SRTM/SRTM_List_CLI.java [new file with mode: 0644]
developer/example/SRTM/SRTM_List_transcript.txt [new file with mode: 0644]
developer/tool🖉/clean_example
developer/tool🖉/make_example

diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class b/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class
deleted file mode 100644 (file)
index 24f713f..0000000
Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Infinite.class and /dev/null differ
diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Null.class b/developer/example/CountingNumber/CountingNumber$Topo_Null.class
deleted file mode 100644 (file)
index 4c8d074..0000000
Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Null.class and /dev/null differ
diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class b/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class
deleted file mode 100644 (file)
index 3003cb0..0000000
Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Rightmost.class and /dev/null differ
diff --git a/developer/example/CountingNumber/CountingNumber$Topo_Segment.class b/developer/example/CountingNumber/CountingNumber$Topo_Segment.class
deleted file mode 100644 (file)
index 09894f9..0000000
Binary files a/developer/example/CountingNumber/CountingNumber$Topo_Segment.class and /dev/null differ
diff --git a/developer/example/CountingNumber/CountingNumber.class b/developer/example/CountingNumber/CountingNumber.class
deleted file mode 100644 (file)
index 41ce6dc..0000000
Binary files a/developer/example/CountingNumber/CountingNumber.class and /dev/null differ
diff --git a/developer/example/CountingNumber/CountingNumber_0_CLI.java b/developer/example/CountingNumber/CountingNumber_0_CLI.java
new file mode 100644 (file)
index 0000000..7be86a8
--- /dev/null
@@ -0,0 +1,37 @@
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
+import java.math.BigInteger;
+
+public class CountingNumber_0_CLI{
+
+  protected static void print_ten(CountingNumber n){
+    System.out.println("Iterating through Counting Numbers:");
+
+    if( !n.can_read() ) return;
+
+    if( n.topology() == Ariadne_SRTM.Topology.SEGMENT ){
+      do{
+        System.out.println("Current Number: " + n.read());
+        if( !n.can_step() ) break;
+        n.step();
+      }while( true );
+
+    }else if( n.topology() == Ariadne_SRTM.Topology.INFINITE ){
+      int count = 0;
+      do{
+        System.out.println("Current Number: " + n.read());
+        if( count == 9 ) break;
+        n.step();
+        count++;
+      }while( true );
+
+    }else{
+      System.out.println("Unrecognized or invalid tape state.");
+    }
+  }
+
+  public static void main(String[] args){
+    print_ten( CountingNumber.make(BigInteger.TEN) ); // Finite segment up to 10
+    print_ten( CountingNumber.make() );              // Infinite tape, stopping after 10 steps
+  }
+
+}
diff --git a/developer/example/CountingNumber/CountingNumber_0_transcript.txt b/developer/example/CountingNumber/CountingNumber_0_transcript.txt
new file mode 100644 (file)
index 0000000..6e6563d
--- /dev/null
@@ -0,0 +1,22 @@
+Iterating through Counting Numbers:
+Current Number: 1
+Current Number: 2
+Current Number: 3
+Current Number: 4
+Current Number: 5
+Current Number: 6
+Current Number: 7
+Current Number: 8
+Current Number: 9
+Current Number: 10
+Iterating through Counting Numbers:
+Current Number: 1
+Current Number: 2
+Current Number: 3
+Current Number: 4
+Current Number: 5
+Current Number: 6
+Current Number: 7
+Current Number: 8
+Current Number: 9
+Current Number: 10
diff --git a/developer/example/CountingNumber/Example_CountingNumber_0 b/developer/example/CountingNumber/Example_CountingNumber_0
deleted file mode 100755 (executable)
index 03434e8..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java Example_CountingNumber_0
diff --git a/developer/example/CountingNumber/Example_CountingNumber_0.class b/developer/example/CountingNumber/Example_CountingNumber_0.class
deleted file mode 100644 (file)
index 8ee76ad..0000000
Binary files a/developer/example/CountingNumber/Example_CountingNumber_0.class and /dev/null differ
diff --git a/developer/example/CountingNumber/Example_CountingNumber_0.java b/developer/example/CountingNumber/Example_CountingNumber_0.java
deleted file mode 100644 (file)
index 9d340b4..0000000
+++ /dev/null
@@ -1,37 +0,0 @@
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
-import java.math.BigInteger;
-
-public class Example_CountingNumber_0{
-
-  protected static void print_ten(CountingNumber n){
-    System.out.println("Iterating through Counting Numbers:");
-
-    if( !n.can_read() ) return;
-
-    if( n.topology() == Ariadne_SRTM.Topology.SEGMENT ){
-      do{
-        System.out.println("Current Number: " + n.read());
-        if( !n.can_step() ) break;
-        n.step();
-      }while( true );
-
-    }else if( n.topology() == Ariadne_SRTM.Topology.INFINITE ){
-      int count = 0;
-      do{
-        System.out.println("Current Number: " + n.read());
-        if( count == 9 ) break;
-        n.step();
-        count++;
-      }while( true );
-
-    }else{
-      System.out.println("Unrecognized or invalid tape state.");
-    }
-  }
-
-  public static void main(String[] args){
-    print_ten( CountingNumber.make(BigInteger.TEN) ); // Finite segment up to 10
-    print_ten( CountingNumber.make() );              // Infinite tape, stopping after 10 steps
-  }
-
-}
diff --git a/developer/example/IndexTree/Example_4x4.java b/developer/example/IndexTree/Example_4x4.java
deleted file mode 100644 (file)
index f484ae0..0000000
+++ /dev/null
@@ -1,41 +0,0 @@
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List;
-
-public class Example_4x4{
-
-  public static void main(String[] args){
-
-    System.out.println("Example_4x4");
-
-    // Initialize graph and start at root
-    Graph graph = Graph.make();
-    SRTM_Child start = graph.start();
-    Label label = start.read();
-    Node node;
-    SRTM_Child child_srm;
-
-    System.out.println("starting at: " + start.read());
-
-    // Descend 3 more levels
-    int i = 1;
-    do{
-      node = graph.lookup(label);
-      child_srm = node.neighbor();
-      label = child_srm.read();
-      System.out.println("Descended to: " + label.toString());
-      if(i == 3) break;
-      i++;
-    }while(true);
-
-    // Move across three more nodes
-    i = 1;
-    do{
-      child_srm.step();
-      label = child_srm.read();
-      System.out.println("Across to: " + label.toString());
-      if(i == 3) break;
-      i++;
-    }while(true);
-
-  }
-}
diff --git a/developer/example/IndexTree/Example_SRTM_Diagonal.java b/developer/example/IndexTree/Example_SRTM_Diagonal.java
deleted file mode 100644 (file)
index 9b69fee..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-import java.util.List;
-
-public class Example_SRTM_Diagonal{
-
-  public static void main(String[] args){
-    System.out.println("Starting IndexTree SRTM Example");
-
-    // Instantiate the IndexTree Diagonal SRTM
-    SRTM_Diagonal srtm = SRTM_Diagonal.make();
-    int step_count = 0;
-    if( srtm.can_read() ){
-      do{
-        System.out.println(step_count ": " + diagonal);
-        if( !srtm.can_step() ) break;
-        if( step_count == 4 ) break; // Stop after 5 diagonals
-        step_count++;
-        srtm.step();
-      }while(true);
-    }
-  }
-
-}
-
diff --git a/developer/example/IndexTree/SRTM_Diagonal_CLI.java b/developer/example/IndexTree/SRTM_Diagonal_CLI.java
new file mode 100644 (file)
index 0000000..c3f1e37
--- /dev/null
@@ -0,0 +1,23 @@
+import java.util.List;
+
+public class SRTM_Diagonal_CLI{
+
+  public static void main(String[] args){
+    System.out.println("Starting IndexTree SRTM Example");
+
+    // Instantiate the IndexTree Diagonal SRTM
+    SRTM_Diagonal srtm = SRTM_Diagonal.make();
+    int step_count = 0;
+    if( srtm.can_read() ){
+      do{
+        System.out.println(step_count + ": " + srtm.read());
+        if( !srtm.can_step() ) break;
+        if( step_count == 4 ) break; // Stop after 5 diagonals
+        step_count++;
+        srtm.step();
+      }while(true);
+    }
+  }
+
+}
+
diff --git a/developer/example/IndexTree/four_down_four_across_CLI.java b/developer/example/IndexTree/four_down_four_across_CLI.java
new file mode 100644 (file)
index 0000000..f57d14e
--- /dev/null
@@ -0,0 +1,41 @@
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List;
+
+public class four_down_four_across_CLI{
+
+  public static void main(String[] args){
+
+    System.out.println("Example_4x4");
+
+    // Initialize graph and start at root
+    Graph graph = Graph.make();
+    SRTM_Child start = graph.start();
+    Label label = start.read();
+    Node node;
+    SRTM_Child child_srm;
+
+    System.out.println("starting at: " + start.read());
+
+    // Descend 3 more levels
+    int i = 1;
+    do{
+      node = graph.lookup(label);
+      child_srm = node.neighbor();
+      label = child_srm.read();
+      System.out.println("Descended to: " + label.toString());
+      if(i == 3) break;
+      i++;
+    }while(true);
+
+    // Move across three more nodes
+    i = 1;
+    do{
+      child_srm.step();
+      label = child_srm.read();
+      System.out.println("Across to: " + label.toString());
+      if(i == 3) break;
+      i++;
+    }while(true);
+
+  }
+}
diff --git a/developer/example/SRTM/Example_SRTMI_Array b/developer/example/SRTM/Example_SRTMI_Array
deleted file mode 100755 (executable)
index e3d7c56..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java Example_SRTMI_Array
diff --git a/developer/example/SRTM/Example_SRTMI_Array.class b/developer/example/SRTM/Example_SRTMI_Array.class
deleted file mode 100644 (file)
index 22438d9..0000000
Binary files a/developer/example/SRTM/Example_SRTMI_Array.class and /dev/null differ
diff --git a/developer/example/SRTM/Example_SRTMI_Array.java b/developer/example/SRTM/Example_SRTMI_Array.java
deleted file mode 100644 (file)
index d6735eb..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTMI_Array;
-
-import java.util.Arrays;
-import java.util.List;
-
-public class Example_SRTMI_Array {
-  public static void main( String[] args ){
-    // Create an Array
-    List<String> label_array = Arrays.asList( "A", "B", "C", "D" );
-
-    // Attach SRTMI to the array
-    Ariadne_SRTMI_Array srm = Ariadne_SRTMI_Array.make( label_array );
-    if( srm.can_read() ){
-      do{
-        System.out.println( "Reading: " + srm.read() );  
-        System.out.println( "Topology: " + srm.topology() );
-        if( !srm.can_step() ) break;
-        srm.step();
-      }while(true);
-    }
-  }
-}
diff --git a/developer/example/SRTM/Example_SRTM_List b/developer/example/SRTM/Example_SRTM_List
deleted file mode 100755 (executable)
index 2f1dd2a..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java Example_SRTM_List
diff --git a/developer/example/SRTM/Example_SRTM_List.class b/developer/example/SRTM/Example_SRTM_List.class
deleted file mode 100644 (file)
index 44bf679..0000000
Binary files a/developer/example/SRTM/Example_SRTM_List.class and /dev/null differ
diff --git a/developer/example/SRTM/Example_SRTM_List.java b/developer/example/SRTM/Example_SRTM_List.java
deleted file mode 100644 (file)
index 489e5fe..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
-import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List;
-
-import java.util.LinkedList;
-
-public class Example_SRTM_List {
-  public static void main( String[] args ){
-    // Create a linked list
-    LinkedList<String> label_list = new LinkedList<>();
-    label_list.add( "A" );
-    label_list.add( "B" );
-    label_list.add( "C" );
-
-    // Attach SRTM to the linked list and traverse
-    Ariadne_SRTM_List<String> srm = Ariadne_SRTM_List.make(label_list);
-    if( srm.can_read() ){
-      do{
-        System.out.println( "Reading: " + srm.read() );  
-        System.out.println( "Topology: " + srm.topology() );
-        if( !srm.can_step() ) break;
-        srm.step();
-      }while(true);
-    }
-  }
-}
diff --git a/developer/example/SRTM/SRTMI_Array_CLI.java b/developer/example/SRTM/SRTMI_Array_CLI.java
new file mode 100644 (file)
index 0000000..f2b6d36
--- /dev/null
@@ -0,0 +1,23 @@
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTMI_Array;
+
+import java.util.Arrays;
+import java.util.List;
+
+public class SRTMI_Array_CLI {
+  public static void main( String[] args ){
+    // Create an Array
+    List<String> label_array = Arrays.asList( "A", "B", "C", "D" );
+
+    // Attach SRTMI to the array
+    Ariadne_SRTMI_Array srm = Ariadne_SRTMI_Array.make( label_array );
+    if( srm.can_read() ){
+      do{
+        System.out.println( "Reading: " + srm.read() );  
+        System.out.println( "Topology: " + srm.topology() );
+        if( !srm.can_step() ) break;
+        srm.step();
+      }while(true);
+    }
+  }
+}
diff --git a/developer/example/SRTM/SRTMI_Array_transcript.txt b/developer/example/SRTM/SRTMI_Array_transcript.txt
new file mode 100644 (file)
index 0000000..4a1e3c1
--- /dev/null
@@ -0,0 +1,8 @@
+Reading: A
+Topology: SEGMENT
+Reading: B
+Topology: SEGMENT
+Reading: C
+Topology: SEGMENT
+Reading: D
+Topology: RIGHTMOST
diff --git a/developer/example/SRTM/SRTM_List_CLI.java b/developer/example/SRTM/SRTM_List_CLI.java
new file mode 100644 (file)
index 0000000..b91aca4
--- /dev/null
@@ -0,0 +1,25 @@
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM;
+import com.ReasoningTechnology.Ariadne.Ariadne_SRTM_List;
+
+import java.util.LinkedList;
+
+public class SRTM_List_CLI {
+  public static void main( String[] args ){
+    // Create a linked list
+    LinkedList<String> label_list = new LinkedList<>();
+    label_list.add( "A" );
+    label_list.add( "B" );
+    label_list.add( "C" );
+
+    // Attach SRTM to the linked list and traverse
+    Ariadne_SRTM_List<String> srm = Ariadne_SRTM_List.make(label_list);
+    if( srm.can_read() ){
+      do{
+        System.out.println( "Reading: " + srm.read() );  
+        System.out.println( "Topology: " + srm.topology() );
+        if( !srm.can_step() ) break;
+        srm.step();
+      }while(true);
+    }
+  }
+}
diff --git a/developer/example/SRTM/SRTM_List_transcript.txt b/developer/example/SRTM/SRTM_List_transcript.txt
new file mode 100644 (file)
index 0000000..43b78f7
--- /dev/null
@@ -0,0 +1,6 @@
+Reading: A
+Topology: SEGMENT
+Reading: B
+Topology: SEGMENT
+Reading: C
+Topology: RIGHTMOST
index 59496e3..3122f1b 100755 (executable)
@@ -20,7 +20,7 @@ cd "example/$1" || exit 1
 
 # remove wrappers and class files
 
-  for file in Example_*.class; do
+  for file in *_CLI.class; do
     echo "file: " $file
     wrapper_name=$(basename "$file" .class)
     rm_na "$wrapper_name"
index c8b8c04..f0f8cd5 100755 (executable)
@@ -25,7 +25,7 @@ echo "Compiling example .java files..."
 
 echo "Creating bash wrappers..."
 
-  for file in Example_*.class; do
+  for file in *_CLI.class; do
     echo "file: " $file
     wrapper_name=$(basename "$file" .class)
     cat > "$wrapper_name" << EOL