Changeset 54 for exampleparties/randompartypy/src/test/java

Timestamp:

Jul 23, 2025, 10:16:55 AM (2 months ago)

Author:

ruud

Message:

Modifications for automatic java to python conversion. Overloaded methods now have different names.

File:

• exampleparties/randompartypy/src/test/java/geniusweb/exampleparties/randompartypy/RandomPartyTest.java (modified) (6 diffs)

exampleparties/randompartypy/src/test/java/geniusweb/exampleparties/randompartypy/RandomPartyTest.java

@@ -9 +9 @@
 
 import java.io.IOException;
+import java.io.InputStream;
 import java.math.BigDecimal;
 import java.net.URI;
 import java.net.URISyntaxException;
-import java.nio.charset.StandardCharsets;
-import java.nio.file.Files;
-import java.nio.file.Paths;
+import java.util.Collections;
 import java.util.LinkedList;
 import java.util.List;
 
+import org.eclipse.jdt.annotation.NonNull;
 import org.junit.Before;
 import org.junit.Test;
@@ -52 +52 @@
 public class RandomPartyTest {
 
-        private static final String PROFILE = "src/test/resources/testprofile.json";
+        private static final String PROFILE = "/geniusweb/exampleparties/randompartypy/testprofile.json";
         private static final String SAOP = "SAOP";
         private static final PartyId otherparty = new PartyId("other");
@@ -62 +62 @@
         private final ProgressRounds progress = mock(ProgressRounds.class);
         private Settings settings;
-        private final Parameters parameters = new Parameters();
+        private final Parameters parameters = new Parameters(null);
 
         private LinearAdditive profile; // the real profile
@@ -78 +78 @@
                 };
                 settings = new Settings(new PartyId("party1"),
-                                new ProfileRef(new URI("file:" + PROFILE)), protocol, progress,
-                                parameters);
-                String serialized = new String(Files.readAllBytes(Paths.get(PROFILE)),
-                                StandardCharsets.UTF_8);
+                                new ProfileRef(new URI("classpath:" + PROFILE)), protocol,
+                                progress, parameters);
+                String serialized = read(getClass().getResourceAsStream(PROFILE));
                 profile = (LinearAdditive) jackson.readValue(serialized, Profile.class);
 
@@ -139 +138 @@
                 party.notifyChange(settings);
 
-                party.notifyChange(new Finished(new Agreements()));
+                party.notifyChange(
+                                new Finished(new Agreements(Collections.emptyMap())));
 
                 // party should not act at this point
@@ -193 +193 @@
         }
 
+        /**
+         * 
+         * @param stream an InputStream
+         * @return all chars from stream
+         * @throws IOException if read fails
+         */
+        private static @NonNull String read(final @NonNull InputStream stream)
+                        throws IOException {
+                @NonNull
+                String res = "";
+                for (int ch; (ch = stream.read()) != -1;)
+                        res = res + (char) ch;
+                return res;
+        }
 }