Source code: com/trapezium/chisel/WorkspaceChild.java

   /*  WorkspaceChild
    *
    */
   
   package com.trapezium.chisel;
   
   import java.awt.*;
   import java.awt.event.*;
   import java.io.*;
  import java.net.URL;
  import java.util.*;
  
  
  /** The interface for children of workspaces */
  public interface WorkspaceChild {
  
    /** return the workspace */
    Workspace getWorkspace();
  }