org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java
changeset 2 e4420d2515f1
equal deleted inserted replaced
1:ef76fc2ac88c 2:e4420d2515f1
       
     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 }