大橙子网站建设,新征程启航
为企业提供网站建设、域名注册、服务器等服务
这篇文章主要介绍了java2html.class怎么更改的相关知识,内容详细易懂,操作简单快捷,具有一定借鉴价值,相信大家阅读完这篇java2html.class怎么更改文章都会有所收获,下面我们一起来看看吧。
创新互联专注于企业成都全网营销推广、网站重做改版、贵州网站定制设计、自适应品牌网站建设、HTML5建站、商城网站建设、集团公司官网建设、成都外贸网站制作、高端网站制作、响应式网页设计等建站业务,价格优惠性价比高,为贵州等各大城市提供网站开发制作服务。
// source File Name: Java2HTML.java
XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />
package com.java2html;
import java.io.*;
import java.util.Vector;
// Referenced classes of package com.java2html:
// O01, O01050, O01052, BadOptionException,
// O07, JavaDoc
public class Java2HTML
{
private int O01040;
private int O01041;
private boolean O01012;
private boolean O01014;
private boolean O01042;
private String O01002;
private String O01043[];
private JavaDoc O01044[];
private String O01045;
public static void main(String args[])
{
int i;
Java2HTML java2html;
O01 o01;
i = 0;
System.out.println("Java2HTML Version 1.3.2 (iBeyond.org modify)");
System.out.println(O07.O0997);
java2html = new Java2HTML();
o01 = new O01(args);
if(!o01.O04(java2html))
{
return;
}
try
{
java2html.buildJava2HTML();
}
catch(Exception exception)
{
System.err.print(exception.getMessage());
i = 1;
}
System.exit(i);
return;
}
public boolean buildJava2HTML()
throws Exception
{
O01049();
O01050 o01050 = new O01050(O01044);
if(O01043 == null)
{
setJavaDirectorySource(new String[] {
"."
});
}
O01052 o01052 = new O01052(O01043, O01045, O01040, O01041, O01012, O01014, o01050);
if(!O01042)
{
O01052.O01054(O01045, o01052, O01002);
}
o01052.O01055();
return true;
}
private void O01049()
throws IOException
{
(new File(O01045)).mkdirs();
File file = null;
FileWriter filewriter = null;
file = new File(O01045 + File.separator + "stylesheet.css");
filewriter = new FileWriter(file);
filewriter.write(O07.O0998());
filewriter.close();
System.out.println("Created " + file.getAbsolutePath());
if(!O01042)
{
File file1 = new File(O01045 + File.separator + "front.html");
FileWriter filewriter1 = new FileWriter(file1);
filewriter1.write(O07.O0999());
filewriter1.close();
System.out.println("Created " + file1.getAbsolutePath());
file1 = new File(O01045 + File.separator + "index.html");
filewriter1 = new FileWriter(file1);
filewriter1.write(O07.O01001(O01002));
filewriter1.close();
}
}
public void setMarginSize(int i)
{
O01040 = i;
}
public void setTabSize(int i)
{
O01041 = i;
}
public void setHeader(boolean flag)
{
O01012 = flag;
}
public void setSimple(boolean flag)
{
O01042 = flag;
}
public void setFooter(boolean flag)
{
O01014 = flag;
}
public void setTitle(String s)
{
O01002 = s;
}
public void setJavaDirectorySource(String as[])
throws BadOptionException
{
for(int i = 0; i < as.length; i++)
{
File file = new File(as[i]);
if(!file.isDirectory())
{
throw new BadOptionException(as[i] + " is not a directory");
}
}
Vector vector = new Vector();
for(int j = 0; j < as.length; j++)
{
vector = O07.O01020(as[j], vector);
}
O01043 = new String[vector.size()];
for(int k = 0; k < vector.size(); k++)
{
O01043[k] = (String)vector.elementAt(k);
}
}
public void O01059(String as[])
{
O01043 = as;
}
public void setJavaDoc(JavaDoc ajavadoc[])
{
O01044 = ajavadoc;
}
public void setDestination(String s)
{
O01045 = s;
}
public Java2HTML()
{
O01041 = 4;
O01012 = true;
O01014 = true;
O01042 = false;
O01002 = "Java Source";
O01045 = "output";
}
}
关于“java2html.class怎么更改”这篇文章的内容就介绍到这里,感谢各位的阅读!相信大家对“java2html.class怎么更改”知识都有一定的了解,大家如果还想学习更多知识,欢迎关注创新互联行业资讯频道。