Matthias Andreas Benkard | 261532a | 2021-12-12 20:09:27 +0100 | [diff] [blame^] | 1 | package eu.mulk.jgvariant.core; |
| 2 | |
| 3 | import java.util.List; |
| 4 | import java.util.Optional; |
| 5 | |
| 6 | /** A value representable by the GVariant serialization format. */ |
| 7 | public sealed interface Value { |
| 8 | |
| 9 | // Composite types |
| 10 | record Array<T extends Value>(List<T> values) implements Value {} |
| 11 | |
| 12 | record Maybe<T extends Value>(Optional<T> value) implements Value {} |
| 13 | |
| 14 | record Structure<T extends Record>(T values) implements Value {} |
| 15 | |
| 16 | record Variant(Class<? extends Value> type, Value value) implements Value {} |
| 17 | |
| 18 | // Primitive types |
| 19 | record Bool(boolean value) implements Value { |
| 20 | static Bool TRUE = new Bool(true); |
| 21 | static Bool FALSE = new Bool(false); |
| 22 | } |
| 23 | |
| 24 | record Int8(byte value) implements Value {} |
| 25 | |
| 26 | record Int16(short value) implements Value {} |
| 27 | |
| 28 | record Int32(int value) implements Value {} |
| 29 | |
| 30 | record Int64(long value) implements Value {} |
| 31 | |
| 32 | record Float64(double value) implements Value {} |
| 33 | |
| 34 | record Str(String value) implements Value {} |
| 35 | } |