Examples of BoxList

Examples of ket.display.box.BoxList

77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
          Box sum1 = new BoxWord(argument, Symbol.Sigma.toUnicode(),
              Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
          Box arg1 = boxArgs.firstElement();
          arg1.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);

          BoxList list1 = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);

          list1.nextHorizontalPath(new Box[]{sum1, arg1});
          list1.nextVerticalPath(new Box[]{sum1});
          list1.nextVerticalPath(new Box[]{arg1});
          return list1;
        }
      case 2:
        {
          Box sum2 = new BoxWord(argument,
              Symbol.Sigma.toUnicode(),
              Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
          Box arg2 = boxArgs.get(1);
          Box from2 = boxArgs.get(0);

          BoxList list2 = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);

          list2.nextHorizontalPath(new Box[]{sum2, arg2});
          list2.nextHorizontalPath(new Box[]{from2});
          list2.nextVerticalPath(new Box[]{sum2, from2});
          list2.nextVerticalPath(new Box[]{arg2});

          arg2.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
          from2.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
          return list2;
        }
      default:
        {
          Box sumDefault = new BoxWord(argument,
              Symbol.Sigma.toUnicode(),
              Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
          Box arg = boxArgs.get(2);
          arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
          Box from = boxArgs.get(0);
          Box to = boxArgs.get(1);

          BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);

          list.nextHorizontalPath(new Box[]{to});
          list.nextHorizontalPath(new Box[]{sumDefault, arg});
          list.nextHorizontalPath(new Box[]{from});
          list.nextVerticalPath(new Box[]{to, sumDefault, from});
          list.nextVerticalPath(new Box[]{arg});

          from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
          to.setProperty(Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
          return list;
        }
View Full Code Here

Examples of ket.display.box.BoxList

79
80
81
82
83
84
85
86
87
88
89
90
91
92
        Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
    Box arg = boxArgs.get(1);
    arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
    Box from = boxArgs.get(0);
    from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
    BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);

    list.nextHorizontalPath(new Box[]{lim, gap, arg});
    list.nextHorizontalPath(new Box[]{from});
    list.nextVerticalPath(new Box[]{lim, from});
    list.nextVerticalPath(new Box[]{gap});
    list.nextVerticalPath(new Box[]{arg});
    return list;
  }
View Full Code Here

Examples of ket.display.box.BoxList

102
103
104
105
106
107
108
109
110
    }
    if (boxArgs.size()<2) {
      return super.toBox(argument, settings, colourScheme, args);
    }
    Box gap = new BoxWord(null, " ", Box.PLAIN_FONT|Box.LEFT_ALIGN|Box.TOP_ALIGN);
    BoxList box = BoxTools.operatorFactory(argument, null, gap, null, boxArgs, settings);
    box.setWrap();
    return box;
  }
View Full Code Here

Examples of ket.display.box.BoxList

80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
      {
        Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
            Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
        Box arg = boxArgs.firstElement();
        arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
        BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        list.nextHorizontalPath(new Box[]{sum, arg});
        list.nextVerticalPath(new Box[]{sum});
        list.nextVerticalPath(new Box[]{arg});
        return list;
      }
      case 2:
      {
        Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
            Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
        Box arg = boxArgs.get(1);
        arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
        Box from = boxArgs.get(0);
        from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
        BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        list.nextHorizontalPath(new Box[]{sum, arg});
        list.nextHorizontalPath(new Box[]{from});
        list.nextVerticalPath(new Box[]{sum, from});
        list.nextVerticalPath(new Box[]{arg});
        return list;
      }
      case 3:
      {
        Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
            Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
        Box arg = boxArgs.get(2);
        arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
        Box from = boxArgs.get(0);
        from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
        Box to = boxArgs.get(1);
        to.setProperty(Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
        BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        list.nextHorizontalPath(new Box[]{to});
        list.nextHorizontalPath(new Box[]{sum, arg});
        list.nextHorizontalPath(new Box[]{from});
        list.nextVerticalPath(new Box[]{to, sum, from});
        list.nextVerticalPath(new Box[]{arg});
        return list;
      }
      default:
        return super.toBox(argument, boxArgs, settings, colourScheme);
    }
