p.print( mod.getMinorVersion() ); p.print( "-" ); p.print( mod.getPatchLevel() ); p.print( " Producer: " ); p.println( mod.getProducer() );
p.print(mod.getMinorVersion()); p.print("-"); p.print(mod.getPatchLevel()); p.print(" Producer: "); p.println(mod.getProducer());
/** * Defines the currently edited module and initializes an module editor for that module. * * @param module the module that should be edited. * @param config the report configuration that supplies the values for the module. * @param entries a list of entries which should be edited. */ public void editModule( final Module module, final HierarchicalConfiguration config, final ConfigDescriptionEntry[] entries ) { final Object[] params = new Object[ 4 ]; params[ 0 ] = module.getName(); params[ 1 ] = module.getMajorVersion(); params[ 2 ] = module.getMinorVersion(); params[ 3 ] = module.getPatchLevel(); moduleNameField.setText( moduleNameFormat.format( params ) ); producerField.setText( module.getProducer() ); descriptionArea.setText( module.getDescription() ); editorArea.removeAll(); moduleEditor = EditorFactory.getInstance().getModule( module, config, entries ); if ( moduleEditor != null ) { editorArea.add( moduleEditor.getComponent() ); moduleEditor.reset(); } invalidate(); }
return true; if ( module.getPatchLevel() == null ) { LOGGER.debug( "Module " + module.getName() + " does not define a patch level." ); } else { if ( acceptVersion( moduleRequirement.getPatchLevel(), module.getPatchLevel() ) > 0 ) { LOGGER.debug( "Did not accept patchlevel: " + moduleRequirement.getPatchLevel() + " - " + module.getPatchLevel() ); return false;
if (module.getPatchLevel() == null) module.getPatchLevel()) > 0) + module.getPatchLevel()); return false;