mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 02:24:00 +07:00
GitOrigin-RevId: 6fb5c3ed9b1225d4224c8c543221d12412718114
11 lines
305 B
Java
11 lines
305 B
Java
import java.util.*;
|
|
import java.io.*;
|
|
|
|
class X {
|
|
public void save(Collection<? extends Long> value) throws IOException {
|
|
assert value.isEmpty() || value.size() == 1;
|
|
writeLONG(value.isEmpty() ? 0 : value.iterator().next());
|
|
}
|
|
public static void writeLONG(long val) throws IOException {
|
|
}
|
|
} |