org.acm.seguin.ide.common
Class PluginSourceBrowser

java.lang.Object
  extended by org.acm.seguin.ide.common.SourceBrowser
      extended by org.acm.seguin.ide.common.PluginSourceBrowser

public class PluginSourceBrowser
extends SourceBrowser

Base class for source browsing. This is the generic base class.

Author:
Chris Seguin

Constructor Summary
PluginSourceBrowser(java.awt.Frame view)
           
 
Method Summary
 boolean canBrowseSource()
          Determines if the system is in a state where it can browse the source code
 void gotoSource(java.io.File file, int line)
          Actually browses to the file
 
Methods inherited from class org.acm.seguin.ide.common.SourceBrowser
get, set
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PluginSourceBrowser

public PluginSourceBrowser(java.awt.Frame view)
Method Detail

canBrowseSource

public boolean canBrowseSource()
Determines if the system is in a state where it can browse the source code

Specified by:
canBrowseSource in class SourceBrowser
Returns:
true if the source code browsing is enabled

gotoSource

public void gotoSource(java.io.File file,
                       int line)
Actually browses to the file

Specified by:
gotoSource in class SourceBrowser
Parameters:
file - the file
line - the line in the file