diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:21:42 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 23:30:25 +0200 |
commit | 7febe0b4781c5bb0fab34895ad642040ae143a8b (patch) | |
tree | 5bc49f9195b18a938382f2527ee4ab273527a07a /language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java | |
parent | Electric semicolons (diff) | |
download | refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.gz refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.tar.zst refinery-7febe0b4781c5bb0fab34895ad642040ae143a8b.zip |
Add data constant support
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java')
-rw-r--r-- | language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java | 242 |
1 files changed, 239 insertions, 3 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java index b74718b5..837d3a03 100644 --- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java +++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/util/ProblemSwitch.java | |||
@@ -285,9 +285,11 @@ public class ProblemSwitch<T> extends Switch<T> { | |||
285 | result = defaultCase(theEObject); | 285 | result = defaultCase(theEObject); |
286 | return result; | 286 | return result; |
287 | } | 287 | } |
288 | case ProblemPackage.ARGUMENT: { | 288 | case ProblemPackage.VARIABLE_OR_NODE_ARGUMENT: { |
289 | Argument argument = (Argument) theEObject; | 289 | VariableOrNodeArgument variableOrNodeArgument = (VariableOrNodeArgument) theEObject; |
290 | T result = caseArgument(argument); | 290 | T result = caseVariableOrNodeArgument(variableOrNodeArgument); |
291 | if (result == null) | ||
292 | result = caseArgument(variableOrNodeArgument); | ||
291 | if (result == null) | 293 | if (result == null) |
292 | result = defaultCase(theEObject); | 294 | result = defaultCase(theEObject); |
293 | return result; | 295 | return result; |
@@ -314,6 +316,90 @@ public class ProblemSwitch<T> extends Switch<T> { | |||
314 | result = defaultCase(theEObject); | 316 | result = defaultCase(theEObject); |
315 | return result; | 317 | return result; |
316 | } | 318 | } |
319 | case ProblemPackage.CONSTANT: { | ||
320 | Constant constant = (Constant) theEObject; | ||
321 | T result = caseConstant(constant); | ||
322 | if (result == null) | ||
323 | result = defaultCase(theEObject); | ||
324 | return result; | ||
325 | } | ||
326 | case ProblemPackage.INT_CONSTANT: { | ||
327 | IntConstant intConstant = (IntConstant) theEObject; | ||
328 | T result = caseIntConstant(intConstant); | ||
329 | if (result == null) | ||
330 | result = caseConstant(intConstant); | ||
331 | if (result == null) | ||
332 | result = defaultCase(theEObject); | ||
333 | return result; | ||
334 | } | ||
335 | case ProblemPackage.REAL_CONSTANT: { | ||
336 | RealConstant realConstant = (RealConstant) theEObject; | ||
337 | T result = caseRealConstant(realConstant); | ||
338 | if (result == null) | ||
339 | result = caseConstant(realConstant); | ||
340 | if (result == null) | ||
341 | result = defaultCase(theEObject); | ||
342 | return result; | ||
343 | } | ||
344 | case ProblemPackage.STRING_CONSTANT: { | ||
345 | StringConstant stringConstant = (StringConstant) theEObject; | ||
346 | T result = caseStringConstant(stringConstant); | ||
347 | if (result == null) | ||
348 | result = caseConstant(stringConstant); | ||
349 | if (result == null) | ||
350 | result = defaultCase(theEObject); | ||
351 | return result; | ||
352 | } | ||
353 | case ProblemPackage.CONSTANT_ARGUMENT: { | ||
354 | ConstantArgument constantArgument = (ConstantArgument) theEObject; | ||
355 | T result = caseConstantArgument(constantArgument); | ||
356 | if (result == null) | ||
357 | result = caseArgument(constantArgument); | ||
358 | if (result == null) | ||
359 | result = defaultCase(theEObject); | ||
360 | return result; | ||
361 | } | ||
362 | case ProblemPackage.ARGUMENT: { | ||
363 | Argument argument = (Argument) theEObject; | ||
364 | T result = caseArgument(argument); | ||
365 | if (result == null) | ||
366 | result = defaultCase(theEObject); | ||
367 | return result; | ||
368 | } | ||
369 | case ProblemPackage.NODE_ASSERTION_ARGUMENT: { | ||
370 | NodeAssertionArgument nodeAssertionArgument = (NodeAssertionArgument) theEObject; | ||
371 | T result = caseNodeAssertionArgument(nodeAssertionArgument); | ||
372 | if (result == null) | ||
373 | result = caseAssertionArgument(nodeAssertionArgument); | ||
374 | if (result == null) | ||
375 | result = defaultCase(theEObject); | ||
376 | return result; | ||
377 | } | ||
378 | case ProblemPackage.ASSERTION_ARGUMENT: { | ||
379 | AssertionArgument assertionArgument = (AssertionArgument) theEObject; | ||
380 | T result = caseAssertionArgument(assertionArgument); | ||
381 | if (result == null) | ||
382 | result = defaultCase(theEObject); | ||
383 | return result; | ||
384 | } | ||
385 | case ProblemPackage.CONSTANT_ASSERTION_ARGUMENT: { | ||
386 | ConstantAssertionArgument constantAssertionArgument = (ConstantAssertionArgument) theEObject; | ||
387 | T result = caseConstantAssertionArgument(constantAssertionArgument); | ||
388 | if (result == null) | ||
389 | result = caseAssertionArgument(constantAssertionArgument); | ||
390 | if (result == null) | ||
391 | result = defaultCase(theEObject); | ||
392 | return result; | ||
393 | } | ||
394 | case ProblemPackage.NODE_VALUE_ASSERTION: { | ||
395 | NodeValueAssertion nodeValueAssertion = (NodeValueAssertion) theEObject; | ||
396 | T result = caseNodeValueAssertion(nodeValueAssertion); | ||
397 | if (result == null) | ||
398 | result = caseStatement(nodeValueAssertion); | ||
399 | if (result == null) | ||
400 | result = defaultCase(theEObject); | ||
401 | return result; | ||
402 | } | ||
317 | default: | 403 | default: |
318 | return defaultCase(theEObject); | 404 | return defaultCase(theEObject); |
319 | } | 405 | } |
@@ -665,6 +751,21 @@ public class ProblemSwitch<T> extends Switch<T> { | |||
665 | } | 751 | } |
666 | 752 | ||
667 | /** | 753 | /** |
754 | * Returns the result of interpreting the object as an instance of '<em>Variable Or Node Argument</em>'. | ||
755 | * <!-- begin-user-doc --> | ||
756 | * This implementation returns null; | ||
757 | * returning a non-null result will terminate the switch. | ||
758 | * <!-- end-user-doc --> | ||
759 | * @param object the target of the switch. | ||
760 | * @return the result of interpreting the object as an instance of '<em>Variable Or Node Argument</em>'. | ||
761 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
762 | * @generated | ||
763 | */ | ||
764 | public T caseVariableOrNodeArgument(VariableOrNodeArgument object) { | ||
765 | return null; | ||
766 | } | ||
767 | |||
768 | /** | ||
668 | * Returns the result of interpreting the object as an instance of '<em>Argument</em>'. | 769 | * Returns the result of interpreting the object as an instance of '<em>Argument</em>'. |
669 | * <!-- begin-user-doc --> | 770 | * <!-- begin-user-doc --> |
670 | * This implementation returns null; | 771 | * This implementation returns null; |
@@ -680,6 +781,66 @@ public class ProblemSwitch<T> extends Switch<T> { | |||
680 | } | 781 | } |
681 | 782 | ||
682 | /** | 783 | /** |
784 | * Returns the result of interpreting the object as an instance of '<em>Node Assertion Argument</em>'. | ||
785 | * <!-- begin-user-doc --> | ||
786 | * This implementation returns null; | ||
787 | * returning a non-null result will terminate the switch. | ||
788 | * <!-- end-user-doc --> | ||
789 | * @param object the target of the switch. | ||
790 | * @return the result of interpreting the object as an instance of '<em>Node Assertion Argument</em>'. | ||
791 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
792 | * @generated | ||
793 | */ | ||
794 | public T caseNodeAssertionArgument(NodeAssertionArgument object) { | ||
795 | return null; | ||
796 | } | ||
797 | |||
798 | /** | ||
799 | * Returns the result of interpreting the object as an instance of '<em>Assertion Argument</em>'. | ||
800 | * <!-- begin-user-doc --> | ||
801 | * This implementation returns null; | ||
802 | * returning a non-null result will terminate the switch. | ||
803 | * <!-- end-user-doc --> | ||
804 | * @param object the target of the switch. | ||
805 | * @return the result of interpreting the object as an instance of '<em>Assertion Argument</em>'. | ||
806 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
807 | * @generated | ||
808 | */ | ||
809 | public T caseAssertionArgument(AssertionArgument object) { | ||
810 | return null; | ||
811 | } | ||
812 | |||
813 | /** | ||
814 | * Returns the result of interpreting the object as an instance of '<em>Constant Assertion Argument</em>'. | ||
815 | * <!-- begin-user-doc --> | ||
816 | * This implementation returns null; | ||
817 | * returning a non-null result will terminate the switch. | ||
818 | * <!-- end-user-doc --> | ||
819 | * @param object the target of the switch. | ||
820 | * @return the result of interpreting the object as an instance of '<em>Constant Assertion Argument</em>'. | ||
821 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
822 | * @generated | ||
823 | */ | ||
824 | public T caseConstantAssertionArgument(ConstantAssertionArgument object) { | ||
825 | return null; | ||
826 | } | ||
827 | |||
828 | /** | ||
829 | * Returns the result of interpreting the object as an instance of '<em>Node Value Assertion</em>'. | ||
830 | * <!-- begin-user-doc --> | ||
831 | * This implementation returns null; | ||
832 | * returning a non-null result will terminate the switch. | ||
833 | * <!-- end-user-doc --> | ||
834 | * @param object the target of the switch. | ||
835 | * @return the result of interpreting the object as an instance of '<em>Node Value Assertion</em>'. | ||
836 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
837 | * @generated | ||
838 | */ | ||
839 | public T caseNodeValueAssertion(NodeValueAssertion object) { | ||
840 | return null; | ||
841 | } | ||
842 | |||
843 | /** | ||
683 | * Returns the result of interpreting the object as an instance of '<em>Enum Declaration</em>'. | 844 | * Returns the result of interpreting the object as an instance of '<em>Enum Declaration</em>'. |
684 | * <!-- begin-user-doc --> | 845 | * <!-- begin-user-doc --> |
685 | * This implementation returns null; | 846 | * This implementation returns null; |
@@ -710,6 +871,81 @@ public class ProblemSwitch<T> extends Switch<T> { | |||
710 | } | 871 | } |
711 | 872 | ||
712 | /** | 873 | /** |
874 | * Returns the result of interpreting the object as an instance of '<em>Constant</em>'. | ||
875 | * <!-- begin-user-doc --> | ||
876 | * This implementation returns null; | ||
877 | * returning a non-null result will terminate the switch. | ||
878 | * <!-- end-user-doc --> | ||
879 | * @param object the target of the switch. | ||
880 | * @return the result of interpreting the object as an instance of '<em>Constant</em>'. | ||
881 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
882 | * @generated | ||
883 | */ | ||
884 | public T caseConstant(Constant object) { | ||
885 | return null; | ||
886 | } | ||
887 | |||
888 | /** | ||
889 | * Returns the result of interpreting the object as an instance of '<em>Int Constant</em>'. | ||
890 | * <!-- begin-user-doc --> | ||
891 | * This implementation returns null; | ||
892 | * returning a non-null result will terminate the switch. | ||
893 | * <!-- end-user-doc --> | ||
894 | * @param object the target of the switch. | ||
895 | * @return the result of interpreting the object as an instance of '<em>Int Constant</em>'. | ||
896 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
897 | * @generated | ||
898 | */ | ||
899 | public T caseIntConstant(IntConstant object) { | ||
900 | return null; | ||
901 | } | ||
902 | |||
903 | /** | ||
904 | * Returns the result of interpreting the object as an instance of '<em>Real Constant</em>'. | ||
905 | * <!-- begin-user-doc --> | ||
906 | * This implementation returns null; | ||
907 | * returning a non-null result will terminate the switch. | ||
908 | * <!-- end-user-doc --> | ||
909 | * @param object the target of the switch. | ||
910 | * @return the result of interpreting the object as an instance of '<em>Real Constant</em>'. | ||
911 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
912 | * @generated | ||
913 | */ | ||
914 | public T caseRealConstant(RealConstant object) { | ||
915 | return null; | ||
916 | } | ||
917 | |||
918 | /** | ||
919 | * Returns the result of interpreting the object as an instance of '<em>String Constant</em>'. | ||
920 | * <!-- begin-user-doc --> | ||
921 | * This implementation returns null; | ||
922 | * returning a non-null result will terminate the switch. | ||
923 | * <!-- end-user-doc --> | ||
924 | * @param object the target of the switch. | ||
925 | * @return the result of interpreting the object as an instance of '<em>String Constant</em>'. | ||
926 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
927 | * @generated | ||
928 | */ | ||
929 | public T caseStringConstant(StringConstant object) { | ||
930 | return null; | ||
931 | } | ||
932 | |||
933 | /** | ||
934 | * Returns the result of interpreting the object as an instance of '<em>Constant Argument</em>'. | ||
935 | * <!-- begin-user-doc --> | ||
936 | * This implementation returns null; | ||
937 | * returning a non-null result will terminate the switch. | ||
938 | * <!-- end-user-doc --> | ||
939 | * @param object the target of the switch. | ||
940 | * @return the result of interpreting the object as an instance of '<em>Constant Argument</em>'. | ||
941 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
942 | * @generated | ||
943 | */ | ||
944 | public T caseConstantArgument(ConstantArgument object) { | ||
945 | return null; | ||
946 | } | ||
947 | |||
948 | /** | ||
713 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 949 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
714 | * <!-- begin-user-doc --> | 950 | * <!-- begin-user-doc --> |
715 | * This implementation returns null; | 951 | * This implementation returns null; |