From 02e596ce7e5982e9ebc6926dd8755563fe9dac9e Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Wed, 8 Mar 2023 16:51:48 +0100 Subject: [PATCH] modified: ../../AllgemeinTest/Pair.jav modified: ../../../src/test/java/AllgemeinTest.java --- resources/AllgemeinTest/Pair.jav | 4 +++- src/test/java/AllgemeinTest.java | 4 ++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/resources/AllgemeinTest/Pair.jav b/resources/AllgemeinTest/Pair.jav index b7c5e7a9b..89d22c4b2 100644 --- a/resources/AllgemeinTest/Pair.jav +++ b/resources/AllgemeinTest/Pair.jav @@ -12,16 +12,18 @@ class Pair { ret.b = x.elementAt(1); return ret; } - +/* eq(a, b) { b = a; return a == b; } + compare( p) { return eq(p.a, p.b); //return p.a == p.b; } + */ /* void m(Pair p, List b) { diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index db7ae1854..727c6de67 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -52,9 +52,9 @@ public class AllgemeinTest { //String className = "VectorNotObject"; //String className = "WildcardCaptureConversionTest"; //String className = "CaptureConversion"; - //String className = "Pair"; + String className = "Pair"; //String className = "UseWildcardPair"; - String className = "Assign"; + //String className = "Assign"; //PL 2019-10-24: genutzt fuer unterschiedliche Tests path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav"; //path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";