001    package nl.cwi.sen1.tide.tool;
002    
003    import nl.cwi.sen1.tide.tool.support.DebugAdapter;
004    
005    abstract public class AdapterTool
006      extends TideTool
007    {
008      protected DebugAdapter adapter;
009    
010      //{{{ protected AdapterTool(ToolManager manager, DebugAdapter adapter)
011    
012      protected AdapterTool(ToolManager manager, DebugAdapter adapter)
013      {
014        super(manager);
015        this.adapter = adapter;
016      }
017    
018      //}}}
019    }