01: //Copyright (c) Hans-Joachim Daniels 2005
02: //
03: //This program is free software; you can redistribute it and/or modify
04: //it under the terms of the GNU General Public License as published by
05: //the Free Software Foundation; either version 2 of the License, or
06: //(at your option) any later version.
07: //
08: //This program is distributed in the hope that it will be useful,
09: //but WITHOUT ANY WARRANTY; without even the implied warranty of
10: //MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11: //GNU General Public License for more details.
12: //
13: //You can either finde the file LICENSE or LICENSE.TXT in the source
14: //distribution or in the .jar file of this application
15:
16: package de.uka.ilkd.key.ocl.gf;
17:
18: /**
19: * Sadly, this class is a hack.
20: * It serves as the pointer type to an inner class of GFEditor2.
21: * Two of its methods are needed outside after refactoring.
22: * @author daniels
23: *
24: */
25: interface LanguageManager {
26: /**
27: * @param myLang The language in question
28: * @return true iff the language is present and set to active,
29: * false otherwise.
30: */
31: public boolean isLangActive(String myLang);
32:
33: /**
34: * Checks if myLang is already present, and if not,
35: * adds it. In that case, myActive is ignored.
36: * @param myLang The name of the language
37: * @param myActive whether the language is displayed or not
38: */
39: public void add(String myLang, boolean myActive);
40: }
|