");
-
- for (int i = 0; i < allTokens.size(); i++)
- {
- Token token = (Token) allTokens.get(i);
-
- //check how many tokens are on teh same level (= having the same parent)
- int offset = i;
- if(i > 0) {
- while(offset > 0 && ((Token) allTokens.get(offset - 1)).getParent().equals(token.getParent())) {
- offset--;
- }
- }
- boxConstraint = extractBoxConstraint(rootDiagramElement, token);
-
- //Adjust for borders
- //boxConstraint[2]-=borderWidth*2;
- //boxConstraint[3]-=borderWidth*2;
-
- jspOut.println("
");
-
- if(token.getName()!=null)
- {
- jspOut.println(" " + token.getName() +"");
- }
-
- jspOut.println("
");
- }
- jspOut.println("
");
- }
- else
- {
- boxConstraint = extractBoxConstraint(rootDiagramElement);
-
- jspOut.println("