View Full Code Here

Examples of ket.display.box.BoxList

52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
      Box base = boxArgs.get(0);
      base.setProperty(Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
      // TODO: Add a bracketWhenAppropriate() method.
      Box arg = boxArgs.get(1);
      arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
      BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
      list.nextHorizontalPath(new Box[]{log, base, arg});
      list.nextVerticalPath(new Box[]{log});
      list.nextVerticalPath(new Box[]{base});
      list.nextVerticalPath(new Box[]{arg});
      return list;
    } else {
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
  }
View Full Code Here

Examples of ket.display.box.BoxList

73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
      case 3:
        BoxGraphic verticalBar2 = new BoxGraphic(argument, Box.X_CENTRE_ALIGN|Box.VERTICAL_STRETCH, BoxGraphic.VERTICAL_LINE);
        Box subject = boxArgs.get(0);
        Box from = boxArgs.get(1);
        Box to = boxArgs.size()==3 ? boxArgs.get(2) : new BoxWord(argument, " ", 0L);
        BoxList boxList = new BoxList(argument, settings);
        boxList.nextHorizontalPath(new Box[]{to});
        boxList.nextHorizontalPath(new Box[]{subject, verticalBar2});
        boxList.nextHorizontalPath(new Box[]{from});
        boxList.nextVerticalPath(new Box[]{subject});
        boxList.nextVerticalPath(new Box[]{verticalBar2});
        boxList.nextVerticalPath(new Box[]{to, from});
        subject.setProperty(Box.RIGHT_ALIGN|Box.Y_CENTRE_ALIGN);
        from.setProperty(Box.LEFT_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
        to.setProperty(Box.LEFT_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
        return boxList;
View Full Code Here

Examples of ket.display.box.BoxList

36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
        }
      }
      // DRY principle; is this still the best place for that code?
      Box subject = boxArgs.firstElement();
      Box subscript = boxArgs.lastElement();
      BoxList box = new BoxList(argument, 0L);
      box.nextHorizontalPath(new Box[]{subject, subscript});
      box.nextVerticalPath(new Box[]{subject});
      box.nextVerticalPath(new Box[]{subscript});
      subject.setProperty(Box.RIGHT_ALIGN|Box.Y_CENTRE_ALIGN);
      subscript.setProperty(Box.LEFT_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
      box.setProperty(settings);
      return box;
    } else {
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
  }
View Full Code Here

Examples of ket.display.box.BoxList

90
91
92
93
94
95
96
97
98
99
100
101
102
  public Box toBox(Argument argument, long settings, ColourScheme colourScheme, Vector<Argument> args) {
    Box[][] table = asTable(args, colourScheme);
    if (table!=null) {
      Box matrixWithoutBrackets = BoxTools.gridToBox(argument, table);
      BoxGraphic open = new BoxGraphic(argument, 0L, BoxGraphic.OPEN_PARENTHESIS);
      BoxList result = BoxTools.centredHorizontalBoxList(argument, settings, open, matrixWithoutBrackets);
      open.setProperty(Box.PRESERVE_ASPECT_RATIO|Box.VERTICAL_STRETCH|Box.PLAIN_FONT);
      result.setProperty(settings); //n
      return result;
    } else {
      return super.toBox(argument, settings, colourScheme, args);
    }
  }
View Full Code Here

Examples of ket.display.box.BoxList

345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
  private boolean messageBoxClick(boolean singleClick, Position p) {
    Document document = modes.getDocument();
    Message message = modes.getMessage();
    KetPanel ketPanel = document.getKetPanel();
    // box list: (BoxWord) start, (BoxWord) "|", (BoxWord) end
    BoxList messageBox = ketPanel.getMessageBoxList();
    if (messageBox==null) return false;
    Box clickedOn = messageBox.findDeepestBox(p);
    boolean messageBoxClick = clickedOn!=null;
    if (!messageBoxClick) return false;
    Vector<Box> children = messageBox.getChildren();
    if (children.size()!=3) return false;
    BoxWord startBoxWord = (BoxWord) children.get(0);
    BoxWord endBoxWord = (BoxWord) children.get(2);
    int index = -1;
    if (startBoxWord==clickedOn) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.