org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java
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();
-}