KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > lib > java > parser > ECRequestDesc


1 /*
2  * The contents of this file are subject to the terms of the Common Development
3  * and Distribution License (the License). You may not use this file except in
4  * compliance with the License.
5  *
6  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html
7  * or http://www.netbeans.org/cddl.txt.
8  *
9  * When distributing Covered Code, include this CDDL Header Notice in each file
10  * and include the License file at http://www.netbeans.org/cddl.txt.
11  * If applicable, add the following below the CDDL Header, with the fields
12  * enclosed by brackets [] replaced by your own identifying information:
13  * "Portions Copyrighted [year] [name of copyright owner]"
14  *
15  * The Original Software is NetBeans. The Initial Developer of the Original
16  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun
17  * Microsystems, Inc. All Rights Reserved.
18  */

19 package org.netbeans.lib.java.parser;
20
21 import java.io.Reader JavaDoc;
22
23 /**
24  *
25  */

26 public interface ECRequestDesc {
27     String JavaDoc getBootClassPath();
28     String JavaDoc getSourceClassPath();
29     String JavaDoc getClassPath();
30     String JavaDoc getSourceLevel();
31     ErrConsumer getErrConsumer();
32     Reader JavaDoc getReader();
33     String JavaDoc getFileName();
34
35     /**
36      * Get the text of a specified Java source file. This method may
37      * be called by the error checker to retrieve source files for
38      * classes referenced by the main class being checked.
39      */

40     Reader JavaDoc getReader(String JavaDoc filename);
41     /**
42      * Returns true if a given file is modified in the editor.
43      */

44     boolean isModified(String JavaDoc filename);
45 }
46
Popular Tags