");
if (e instanceof Value) {
out.println("");
out.println("
" + conv(((Value) e).description) + "
");
out.println("");
} else {
Function f = ((Function) e);
String str = f.description;
// check for images links in form of [/img:]
str = conv(str);
out.println("
" + str + "
");
out.print("
" + f.ret + " " + f.name + "( ");
out.print(" ");
int max = f.param.size();
if (max != 0) {
for (int ctr = 0; ctr < max; ctr++) {
if (ctr != 0)
out.print(", ");
Param p = (Param) f.param.elementAt(ctr);
out.print("" + p.type + "" + p.name + "");
}
} else {
out.print("ILvoid");
}
out.println(" );
");
out.print("
Parameters
");
out.print("
");
max = f.param.size();
if (max != 0) {
for (int ctr = 0; ctr < max; ctr++) {
if (ctr != 0)
out.print(" ");
Param p = (Param) f.param.elementAt(ctr);
out.print("
" + p.name + "
" + p.description + "
");
}
} else {
out.println("
None
");
}
out.print("
");
}
out.print(" ");
Vector l = ((LinkedEntity) e).links;
int max = l.size();
int ctr = 0;
for (ctr = 0; ctr < max; ctr++) {
Links ee = (Links) l.elementAt(ctr);
sort(ee.links, ee.links.size());
out.print("
" + ee.name + "
");
int lmax = ee.links.size();
int lctr = 0;
if (ee.verbose.compareToIgnoreCase("true") == 0) {
for (lctr = 0; lctr < lmax; lctr++) {
Link eee = (Link) ee.links.elementAt(lctr);
if (eee.from != null)
out.print("
");
Entity e;
int max;
int ctr;
for (ctr = 0, max = vector.length; ctr < max; ctr++) {
e = (Entity) vector[ctr];
if (e instanceof Function) {
if (first_type == 0)
out.print("
");
int ctr, max;
for (ctr = 0, max = sets.size(); ctr < max; ctr++) {
Set set = (Set) sets.elementAt(ctr);
out.println("" + set.name + " ");
}
out.print("
");
printEnd(out);
out.flush();
dumpFile("index.html", data_out.toString());
} catch(Exception e) {
System.out.println("[Error] Can't Create index page");
System.exit(0);
}
}
private final String getDescription(String from, String name) {
Enumeration e = sets.elements();
while (e.hasMoreElements()) {
Set set = (Set) e.nextElement();
String setname = set.name;
if (setname.compareToIgnoreCase(from) == 0) {
Enumeration ee = set.entity.elements();
while (ee.hasMoreElements()) {
Entity eee = (Entity) ee.nextElement();
if (eee.name.compareToIgnoreCase(name) == 0)
return eee.description;
}
}
}
System.err.println("[Error] !! Missing definition description in " + from + ":" + name);
System.exit(1);
return null;
}
private final void printHeader(PrintStream out, String title) {
out.println("DevIL Documentation, " + title + " ");
out.println("");
out.println();
out.println();
out.println();
}
private final void printEnd(PrintStream out) {
out.println();
out.println();
out.println();
out.println(" ");
}
private final static void sort(NamedObject A[], int max) {
int k, i;
NamedObject P;
for (k = max - 1; k > 0; k--) {
for (i = 0; i < k; ++i) {
if (strcmp(A[i].name, A[i + 1].name) > 0) {
P = A[i];
A[i] = A[i + 1];
A[i + 1] = P;
}
}
}
}
private final static void sort(Vector A, int max) {
int k, i;
NamedObject P;
for (k = max - 1; k > 0; k--) {
for (i = 0; i < k; ++i) {
if (strcmp(((NamedObject) A.get(i)).name, ((NamedObject) A.get(i + 1)).name) > 0) {
P = ((NamedObject) A.get(i));
A.set(i, A.get(i + 1));
A.set(i + 1, P);
}
}
}
}
private final String getStringFromName(String set, String name) {
String str = "";
if (current_set.name != set) {
str += "../" + set;
}
str += name;
return str;
}
private static final void dumpFile(String file, String data) {
try {
PrintStream fout = new PrintStream(new FileOutputStream(file));
fout.print(data);
fout.close();
fout = null;
} catch(Exception ex) {
System.out.println("[Error] Can't Create File:" + file);
System.out.println(ex);
}
}
private static final int strcmp(String src1, String src2) {
return src1.compareTo(src2);
}
//@TODO modifica il testo secondo i link
// two formats
// [/link::] --> [/link:IL:ilBindImage]
// [/extlink:] --> [/extlink:http://www.foo.com]
public static String conv( String str ) {
try {
int idx = 0;
// ogni vettore e' un vettore
// 1 -> string to match
// 2 -> pre param
// 3 -> post param
String tags[][] =
{{"%link:",""},
{"%br","",""},
{"%center/","",""},
{"%center","
",""},
{"%img:",""}};
for( int ctr = 0; ctr < tags.length; ctr++ ) {
int ret = 0;
while( (ret = find(str,ret,tags[ctr][0])) != -1 ) {
int end_idx = find(str,ret+tags[ctr][0].length()-2,"%");
String pre = str.substring(0,ret);
String post = str.substring(end_idx+1,str.length());
str = pre + tags[ctr][1] +str.substring(ret+(tags[ctr][0]).length(),end_idx) + tags[ctr][2] + post;
ret = end_idx;
}
}
} catch( Exception e ) {
System.err.println("Error while elaborating a tag");
e.printStackTrace();
System.exit(-1);
}
return str;
}
// Find utility functions
public static final int find( String str, String param ) {
return find( str, 0, param );
}
public static final int find( String str, int start_from, String param ) {
int idxs = start_from; // index of the string
int idxp = 0; // index of the param
final int slen = str.length(); // length of the string
final int plen = param.length(); // length of the parameter
while( idxs < slen && idxp < plen ) { // scan the strings
if( (idxp < plen) && (param.charAt(idxp) == str.charAt(idxs)) ) // check
idxp++;
else
idxp = 0; // reset parameter counter
idxs++;
}
if( idxp == plen ) // select if not found or found return value
return idxs - plen;
else
return -1;
}
}
![](\"images/DevIL.gif\")
![](\"../images/DevIL.gif\")