home *** CD-ROM | disk | FTP | other *** search
- package webeq3.schema;
-
- import webeq3.app.Equation;
- import webeq3.constants.AttributeConstants;
- import webeq3.util.OutputHandler;
-
- public class ContentBox extends Box {
- public String name = null;
- public int type = 0;
- public int content_type = 0;
- public boolean empty = true;
-
- public ContentBox(Equation var1) {
- super(var1);
- }
-
- public ContentBox(Box var1, int var2, int var3) {
- super(var1);
- this.type = var2;
- this.content_type = var3;
- }
-
- public ContentBox() {
- }
-
- public Box getCopy() {
- Object var1 = null;
- ContentBox var2 = null;
-
- try {
- var2 = (ContentBox)this.getClass().newInstance();
- } catch (Exception var5) {
- System.out.println(var5);
- ((Throwable)var5).printStackTrace();
- }
-
- var2.parent = super.parent;
- var2.my_view = super.my_view;
- var2.ppeer = super.ppeer;
- var2.cpeer = super.cpeer;
- var2.attribute_stack = super.attribute_stack;
- var2.attributes = new String[86];
-
- for(int var3 = 0; var3 < 86; ++var3) {
- var2.attributes[var3] = super.attributes[var3];
- }
-
- var2.udata = super.udata;
- var2.adata = super.adata;
-
- for(int var4 = 0; var4 < ((Box)this).getNumChildren(); ++var4) {
- Box var6 = ((Box)this).getChild(var4).getCopy();
- var6.setParent(var2);
- ((Box)var2).addChild(var6);
- }
-
- var2.type = this.type;
- var2.content_type = this.content_type;
- var2.name = this.name;
- var2.empty = this.empty;
- return var2;
- }
-
- public String make_head(boolean var1, String var2) {
- String var3 = "<" + this.make_tag(var2);
- if (this.name == null && var1) {
- var3 = var3 + " xmlns='http://www.w3.org/1998/Math/MathML' ";
- if (!"".equals(var2)) {
- var3 = var3 + "xmlns:" + var2 + "='http://www.w3.org/1998/Math/MathML' ";
- }
- }
-
- for(int var4 = 0; var4 < 86; ++var4) {
- if (super.attributes[var4] != null && !super.attributes[var4].equals("")) {
- var3 = var3 + " " + AttributeConstants.attribute_names[var4] + "='" + super.attributes[var4] + "'";
- }
- }
-
- return var3 + ">";
- }
-
- public String make_tag(String var1) {
- if (!"".equals(var1) && var1.charAt(var1.length() - 1) != ':') {
- var1 = var1 + ":";
- }
-
- return this.name == null ? var1 + "math" : var1 + this.name;
- }
-
- public void printSelected(String var1, OutputHandler var2, boolean var3, boolean var4, String var5, boolean var6, int var7) {
- if (super.children.size() == 0) {
- if (this.empty) {
- String var8 = this.make_head(var4, var5);
- var8 = var8.substring(0, var8.length() - 1) + "/>";
- var2.println(var1 + var8);
- } else {
- var2.println(var1 + this.make_head(var4, var5) + ((Box)this).unicodeData(var7) + "</" + this.make_tag(var5) + ">");
- }
- } else {
- var2.println(var1 + this.make_head(var4, var5));
- String var11 = var1 + " ";
-
- for(int var9 = 0; var9 < super.children.size(); ++var9) {
- ((Box)this).getChild(var9).printSelected(var11, var2, false, var4, var5, var6, var7);
- }
-
- var2.println(var1 + "</" + this.make_tag(var5) + ">");
- }
-
- }
- }
-