chore(java): update java-side glue

Author: zaaarf

dist/java/src/mp/code/Workspace.java

@@ -2,13 +2,10 @@
 
 import java.util.function.Consumer;
 
-import mp.code.proto.UserInfo;
-import mp.code.proto.BufferNode;
+import mp.code.proto.*;
 import mp.code.exceptions.ConnectionException;
 import mp.code.exceptions.ConnectionRemoteException;
 import mp.code.exceptions.ControllerException;
-import mp.code.proto.WorkspaceEvent;
-import mp.code.proto.WorkspaceIdentifier;
 
 /**
  * Represents a CodeMP workspace, which broadly speaking is a collection
@@ -90,16 +87,16 @@ public UserInfo[] userList() {
 		return user_list(this.ptr);
 	}
 
-	private static native void create_buffer(long self, String path, boolean ephemeral) throws ConnectionRemoteException;
+	private static native void create_buffer(long self, String path, BufferAttributes attributes) throws ConnectionRemoteException;
 
 	/**
 	 * Creates a buffer with the given path.
 	 * @param path the new buffer's path
-	 * @param ephemeral whether the buffer should be ephemeral
+	 * @param attributes the buffer's attributes (will use defaults if null)
 	 * @throws ConnectionRemoteException if an error occurs in communicating with the server
 	 */
-	public void createBuffer(String path, boolean ephemeral) throws ConnectionRemoteException {
-		create_buffer(this.ptr, path, ephemeral);
+	public void createBuffer(String path, BufferAttributes attributes) throws ConnectionRemoteException {
+		create_buffer(this.ptr, path, attributes);
 	}
 
 	private static native void pin_buffer(long self, String path) throws ConnectionRemoteException;

dist/java/src/mp/code/proto/BufferAttributes.java

@@ -0,0 +1,18 @@
+package mp.code.proto;
+
+import lombok.EqualsAndHashCode;
+import lombok.RequiredArgsConstructor;
+import lombok.ToString;
+
+/**
+ * The attributes of a buffer.
+ */
+@ToString
+@EqualsAndHashCode
+@RequiredArgsConstructor
+public class BufferAttributes {
+	/**
+	 * Whether this buffer gets auto-deleted once all users leave.
+	 */
+	public final boolean ephemeral;
+}

dist/java/src/mp/code/proto/BufferNode.java

@@ -17,7 +17,7 @@ public class BufferNode {
 	public final String path;
 
 	/**
-	 * Whether this buffer gets auto-deleted once all users leave.
+	 * The attributes of this buffer.
 	 */
-	public final boolean ephemeral;
+	public final BufferAttributes attributes;
 }

dist/java/src/mp/code/proto/WorkspaceEvent.java

@@ -28,9 +28,9 @@ public class WorkspaceEvent {
 	public final String path;
 
 	/**
-	 * Whether the buffer is ephemeral, or null.
+	 * The attributes of the buffer, or null.
 	 */
-	public final Boolean ephemeral;
+	public final BufferAttributes attributes;
 
 	/**
 	 * The new path of the buffer after the rename, or null.

dist/java/src/mp/code/proto/WorkspaceEventKind.java

@@ -36,4 +36,9 @@ public final class WorkspaceEventKind {
 	 * Event that occurs when a user leaves a buffer.
 	 */
 	public static final int USER_LEAVE_BUFFER = 7;
+
+	/**
+	 * Event that occurs when a buffer has one of its attributes changed.
+	 */
+	public static final int FILE_ATTRS_UPDATED = 8;
 }