Searched defs:sourceManager (Results 1 - 9 of 9) sorted by relevance

/openjdk7/jdk/src/share/classes/com/sun/tools/example/debug/gui/
H A DJDBToolBar.java48 SourceManager sourceManager; field in class:JDBToolBar
57 this.sourceManager = env.getSourceManager();
H A DJDBMenuBar.java53 SourceManager sourceManager; field in class:JDBMenuBar
61 this.sourceManager = env.getSourceManager();
H A DClassTreeTool.java55 private SourceManager sourceManager; field in class:ClassTreeTool
73 this.sourceManager = env.getSourceManager();
H A DEnvironment.java43 private SourceManager sourceManager; field in class:Environment
57 this.sourceManager = new SourceManager(this);
65 return sourceManager;
H A DCommandTool.java58 private SourceManager sourceManager; field in class:CommandTool
71 this.sourceManager = env.getSourceManager();
H A DSourceTreeTool.java54 private SourceManager sourceManager; field in class:SourceTreeTool
70 this.sourceManager = env.getSourceManager();
74 sourcePath = sourceManager.getSourcePath();
118 sourceManager.addSourceListener(listener);
127 sourcePath = sourceManager.getSourcePath();
H A DThreadTreeTool.java60 private SourceManager sourceManager; field in class:ThreadTreeTool
78 this.sourceManager = env.getSourceManager();
H A DSourceTool.java55 private SourceManager sourceManager; field in class:SourceTool
75 sourceManager = env.getSourceManager();
89 sourceManager.addSourceListener(listener);
145 SourceModel sm = sourceManager.sourceForLocation(loc);
158 SourceModel sm = sourceManager.sourceForLocation(loc);
229 SourceModel source = sourceManager.sourceForLocation(locn);
245 SearchPath sourcePath = sourceManager.getSourcePath();
256 SourceModel source = sourceManager.sourceForFile(file);
H A DCommandInterpreter.java52 private SourceManager sourceManager; field in class:CommandInterpreter
67 this.sourceManager = env.getSourceManager();
975 SourceModel source = sourceManager.sourceForLocation(loc);
1043 out.println(sourceManager.getSourcePath().asString());
1047 sourceManager.setSourcePath(new SearchPath(t.nextToken()));
1056 out.println(sourceManager.getSourcePath().asString());
1060 sourceManager.setSourcePath(new SearchPath(t.nextToken()));

Completed in 40 milliseconds