From f0287c46115e3d1b8970f6c8f185f86c53cdc5e1 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Mon, 25 Nov 2024 15:46:14 +0100 Subject: [PATCH] modified: resources/AllgemeinTest/Box.jav modified: src/test/java/AllgemeinTest.java --- resources/AllgemeinTest/Box.jav | 6 +++--- src/test/java/AllgemeinTest.java | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/resources/AllgemeinTest/Box.jav b/resources/AllgemeinTest/Box.jav index 81cc6954..f70317ab 100644 --- a/resources/AllgemeinTest/Box.jav +++ b/resources/AllgemeinTest/Box.jav @@ -1,9 +1,9 @@ -public class Box { +public class Box { - A a; + a; public Box() { } - public Box(A a) { + public Box(a) { //this.a = a; } set(x) { diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 5d9005fc..83e92faf 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -64,8 +64,8 @@ public class AllgemeinTest { //String className = "Cycle"; //String className = "TripleTest"; //String className = "WildcardList"; - //String className = "List"; - String className = "Box"; + String className = "List"; + //String className = "Box"; //String className = "GenBox"; //String className = "InnerInf"; //String className = "Foo";