org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java
changeset 52 f577ea64429e
parent 49 e64c52f5ee56
child 53 ba7c1ce1cc4a
equal deleted inserted replaced
49:e64c52f5ee56 52:f577ea64429e
     1 package org.chromium.debug.core.model;
       
     2 
       
     3 import org.chromium.sdk.Script;
       
     4 import org.eclipse.core.resources.IFile;
       
     5 
       
     6 public interface IResourceManager {
       
     7 	IFile getResource(Script script);
       
     8 	void addScript(Script script);
       
     9 	boolean isAddingFile(IFile file);
       
    10 	Script getScript(IFile file);
       
    11 	void clear();
       
    12 }