KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > ajde > ui > UserPreferencesAdapter


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

25
26
27 package org.aspectj.ajde.ui;
28
29 import java.util.List JavaDoc;
30
31 /**
32  * This interface needs to be implemented by an IDE extension in order for AJDE
33  * to store properties in a way that matches the IDE's property storing facilities.
34  *
35  * @author Mik Kersten
36  */

37 public interface UserPreferencesAdapter {
38
39     /**
40      * Retrieves a global IDE option.
41      */

42     public String JavaDoc getGlobalPreference(String JavaDoc name);
43     
44     /**
45      * Retrieves a global IDE option.
46      */

47     public List JavaDoc getGlobalMultivalPreference(String JavaDoc name);
48     
49     /**
50      * Sets a global IDE option with a single value.
51      */

52     public void setGlobalPreference(String JavaDoc name, String JavaDoc value);
53     
54     /**
55      * Sets a global IDE option with multiple values.
56      */

57     public void setGlobalMultivalPreference(String JavaDoc name, List JavaDoc values);
58     
59     /**
60      * Retrieves an option for the currently active project.
61      */

62     public String JavaDoc getProjectPreference(String JavaDoc name);
63     
64     /**
65      * Retrieves an option for the currently active project.
66      */

67     public List JavaDoc getProjectMultivalPreference(String JavaDoc name);
68     
69     /**
70      * Sets an option for the currently active project.
71      */

72     public void setProjectPreference(String JavaDoc name, String JavaDoc value);
73     
74     /**
75      * Sets an option for the currently active project.
76      */

77     public void setProjectMultivalPreference(String JavaDoc name, List JavaDoc values);
78 }
79
Popular Tags