| de.uka.ilkd.key.ocl.gf.LanguageManager
| LanguageManager | | interface LanguageManager (Code) | | Sadly, this class is a hack.
It serves as the pointer type to an inner class of GFEditor2.
Two of its methods are needed outside after refactoring.
author:
daniels |
| Method Summary | |
| public void | add(String myLang, boolean myActive)
Checks if myLang is already present, and if not,
adds it. | | public boolean | isLangActive(String myLang)
|
| add | | public void add(String myLang, boolean myActive)(Code) | | Checks if myLang is already present, and if not,
adds it. In that case, myActive is ignored.
Parameters:
myLang - The name of the language
Parameters:
myActive - whether the language is displayed or not |
| isLangActive | | public boolean isLangActive(String myLang)(Code) | |
Parameters:
myLang - The language in question true iff the language is present and set to active,false otherwise. |
|
|