KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > debugger > ide > SourceShower


1 /* -*- Mode: JDE; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2  *
3  * This file is part of the debugger and core tools for the AspectJ(tm)
4  * programming language; see http://aspectj.org
5  *
6  * The contents of this file are subject to the Mozilla Public License
7  * Version 1.1 (the "License"); you may not use this file except in
8  * compliance with the License. You may obtain a copy of the License at
9  * either http://www.mozilla.org/MPL/ or http://aspectj.org/MPL/.
10  *
11  * Software distributed under the License is distributed on an "AS IS" basis,
12  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
13  * for the specific language governing rights and limitations under the
14  * License.
15  *
16  * The Original Code is AspectJ.
17  *
18  * The Initial Developer of the Original Code is Xerox Corporation. Portions
19  * created by Xerox Corporation are Copyright (C) 1999-2002 Xerox Corporation.
20  * All Rights Reserved.
21  */

22
23 package org.aspectj.debugger.ide;
24
25 /**
26  * SourceShower.java
27  *
28  *
29  * Created: Tue Sep 19 11:44:39 2000
30  *
31  * @author <a HREF="mailto:palm@parc.xerox.com"Jeffrey Palm</a>
32  */

33
34 public interface SourceShower {
35
36     /**
37      * Displays the source for relativePath on something.
38      *
39      * @param relativePath The relative path of the source to show.
40      */

41     public boolean showSource(String JavaDoc relativePath);
42
43     /**
44      * Show line for the source currently shown.
45      *
46      * @param line The line number of the source.
47      * @param isAtBreakpoint Whether this line is at a breakpoint.
48      */

49     public void showLineForCurrentModel(int line, boolean isAtBreakpoint);
50
51     /**
52      * Returns the current source's name.
53      *
54      * @return The current source's name.
55      */

56     public String JavaDoc getSourceName();
57 }
58
Popular Tags