private Language findLanguageByName(String languageName) { if (languageName != null) { if (languageName.equals(Languages.java().getName())) { return Languages.java(); } else if (languageName.equals(Languages.bytecode().getName())) { return Languages.bytecode(); } else if (languageName.equals(Languages.bytecodeAst().getName())) { return Languages.bytecodeAst(); } for (Language language : Languages.debug()) { if (languageName.equals(language.getName())) { return language; } } } return Languages.java(); }
public void decompile() { this.invalidateContent(); // synchronized: do not accept changes from menu while running synchronized (settings) { if (Languages.java().getName().equals(settings.getLanguage().getName())) { decompileWithNavigationLinks(); } else { decompileWithoutLinks(); } } }
settingsMenu.addSeparator(); languageLookup.put(Languages.java().getName(), Languages.java()); languageLookup.put(Languages.bytecode().getName(), Languages.bytecode()); languageLookup.put(Languages.bytecodeAst().getName(), Languages.bytecodeAst()); java = new JRadioButtonMenuItem(Languages.java().getName()); java.getModel().setActionCommand(Languages.java().getName()); java.setSelected(Languages.java().getName().equals(settings.getLanguage().getName())); languagesGroup.add(java); settingsMenu.add(java);
settings.setLanguage(Languages.java()); } else if (bytecode.isSelected()) { settings.setLanguage(Languages.bytecode());
public final Language getLanguage() { return _language != null ? _language : Languages.java(); }
public final Language getLanguage() { return _language != null ? _language : Languages.java(); }
public final Language getLanguage() { return _language != null ? _language : Languages.java(); }