From 17621013308686601b8d9c39b137bb5798fae516 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Wed, 16 Mar 2016 14:56:02 +0100 Subject: [PATCH] Type Factory in unifyNew bewegen --- .../de/dhbwstuttgart/typeinference/unifynew}/TypeFactory.java | 2 +- test/unify/FiniteClosureBuilder.java | 1 + test/unify/FiniteClosureTest.java | 1 + test/unify/RuleSetTest.java | 1 + test/unify/StandardUnifyTest.java | 1 + test/unify/UnifyTest.java | 1 + 6 files changed, 6 insertions(+), 1 deletion(-) rename {test/unify => src/de/dhbwstuttgart/typeinference/unifynew}/TypeFactory.java (92%) diff --git a/test/unify/TypeFactory.java b/src/de/dhbwstuttgart/typeinference/unifynew/TypeFactory.java similarity index 92% rename from test/unify/TypeFactory.java rename to src/de/dhbwstuttgart/typeinference/unifynew/TypeFactory.java index 7fb896ae..9c18c4fc 100644 --- a/test/unify/TypeFactory.java +++ b/src/de/dhbwstuttgart/typeinference/unifynew/TypeFactory.java @@ -1,4 +1,4 @@ -package unify; +package de.dhbwstuttgart.typeinference.unifynew; import java.util.Arrays; import java.util.stream.Collectors; diff --git a/test/unify/FiniteClosureBuilder.java b/test/unify/FiniteClosureBuilder.java index 20552468..d5b3b32b 100644 --- a/test/unify/FiniteClosureBuilder.java +++ b/test/unify/FiniteClosureBuilder.java @@ -8,6 +8,7 @@ import de.dhbwstuttgart.typeinference.unify.model.FiniteClosure; import de.dhbwstuttgart.typeinference.unify.model.MPair; import de.dhbwstuttgart.typeinference.unify.model.Type; import de.dhbwstuttgart.typeinference.unify.model.MPair.PairOperator; +import de.dhbwstuttgart.typeinference.unifynew.TypeFactory; public class FiniteClosureBuilder { diff --git a/test/unify/FiniteClosureTest.java b/test/unify/FiniteClosureTest.java index 85819ecd..9b5c72e6 100644 --- a/test/unify/FiniteClosureTest.java +++ b/test/unify/FiniteClosureTest.java @@ -8,6 +8,7 @@ import org.junit.Test; import de.dhbwstuttgart.typeinference.unify.interfaces.IFiniteClosure; import de.dhbwstuttgart.typeinference.unify.model.MPair; import de.dhbwstuttgart.typeinference.unify.model.MPair.PairOperator; +import de.dhbwstuttgart.typeinference.unifynew.TypeFactory; import de.dhbwstuttgart.typeinference.unify.model.Type; public class FiniteClosureTest { diff --git a/test/unify/RuleSetTest.java b/test/unify/RuleSetTest.java index 1fe1359d..1a1f55a5 100644 --- a/test/unify/RuleSetTest.java +++ b/test/unify/RuleSetTest.java @@ -15,6 +15,7 @@ import de.dhbwstuttgart.typeinference.unify.model.SimpleType; import de.dhbwstuttgart.typeinference.unify.model.SuperType; import de.dhbwstuttgart.typeinference.unify.model.MPair.PairOperator; import de.dhbwstuttgart.typeinference.unifynew.RuleSet; +import de.dhbwstuttgart.typeinference.unifynew.TypeFactory; public class RuleSetTest { diff --git a/test/unify/StandardUnifyTest.java b/test/unify/StandardUnifyTest.java index e08176ed..8bfc0643 100644 --- a/test/unify/StandardUnifyTest.java +++ b/test/unify/StandardUnifyTest.java @@ -12,6 +12,7 @@ import de.dhbwstuttgart.typeinference.unify.model.MPair; import de.dhbwstuttgart.typeinference.unify.model.Type; import de.dhbwstuttgart.typeinference.unify.model.MPair.PairOperator; import de.dhbwstuttgart.typeinference.unifynew.MartelliMontanariUnify; +import de.dhbwstuttgart.typeinference.unifynew.TypeFactory; public class StandardUnifyTest { diff --git a/test/unify/UnifyTest.java b/test/unify/UnifyTest.java index 51e178f4..8524c1dc 100644 --- a/test/unify/UnifyTest.java +++ b/test/unify/UnifyTest.java @@ -11,6 +11,7 @@ import de.dhbwstuttgart.typeinference.unify.model.MPair; import de.dhbwstuttgart.typeinference.unify.model.MPair.PairOperator; import de.dhbwstuttgart.typeinference.unify.model.Type; import de.dhbwstuttgart.typeinference.unify.model.TypeParams; +import de.dhbwstuttgart.typeinference.unifynew.TypeFactory; import de.dhbwstuttgart.typeinference.unifynew.Unify; public class UnifyTest extends Unify {