diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:01:51 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:01:51 +0100 |
commit | 7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5 (patch) | |
tree | d90109608b1f4871f3aef9c873cb80262a4154a1 /Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation | |
parent | merge models20 measurements (diff) | |
download | VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.tar.gz VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.tar.zst VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.zip |
rebase dreal-integ on models20-measurements
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation')
3 files changed, 0 insertions, 18 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin deleted file mode 100644 index 9839769e..00000000 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.SolverLanguageValidator.xtendbin +++ /dev/null | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore deleted file mode 100644 index 565d4b27..00000000 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | /.SolverLanguageValidator.java._trace | ||
2 | /.SolverLanguageValidator.xtendbin | ||
3 | /SolverLanguageValidator.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java b/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java deleted file mode 100644 index 2b8f158a..00000000 --- a/Application/org.eclipse.viatra.solver.language.ui/xtend-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.java +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import org.eclipse.viatra.solver.language.validation.AbstractSolverLanguageValidator; | ||
7 | |||
8 | /** | ||
9 | * This class contains custom validation rules. | ||
10 | * | ||
11 | * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation | ||
12 | */ | ||
13 | @SuppressWarnings("all") | ||
14 | public class SolverLanguageValidator extends AbstractSolverLanguageValidator { | ||
15 | } | ||