resolve #12

renaming
OriRoth · Feb 24, 2020 · eacfdd3 · eacfdd3
1 parent 06fc7ea
commit eacfdd3
Show file tree

Hide file tree

Showing 11 changed files with 32 additions and 19 deletions.
diff --git a/src/test/java/il/ac/technion/cs/fling/examples/FluentAutomataAPI.java b/src/test/java/il/ac/technion/cs/fling/examples/FluentAutomataAPI.java
@@ -0,0 +1,13 @@
+package il.ac.technion.cs.fling.examples;
+
+import il.ac.technion.cs.fling.*;
+
+public interface FluentAutomataAPI<Σ extends Enum<Σ> & Terminal, V extends Enum<V> & Variable> {
+  default String name() {
+    return this.getClass().getSimpleName();
+  }
+  BNF BNF();
+  // TODO consider getting enums via reflection
+  Class<Σ> Σ();
+  Class<V> V();
+}
diff --git a/...ling/examples/ExamplesMainRunMeFirst.java → ...examples/LoopOverLanguageDefinitions.java b/...ling/examples/ExamplesMainRunMeFirst.java → ...examples/LoopOverLanguageDefinitions.java
@@ -15,7 +15,7 @@
 import il.ac.technion.cs.fling.examples.automata.*;
 import il.ac.technion.cs.fling.examples.languages.*;
 
-@SuppressWarnings("static-method") public class ExamplesMainRunMeFirst {
+@SuppressWarnings("static-method") public class LoopOverLanguageDefinitions {
   private static final boolean FORMAT_OUTPUT = true;
   @SuppressWarnings("rawtypes") private static final FluentLanguageAPI[] BNFAPIs = { //
       new BalancedParentheses(), //
@@ -66,6 +66,6 @@
     }
   }
   public static void main(final String[] args) throws IOException, FormatterException {
-    new ExamplesMainRunMeFirst().compile();
+    new LoopOverLanguageDefinitions().compile();
   }
 }
diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/AnBn.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/AnBn.java
@@ -3,12 +3,12 @@
 import static il.ac.technion.cs.fling.examples.automata.AnBn.CppFluentAPI;
 import static il.ac.technion.cs.fling.examples.generated.AnBn.a;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/BalancedParentheses.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/BalancedParentheses.java
@@ -2,11 +2,11 @@
 
 import static il.ac.technion.cs.fling.examples.generated.BalancedParentheses.c;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/Datalog.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/Datalog.java
@@ -8,15 +8,15 @@
 
 import java.util.*;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 import il.ac.technion.cs.fling.examples.generated.DatalogAST;
 import il.ac.technion.cs.fling.examples.generated.DatalogAST.*;
 import za.co.wstoop.jatalog.*;
 
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Ori Roth
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/ExtendedBalancedParentheses.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/ExtendedBalancedParentheses.java
@@ -2,11 +2,11 @@
 
 import static il.ac.technion.cs.fling.examples.generated.ExtendedBalancedParentheses.c;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/LongFall.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/LongFall.java
@@ -3,11 +3,11 @@
 import static il.ac.technion.cs.fling.examples.automata.LongFall.CppFluentAPI;
 import static il.ac.technion.cs.fling.examples.generated.LongFall.*;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/RegularExpression.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/RegularExpression.java
@@ -3,11 +3,11 @@
 import static il.ac.technion.cs.fling.examples.generated.RegularExpression.re;
 import static il.ac.technion.cs.fling.examples.generated.RegularExpression.RE.*;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/SubFigure.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/SubFigure.java
@@ -1,12 +1,12 @@
 package il.ac.technion.cs.fling.examples.usecases;
 import static il.ac.technion.cs.fling.examples.generated.SubFigure.row;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 import il.ac.technion.cs.fling.examples.generated.SubFigureAST.*;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/TaggedBalancedParentheses.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/TaggedBalancedParentheses.java
@@ -2,12 +2,12 @@
 import static il.ac.technion.cs.fling.examples.generated.TaggedBalancedParentheses.*;
 import static il.ac.technion.cs.fling.examples.generated.TaggedBalancedParentheses.AB.*;
 
-import il.ac.technion.cs.fling.examples.ExamplesMainRunMeFirst;
+import il.ac.technion.cs.fling.examples.LoopOverLanguageDefinitions;
 import il.ac.technion.cs.fling.examples.generated.TaggedBalancedParenthesesAST.*;
 /**
  * This class demonstrates the use of automatically generated fluent API.
  * Needless to say, it cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  * 
  * @author Yossi Gil
  * @since April 2019

diff --git a/src/test/java/il/ac/technion/cs/fling/examples/usecases/package-info.java b/src/test/java/il/ac/technion/cs/fling/examples/usecases/package-info.java
@@ -23,7 +23,7 @@
 /**
  * Java classes in this package represent programs written with automatically generated fluent API.
  * Needless to say, these classes cannot be compiled before this fluent API was generated.
- * To generate the respective fluent APIs, run {@link ExamplesMainRunMeFirst}.
+ * To generate the respective fluent APIs, run {@link LoopOverLanguageDefinitions}.
  *
  * @since April 2019
  */