KeYProject
diff --git a/‎…d/03_JMLTransformer/MostSimpleInner.java‎ ‎…_RecordClassBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/03_JMLTransformer/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/03_RecordClassBuilder/MostSimpleInner.java b/‎…d/03_JMLTransformer/MostSimpleInner.java‎ ‎…_RecordClassBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/03_JMLTransformer/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/03_RecordClassBuilder/MostSimpleInner.java
diff --git a/‎…ed/04_JmlDocRemoval/MostSimpleInner.java‎ ‎…d/04_JMLTransformer/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/04_JmlDocRemoval/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/04_JMLTransformer/MostSimpleInner.java b/‎…ed/04_JmlDocRemoval/MostSimpleInner.java‎ ‎…d/04_JMLTransformer/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/04_JmlDocRemoval/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/04_JMLTransformer/MostSimpleInner.java
diff --git a/‎key.core/pipelineTests/innerclass/expected/05_JmlDocRemoval/MostSimpleInner.java‎
Lines changed: 5 additions & 0 deletions b/‎key.core/pipelineTests/innerclass/expected/05_JmlDocRemoval/MostSimpleInner.java‎
Lines changed: 5 additions & 0 deletions
diff --git a/‎…_ImplicitFieldAdder/MostSimpleInner.java‎ ‎…_ImplicitFieldAdder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/05_ImplicitFieldAdder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/06_ImplicitFieldAdder/MostSimpleInner.java b/‎…_ImplicitFieldAdder/MostSimpleInner.java‎ ‎…_ImplicitFieldAdder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/05_ImplicitFieldAdder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/06_ImplicitFieldAdder/MostSimpleInner.java
diff --git a/‎…cationMethodBuilder/MostSimpleInner.java‎ ‎…cationMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/06_InstanceAllocationMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/07_InstanceAllocationMethodBuilder/MostSimpleInner.java b/‎…cationMethodBuilder/MostSimpleInner.java‎ ‎…cationMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/06_InstanceAllocationMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/07_InstanceAllocationMethodBuilder/MostSimpleInner.java
diff --git a/‎…orNormalformBuilder/MostSimpleInner.java‎ ‎…orNormalformBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/07_ConstructorNormalformBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/08_ConstructorNormalformBuilder/MostSimpleInner.java b/‎…orNormalformBuilder/MostSimpleInner.java‎ ‎…orNormalformBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/07_ConstructorNormalformBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/08_ConstructorNormalformBuilder/MostSimpleInner.java
diff --git a/‎…rationMethodBuilder/MostSimpleInner.java‎ ‎…rationMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/08_ClassPreparationMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/09_ClassPreparationMethodBuilder/MostSimpleInner.java b/‎…rationMethodBuilder/MostSimpleInner.java‎ ‎…rationMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/08_ClassPreparationMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/09_ClassPreparationMethodBuilder/MostSimpleInner.java
diff --git a/‎…ializeMethodBuilder/MostSimpleInner.java‎ ‎…ializeMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/09_ClassInitializeMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/10_ClassInitializeMethodBuilder/MostSimpleInner.java b/‎…ializeMethodBuilder/MostSimpleInner.java‎ ‎…ializeMethodBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/09_ClassInitializeMethodBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/10_ClassInitializeMethodBuilder/MostSimpleInner.java
diff --git a/‎…repareObjectBuilder/MostSimpleInner.java‎ ‎…repareObjectBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/10_PrepareObjectBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/11_PrepareObjectBuilder/MostSimpleInner.java b/‎…repareObjectBuilder/MostSimpleInner.java‎ ‎…repareObjectBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/10_PrepareObjectBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/11_PrepareObjectBuilder/MostSimpleInner.java
diff --git a/‎…ed/11_CreateBuilder/MostSimpleInner.java‎ ‎…ed/12_CreateBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/11_CreateBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/12_CreateBuilder/MostSimpleInner.java b/‎…ed/11_CreateBuilder/MostSimpleInner.java‎ ‎…ed/12_CreateBuilder/MostSimpleInner.java‎key.core/pipelineTests/innerclass/expected/11_CreateBuilder/MostSimpleInner.java renamed to key.core/pipelineTests/innerclass/expected/12_CreateBuilder/MostSimpleInner.java
@@ -0,0 +1,5 @@
+public class MostSimpleInner {
+
+    public static class MyInnerClass {
+    }
+}
-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +public class MostSimpleInner {
++
 +    public static class MyInnerClass {
 +    }
 +}