Ejemplo n.º 1
0
 public static void generateManText(String encoding, File dir, boolean titles, boolean expand)
     throws IOException {
   JavaWsTextsProvider javaws =
       new JavaWsTextsProvider(encoding, new ManFormatter(), titles, expand);
   javaws.writeToDir(dir);
   ItwebSettingsTextsProvider itws =
       new ItwebSettingsTextsProvider(encoding, new ManFormatter(), titles, expand);
   itws.writeToDir(dir);
   PolicyEditorTextsProvider pe =
       new PolicyEditorTextsProvider(encoding, new ManFormatter(), titles, expand);
   pe.writeToDir(dir);
   IcedTeaWebTextsProvider itw =
       new IcedTeaWebTextsProvider(encoding, new ManFormatter(), titles, expand);
   itw.writeToDir(dir);
   ItwebPluginTextProvider pl =
       new ItwebPluginTextProvider(encoding, new ManFormatter(), titles, expand);
   pl.writeToDir(dir);
 }
Ejemplo n.º 2
0
 public static void generateHtmlTexts(
     String encoding,
     File dir,
     boolean allowContext,
     boolean allowLogo,
     boolean includeXmlHeader,
     boolean titles,
     boolean expand)
     throws IOException {
   if (allowLogo) {
     File flogo = new File(dir, logo_name);
     try (InputStream is = TextsProvider.class.getResourceAsStream(logo_url);
         OutputStream os = new FileOutputStream(flogo); ) {
       copy(is, os);
       os.flush();
     }
   }
   JavaWsTextsProvider javaws =
       new JavaWsTextsProvider(
           encoding, new HtmlFormatter(allowContext, allowLogo, includeXmlHeader), titles, expand);
   javaws.writeToDir(dir);
   ItwebSettingsTextsProvider itws =
       new ItwebSettingsTextsProvider(
           encoding, new HtmlFormatter(allowContext, allowLogo, includeXmlHeader), titles, expand);
   itws.writeToDir(dir);
   PolicyEditorTextsProvider pe =
       new PolicyEditorTextsProvider(
           encoding, new HtmlFormatter(allowContext, allowLogo, includeXmlHeader), titles, expand);
   pe.writeToDir(dir);
   IcedTeaWebTextsProvider itw =
       new IcedTeaWebTextsProvider(
           encoding, new HtmlFormatter(allowContext, allowLogo, includeXmlHeader), titles, expand);
   itw.writeToDir(dir);
   ItwebPluginTextProvider pl =
       new ItwebPluginTextProvider(
           encoding, new HtmlFormatter(allowContext, allowLogo, includeXmlHeader), titles, expand);
   pl.writeToDir(dir);
 }