org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java
changeset 2 e4420d2515f1
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/org.chromium.debug.core/src/org/chromium/debug/core/model/IResourceManager.java	Wed Dec 23 17:13:18 2009 -0800
@@ -0,0 +1,12 @@
+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();
+}