Case Study: adding data and statistics

[ifi-stolz-refaktor.git] / case-study / jdt-after / core refactoring / org / eclipse / jdt / internal / corext / refactoring / typeconstraints / ConstraintOperator.java

diff --git a/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/ConstraintOperator.java b/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/ConstraintOperator.java
new file mode 100644 (file)
index 0000000..f3d2e2f
--- /dev/null
+++ b/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/ConstraintOperator.java
@@ -0,0 +1,129 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2011 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.jdt.internal.corext.refactoring.typeconstraints;
+
+import java.util.Arrays;
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Map;
+
+import org.eclipse.core.runtime.Assert;
+
+
+public final class ConstraintOperator {
+
+       private final String fOperatorString;
+       private final int fOperatorCode;
+
+       private static final int CODE_SUBTYPE= 0;
+       private static final int CODE_EQUALS= 1;
+       private static final int CODE_DEFINES= 2;
+       private static final int CODE_STRICT_SUBTYPE= 3;
+
+       private static final String STRING_SUBTYPE= "<=";//$NON-NLS-1$
+       private static final String STRING_EQUALS= "==";//$NON-NLS-1$
+       private static final String STRING_DEFINES= "=^=";//$NON-NLS-1$
+       private static final String STRING_STRICT_SUBTYPE= "<";//$NON-NLS-1$
+       private static final Collection<String> fgOperatorStrings= new HashSet<String>(Arrays.asList(new String[] {STRING_SUBTYPE, STRING_EQUALS, STRING_DEFINES, STRING_STRICT_SUBTYPE}));
+
+       private static final ConstraintOperator fgSubtype= new ConstraintOperator(STRING_SUBTYPE, CODE_SUBTYPE);
+       private static final ConstraintOperator fgEquals= new ConstraintOperator(STRING_EQUALS, CODE_EQUALS);
+       private static final ConstraintOperator fgDefines= new ConstraintOperator(STRING_DEFINES, CODE_DEFINES);
+       private static final ConstraintOperator fgStrictSubtype= new ConstraintOperator(STRING_STRICT_SUBTYPE, CODE_STRICT_SUBTYPE);
+
+       public static ConstraintOperator createSubTypeOperator() {
+               return fgSubtype;
+       }
+
+       public static ConstraintOperator createEqualsOperator() {
+               return fgEquals;
+       }
+
+       public static ConstraintOperator createDefinesOperator() {
+               return fgDefines;
+       }
+
+       public static ConstraintOperator createStrictSubtypeOperator() {
+               return fgStrictSubtype;
+       }
+
+       private ConstraintOperator(String string, int code){
+               Assert.isTrue(fgOperatorStrings.contains(string));
+               Assert.isTrue(code == CODE_DEFINES || code == CODE_EQUALS || code == CODE_STRICT_SUBTYPE || code == CODE_SUBTYPE);
+               fOperatorString= string;
+               fOperatorCode= code;
+       }
+
+       public String getOperatorString(){
+               return fOperatorString;
+       }
+
+       /* (non-Javadoc)
+        * @see java.lang.Object#toString()
+        */
+       @Override
+       public String toString() {
+               return getOperatorString();
+       }
+
+       /* (non-Javadoc)
+        * @see java.lang.Object#equals(java.lang.Object)
+        */
+       @Override
+       public boolean equals(Object obj) {
+               if (! (obj instanceof ConstraintOperator))
+                       return false;
+               ConstraintOperator other= (ConstraintOperator)obj;
+               return other.generated_2870150213110650553(this);
+       }
+
+       /* (non-Javadoc)
+        * @see java.lang.Object#hashCode()
+        */
+       @Override
+       public int hashCode() {
+               return fOperatorString.hashCode();
+       }
+
+       public final boolean isSubtypeOperator() {
+               return fOperatorCode == CODE_SUBTYPE;
+       }
+
+       public final boolean isStrictSubtypeOperator() {
+               return fOperatorCode == CODE_STRICT_SUBTYPE;
+       }
+
+       public final boolean isEqualsOperator() {
+               return fOperatorCode == CODE_EQUALS;
+       }
+
+       public final boolean isDefinesOperator() {
+               return fOperatorCode == CODE_DEFINES;
+       }
+
+       public boolean generated_2870150213110650553(ConstraintOperator constraintoperator) {
+               return constraintoperator.fOperatorCode == fOperatorCode;
+       }
+
+       public SimpleTypeConstraint generated_6455140397054150679(ConstraintVariable v1, ConstraintVariable v2, Map<ConstraintOperator, SimpleTypeConstraint> m3) {
+               SimpleTypeConstraint constraint= new SimpleTypeConstraint(v1, v2, this);
+               m3.put(this, constraint);
+               return constraint;
+       }
+
+       public ITypeConstraint[] generated_4909450032677160968(ConstraintVariable v1, ConstraintVariable v2, TypeConstraintFactory typeconstraintfactory) {
+               if (typeconstraintfactory.filter(v1, v2, this)){
+                       return new ITypeConstraint[0];
+               } else {
+                       return new ITypeConstraint[]{ typeconstraintfactory.createSimpleTypeConstraint(v1, v2, this) };
+               }
+       }
+}