equal
deleted
inserted
replaced
22 |
22 |
23 /** |
23 /** |
24 * This object handles the mapping between {@link Script}s and their corresponding resources |
24 * This object handles the mapping between {@link Script}s and their corresponding resources |
25 * inside Eclipse. |
25 * inside Eclipse. |
26 */ |
26 */ |
27 public class ResourceManager implements IResourceManager { |
27 public class ResourceManager { |
28 private final Map<IFile, Script> resourceToScript = new HashMap<IFile, Script>(); |
28 private final Map<IFile, Script> resourceToScript = new HashMap<IFile, Script>(); |
29 private final Map<ScriptIdentifier, IFile> scriptIdToResource = |
29 private final Map<ScriptIdentifier, IFile> scriptIdToResource = |
30 new HashMap<ScriptIdentifier, IFile>(); |
30 new HashMap<ScriptIdentifier, IFile>(); |
31 private final IProject debugProject; |
31 private final IProject debugProject; |
32 private final BreakpointRegistry breakpointRegistry; |
32 private final BreakpointRegistry breakpointRegistry; |