home *** CD-ROM | disk | FTP | other *** search
- package webeq3.schema;
-
- import webeq3.app.Equation;
- import webeq3.util.OutputHandler;
-
- public class MUnder extends MUnderover {
- public MUnder(Box var1) {
- super(var1);
- super.type = 8;
- }
-
- public MUnder() {
- super.type = 8;
- }
-
- public MUnder(Equation var1) {
- super(var1);
- super.type = 8;
- }
-
- public void size() {
- if (super.children.size() < 3) {
- Box var1 = new Box(this);
- ((Box)this).addChild(var1);
- }
-
- super.size();
- }
-
- public void printSelected(String var1, OutputHandler var2, boolean var3, boolean var4, String var5, boolean var6, int var7) {
- if (var3 && !super.reverse_video) {
- for(int var8 = 0; var8 < super.children.size(); ++var8) {
- ((Box)this).getChild(var8).printSelected(var1, var2, var3, var4, var5, var6, var7);
- }
- } else if (var6 && super.cpeer != null) {
- super.cpeer.printSelected(var1, var2, var3, var4, var5, var6, var7);
- } else {
- var2.println(var1 + ((Box)this).make_head(false, var5));
- ((Box)this).getChild(0).printSelected(var1 + " ", var2, var3, var4, var5, var6, var7);
- ((Box)this).getChild(1).printSelected(var1 + " ", var2, var3, var4, var5, var6, var7);
- var2.println(var1 + "</" + ((Box)this).make_tag(var5) + ">");
- }
-
- }
- }
-