Java: fix a comment

This commit is contained in:
Stephan Brandauer
2023-07-28 14:38:27 +02:00
parent be629b27ed
commit da87d82d08

View File

@@ -7,7 +7,12 @@ import java.io.OutputStream;
public class Files {
public static void copy(
Path source, // a positive example because a manual model exists
OutputStream out // a candidate. NB: may be worthwhile to implement the same behavior as in application mode where out
OutputStream out /* a candidate. NB: may be worthwhile to implement the
same behavior as in application mode where out would not be a
candidate because there already is a model for another parameter of
the same method and we assume that methods are always modeled
completely.
*/
) throws IOException {
// ...
}