changeset 52 | f577ea64429e |
parent 49 | e64c52f5ee56 |
child 53 | ba7c1ce1cc4a |
--- a/org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java Wed Jan 27 10:42:14 2010 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -package org.chromium.debug.core.model; - -import org.chromium.sdk.Script; -import org.eclipse.core.resources.IFile; - -public interface IResourceManager { - IFile getResource(Script script); - void addScript(Script script); - boolean isAddingFile(IFile file); - Script getScript(IFile file); - void clear(); -}