diff options
Diffstat (limited to 'language-web/src')
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java (renamed from language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java) | 2 | ||||
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java (renamed from language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java) | 2 | ||||
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java (renamed from language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java) | 2 | ||||
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ProblemWebSetup.java (renamed from language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java) | 12 | ||||
-rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java (renamed from language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java) | 2 |
5 files changed, 11 insertions, 9 deletions
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java b/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java index a1d086c4..e39ce54c 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java +++ b/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java | |||
@@ -1,4 +1,4 @@ | |||
1 | package org.eclipse.viatra.solver.language.web; | 1 | package tools.refinery.language.web; |
2 | 2 | ||
3 | import java.io.IOException; | 3 | import java.io.IOException; |
4 | import java.util.regex.Pattern; | 4 | import java.util.regex.Pattern; |
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java index 18b86ade..d249525f 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemServlet.java +++ b/language-web/src/main/java/tools/refinery/language/web/ProblemServlet.java | |||
@@ -1,7 +1,7 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.25.0 | 2 | * generated by Xtext 2.25.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.web; | 4 | package tools.refinery.language.web; |
5 | 5 | ||
6 | import javax.servlet.ServletException; | 6 | import javax.servlet.ServletException; |
7 | 7 | ||
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java b/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java index 0eea7f1e..799a9c64 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebModule.java +++ b/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java | |||
@@ -1,7 +1,7 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.25.0 | 2 | * generated by Xtext 2.25.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.web; | 4 | package tools.refinery.language.web; |
5 | 5 | ||
6 | 6 | ||
7 | /** | 7 | /** |
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSetup.java index 8d5778af..4738bc80 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ProblemWebSetup.java +++ b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSetup.java | |||
@@ -1,14 +1,16 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.25.0 | 2 | * generated by Xtext 2.25.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.web; | 4 | package tools.refinery.language.web; |
5 | |||
6 | import org.eclipse.xtext.util.Modules2; | ||
5 | 7 | ||
6 | import com.google.inject.Guice; | 8 | import com.google.inject.Guice; |
7 | import com.google.inject.Injector; | 9 | import com.google.inject.Injector; |
8 | import org.eclipse.viatra.solver.language.ProblemRuntimeModule; | 10 | |
9 | import org.eclipse.viatra.solver.language.ProblemStandaloneSetup; | 11 | import tools.refinery.language.ProblemRuntimeModule; |
10 | import org.eclipse.viatra.solver.language.ide.ProblemIdeModule; | 12 | import tools.refinery.language.ProblemStandaloneSetup; |
11 | import org.eclipse.xtext.util.Modules2; | 13 | import tools.refinery.language.ide.ProblemIdeModule; |
12 | 14 | ||
13 | /** | 15 | /** |
14 | * Initialization support for running Xtext languages in web applications. | 16 | * Initialization support for running Xtext languages in web applications. |
diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java index a6d58f95..c6ee94dc 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java +++ b/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java | |||
@@ -1,7 +1,7 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.25.0 | 2 | * generated by Xtext 2.25.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.web; | 4 | package tools.refinery.language.web; |
5 | 5 | ||
6 | import java.io.File; | 6 | import java.io.File; |
7 | import java.io.IOException; | 7 | import java.io.IOException; |