DLFS Browser tests

Author: mikera

convex-core/src/main/java/convex/dlfs/DLFileSystem.java

@@ -29,8 +29,9 @@
  * A Data Lattice FileSystem has:
  * - A single root directory
  * - A method of snapshotting any path on the tree
+ * - An efficient method of cloning the Drive with an immutable snapshot
  */
-public abstract class DLFileSystem extends FileSystem {
+public abstract class DLFileSystem extends FileSystem implements Cloneable {
 
 	static final String SEP = "/";
 
@@ -246,4 +247,7 @@ public void replicate(DLFileSystem other) {
 		merge(other.getNode(other.getRoot()));
 	}
 
+	@Override 
+	public abstract DLFileSystem clone();
+	
 }

convex-core/src/main/java/convex/dlfs/impl/DLFSLocal.java

@@ -28,7 +28,7 @@
 /**
  * Local DLFS Drive implementation
  */
-public class DLFSLocal extends DLFileSystem implements Cloneable {
+public class DLFSLocal extends DLFileSystem {
 
 	AVector<ACell> rootNode;
 

convex-gui/src/main/java/convex/gui/dlfs/DLFSBrowser.java

@@ -14,6 +14,7 @@
 import convex.core.data.ACell;
 import convex.core.data.AVector;
 import convex.dlfs.DLFS;
+import convex.dlfs.DLFileSystem;
 import convex.dlfs.DLPath;
 import convex.dlfs.impl.DLFSLocal;
 import convex.gui.components.AbstractGUI;
@@ -24,17 +25,17 @@
 @SuppressWarnings("serial")
 public class DLFSBrowser extends AbstractGUI {
 
-	protected DLFSLocal drive;
+	protected DLFileSystem drive;
 
-	protected static ArrayList<DLFSLocal> allDrives=new ArrayList<>(); 
+	protected static ArrayList<DLFileSystem> allDrives=new ArrayList<>(); 
 
 	public JMenuBar menuBar=new JMenuBar();
 	public JMenu fileMenu=new JMenu("File");
 	public JMenu driveMenu=new JMenu("Drive");
 	public JMenu helpMenu=new JMenu("Help");
 	protected DLFSPanel panel;
 
-	public DLFSBrowser(DLFSLocal drive) {
+	public DLFSBrowser(DLFileSystem drive) {
 		allDrives.add(drive);
 		setLayout(new MigLayout());
 		this.drive=drive;
@@ -67,7 +68,7 @@ public DLFSBrowser(DLFSLocal drive) {
 
 		driveMenu.add(makeMenu("Clone",()->new DLFSBrowser(drive.clone()).run()));
 		driveMenu.add(makeMenu("Sync",()->{
-			for (DLFSLocal other: allDrives) {
+			for (DLFileSystem other: allDrives) {
 				if (other!=drive) {
 					System.out.println("Replicating!!");
 					drive.replicate(other);
@@ -78,7 +79,7 @@ public DLFSBrowser(DLFSLocal drive) {
 		menuBar.add(driveMenu);
 
 		menuBar.add(makeMenu("Sync!",()->{
-			for (DLFSLocal other: allDrives) {
+			for (DLFileSystem other: allDrives) {
 				if (other!=drive) {
 					System.out.println("Replicating!!");
 					drive.replicate(other);
@@ -91,6 +92,9 @@ public DLFSBrowser(DLFSLocal drive) {
 
 	}
 
+	public DLFileSystem getDrive() {
+		return drive;
+	}
 
 	public DLFSBrowser() {
 		this(createDemoDrive());

convex-gui/src/test/java/convex/gui/GUITest.java

@@ -1,10 +1,14 @@
 package convex.gui;
 
+import static org.junit.jupiter.api.Assertions.assertEquals;
+
 import org.junit.jupiter.api.Test;
 
 import convex.core.State;
 import convex.core.crypto.AKeyPair;
 import convex.core.exceptions.InvalidDataException;
+import convex.dlfs.DLFileSystem;
+import convex.gui.dlfs.DLFSBrowser;
 import convex.gui.peer.PeerGUI;
 
 /**
@@ -23,4 +27,11 @@ public void testState() throws InvalidDataException {
 		State s = manager.getLatestState();
 		s.validate();
 	}
+	
+	@Test
+	public void testDLFSBrowser() {
+		DLFSBrowser browser=new DLFSBrowser();
+		DLFileSystem drive=browser.getDrive();
+		assertEquals(0,drive.getRoot().getNameCount());
+	}
 }