p.println( mod.getProducer() ); p.print( " Description: " ); p.println( mod.getDescription() );
p.println(mod.getProducer()); p.print(" Description: "); p.println(mod.getDescription());
/** * 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(); }