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