home *** CD-ROM | disk | FTP | other *** search
/ PC Online 1998 September / PCO_0998.ISO / browser / ns405lyc / nav40.z / jsd10.jar / netscape / jsdebug / JSSourceTextProvider.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-03-24  |  1.7 KB  |  67 lines
  1. package netscape.jsdebug;
  2.  
  3. import netscape.security.ForbiddenTargetException;
  4. import netscape.security.PrivilegeManager;
  5. import netscape.util.Vector;
  6.  
  7. public final class JSSourceTextProvider extends SourceTextProvider {
  8.    private static SourceTextProvider _sourceTextProvider = null;
  9.    private Vector _sourceTextVector = new Vector();
  10.    private long _nativeContext;
  11.  
  12.    private JSSourceTextProvider(long var1) {
  13.       this._nativeContext = var1;
  14.    }
  15.  
  16.    public static synchronized SourceTextProvider getSourceTextProvider() throws ForbiddenTargetException {
  17.       PrivilegeManager.checkPrivilegeEnabled("Debugger");
  18.       if (_sourceTextProvider == null) {
  19.          long var0 = (long)DebugController.getDebugController().getNativeContext();
  20.          if (var0 != 0L) {
  21.             _sourceTextProvider = new JSSourceTextProvider(var0);
  22.          }
  23.       }
  24.  
  25.       return _sourceTextProvider;
  26.    }
  27.  
  28.    public SourceTextItem findSourceTextItem(String var1) throws ForbiddenTargetException {
  29.       PrivilegeManager.checkPrivilegeEnabled("Debugger");
  30.       return this.findSourceTextItem0(var1);
  31.    }
  32.  
  33.    private SourceTextItem findSourceTextItem0(String var1) {
  34.       Vector var3 = this._sourceTextVector;
  35.       synchronized(var3){}
  36.  
  37.       try {
  38.          for(int var5 = 0; var5 < this._sourceTextVector.size(); ++var5) {
  39.             SourceTextItem var6 = (SourceTextItem)this._sourceTextVector.elementAt(var5);
  40.             if (var6.getURL().equals(var1)) {
  41.                SourceTextItem var2 = var6;
  42.                return var2;
  43.             }
  44.          }
  45.  
  46.          Object var9 = null;
  47.          return (SourceTextItem)var9;
  48.       } catch (Throwable var8) {
  49.          throw var8;
  50.       }
  51.    }
  52.  
  53.    public Vector getSourceTextVector() throws ForbiddenTargetException {
  54.       PrivilegeManager.checkPrivilegeEnabled("Debugger");
  55.       return this._sourceTextVector;
  56.    }
  57.  
  58.    public synchronized SourceTextItem loadSourceTextItem(String var1) throws ForbiddenTargetException {
  59.       PrivilegeManager.checkPrivilegeEnabled("Debugger");
  60.       return this.loadSourceTextItem0(var1);
  61.    }
  62.  
  63.    private native SourceTextItem loadSourceTextItem0(String var1);
  64.  
  65.    public synchronized native void refreshSourceTextVector();
  66. }
  67.