html.append("<td>Formula</td>");
html.append("</tr>");
TheoremsSignature theoremsSignature = article.getTheoremsSignature();
int i = 0;
TheoremId theoremId = new TheoremId();
TheoremId theoremIdDef = new TheoremId();
for (Theorem theorem : theoremList ){
int nr = 0;
switch (theorem.getKind()){
case D :
theoremIdDef.increment();
nr = theoremIdDef.getId();
break;
case T :
theoremId.increment();
nr = theoremId.getId();
break;
default :
}
if (theorem.getNr() != null) nr = theorem.getNr();
progressBar.setValue(i++);
progressBar.repaint();
html.append("<tr>");
html.append("<td><b>");
try {
html.append(UniqueIdentifier.getInstance(theoremsSignature, article.getAid(), theorem.getKind(), nr).toString());
} catch (UniqueIdentifierException e) {}
html.append("</b></td>");
html.append("<td>");
html.append(theorem.getKind().toString());
html.append("</td>");
html.append("<td>");
if (theorem.getNr() != null)
html.append(theorem.getNr().toString());
html.append("</td>");
html.append("<td>");
if (theorem.getArticlenr() != null)
html.append(theorem.getArticlenr().toString());
html.append("</td>");
html.append("<td>");
if (theorem.getConstrkind() != null)
html.append(theorem.getConstrkind().toString());
html.append("</td>");
html.append("<td>");
if (theorem.getConstrnr() != null)
html.append(theorem.getConstrnr().toString());
html.append("</td>");
html.append("<td>");
if (theorem.getFormula() != null)
html.append(Html.changeChars(theorem.getFormula().getXMLElementList().toString()));
html.append("</td>");
html.append("</tr>");
}
html.append("</table>");
html.append("<h2>List of theorems dli format</h2>");
html.append("<table width=100% border=1>");
html.append("<tr>");
html.append("<td>UniqueIdentifier</td>");
html.append("<td>UniqueId</td>");
html.append("<td>Dli</td>");
html.append("</tr>");
i = 0;
theoremId = new TheoremId();
theoremIdDef = new TheoremId();
for (Theorem theorem : theoremList ){
progressBar.setValue(i++);
progressBar.repaint();
html.append("<tr>");
try {
DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(theoremsSignature, theorem, theoremId, theoremIdDef);
int nr = 0;
switch (theorem.getKind()){
case D :
nr = theoremIdDef.getId();
break;
case T :
nr = theoremId.getId();
break;
default :