FIx: Fixed Coverage Screenshots And htmlRepot.

2026-06-19 22:57:43 +02:00
parent a4dc8b2540
commit 0129efe400
316 changed files with 4566 additions and 4497 deletions
@@ -0,0 +1,89 @@
+
+
+
+<!DOCTYPE html>
+<html id="htmlId">
+<head>
+  <meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> 
+  <title>Coverage Report > NetworkConfig</title>
+  <style type="text/css">
+    @import "../../css/coverage.css";
+    @import "../../css/idea.min.css";
+  </style>
+  <script type="text/javascript" src="../../js/highlight.min.js"></script>
+  <script type="text/javascript" src="../../js/highlightjs-line-numbers.min.js"></script>
+</head>
+
+<body>
+<div class="content">
+<div class="breadCrumbs">
+Current scope:     <a href="../../index.html">all classes</a>
+    <span class="separator">|</span>
+    <a href="../index.html">it.polimi.ingsw.gc14.Network</a>
+</div>
+
+<h1>Coverage Summary for Class: NetworkConfig (it.polimi.ingsw.gc14.Network)</h1>
+
+<table class="coverageStats">
+<tr>
+  <th class="name">Class</th>
+</tr>
+<tr>
+  <td class="name">NetworkConfig</td>
+</tr>
+
+</table>
+
+<br/>
+<br/>
+
+
+<pre>
+<code class="sourceCode" id="sourceCode">&nbsp;package it.polimi.ingsw.gc14.Network;
+&nbsp;
+&nbsp;/** Shared network constants used by both server and client components. */
+&nbsp;public final class NetworkConfig {
+&nbsp;    /** Port on which the RMI registry listens. */
+&nbsp;    public static final int  RMI_PORT            = 1099;
+&nbsp;    /** Port on which the TCP game server listens. */
+&nbsp;    public static final int  TCP_PORT            = 8080;
+&nbsp;    /** Port on which the TCP heartbeat server listens. */
+&nbsp;    public static final int  HEARTBEAT_PORT      = 8081;
+&nbsp;    /** Milliseconds of silence before a client is considered disconnected. */
+&nbsp;    public static final long SILENCE_THRESHOLD_MS  = 5_000;
+&nbsp;    /** Milliseconds between keep-alive pings sent by the client. */
+&nbsp;    public static final long KEEPALIVE_INTERVAL_MS = 3_000;
+&nbsp;    /** Minimum number of players required to start a game. */
+&nbsp;    public static final int  MIN_PLAYERS         = 2;
+&nbsp;    /** Maximum number of players allowed in a game. */
+&nbsp;    public static final int  MAX_PLAYERS         = 5;
+&nbsp;
+&nbsp;    private NetworkConfig() {}
+&nbsp;}
+</code>
+</pre>
+</div>
+
+<script type="text/javascript">
+(function() {
+    var msie = false, msie9 = false;
+    /*@cc_on
+      msie = true;
+      @if (@_jscript_version >= 9)
+        msie9 = true;
+      @end
+    @*/
+
+    if (!msie || msie && msie9) {
+      hljs.highlightAll()
+      hljs.initLineNumbersOnLoad();
+    }
+})();
+</script>
+
+<div class="footer">
+    
+    <div style="float:right;">generated on 2026-06-19 22:53</div>
+</div>
+</body>
+</html>