Examples of BoxGraphic

Examples of ket.display.box.BoxGraphic

40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    switch (boxArgs.size()) {
      case 0:
      case 1:
        BoxGraphic horizontalBar = new BoxGraphic(argument, 0L, BoxGraphic.HORIZONTAL_LINE);
        boxArgs.add(0, horizontalBar);
        Box argsAndOverbar = BoxTools.centredVerticalBoxList(argument, 0L, boxArgs);
        BoxGraphic radical = new BoxGraphic(argument, 0L, BoxGraphic.RADICAL);
        Box sqrtBox = BoxTools.centredHorizontalBoxList(argument, 0L, radical, argsAndOverbar);
        radical.setProperty(Box.HORIZONTAL_STRETCH);
        radical.setProperty(Box.TOP_ALIGN);
        radical.setProperty(Box.PRESERVE_ASPECT_RATIO);
        horizontalBar.setProperty(Box.HORIZONTAL_STRETCH);
        sqrtBox.setProperty(settings);
        return sqrtBox;
      default:
        return super.toBox(argument, boxArgs, settings, colourScheme);
View Full Code Here

Examples of ket.display.box.BoxGraphic

61
62
63
64
65
66
67
68
69
70
71
72
73
74
    }
  }

  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    BoxGraphic lt = new BoxGraphic(argument, settings, BoxGraphic.BRA);
    BoxGraphic leftPipe = new BoxGraphic(argument, settings, BoxGraphic.VERTICAL_LINE);
    BoxGraphic rightPipe = new BoxGraphic(argument, settings, BoxGraphic.VERTICAL_LINE);
    BoxGraphic gt = new BoxGraphic(argument, settings, BoxGraphic.KET);
    Vector<Box> list = new Vector<Box>();
    switch (boxArgs.size()) {
      case 1:
        list.add(rightPipe);
        list.add(boxArgs.firstElement());
View Full Code Here

Examples of ket.display.box.BoxGraphic

77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    if (boxArgs.size()>2) {
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    BoxGraphic bar = new BoxGraphic(argument, 0L, BoxGraphic.HORIZONTAL_LINE);
    Box above = new BoxGap(argument, 0L, bar, 0.0, 1.0, 0.0, 0.0);
    Box below = new BoxGap(argument, 0L, bar, 0.0, 1.0, 0.0, 0.0);
    boxArgs.add(1, above);
    boxArgs.add(2, bar);
    boxArgs.add(3, below);
    Box box = BoxTools.centredVerticalBoxList(argument, settings, boxArgs);
    bar.setProperty(Box.HORIZONTAL_STRETCH);
    return box;
  }
View Full Code Here

Examples of ket.display.box.BoxGraphic

62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
  }

  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    //- Box lt = Symbol.LESS_THAN.toBox(argument, settings, colourScheme);
    BoxGraphic lt = new BoxGraphic(argument, settings, BoxGraphic.BRA);
    //- Box leftPipe = Symbol.PIPE.toBox(argument, settings, colourScheme);
    BoxGraphic leftPipe = new BoxGraphic(argument, settings, BoxGraphic.VERTICAL_LINE);
    //- Box rightPipe = Symbol.PIPE.toBox(argument, settings, colourScheme);
    BoxGraphic rightPipe = new BoxGraphic(argument, settings, BoxGraphic.VERTICAL_LINE);
    //- Box gt = Symbol.GREATER_THAN.toBox(argument, settings, colourScheme);
    BoxGraphic gt = new BoxGraphic(argument, settings, BoxGraphic.KET);
    Vector<Box> list = new Vector<Box>();
    switch (boxArgs.size()) {
      case 1:
        list.add(lt);
        list.add(boxArgs.firstElement());
View Full Code Here

Examples of ket.display.box.BoxGraphic

60
61
62
63
64
65
66
67
68
69
70
71
72
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    if (boxArgs.size()!=1) {
      // Unreachable
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    BoxGraphic left = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    BoxGraphic right = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    Box box = BoxTools.centredHorizontalBoxList(argument, settings, left, boxArgs.firstElement(), right);
    left.setProperty(Box.VERTICAL_STRETCH);
    right.setProperty(Box.VERTICAL_STRETCH);
    box.setProperty(settings);
    return box;
  }
View Full Code Here

Examples of ket.display.box.BoxGraphic

57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
    return toBox(argument, boxArgs, settings, colourScheme);
  }

  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    BoxGraphic left1 = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    Box left2 = new BoxGap(argument, 0L, left1, 1.0, 1.0, 0.0, 0.0);
    BoxGraphic left3 = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    BoxGraphic right1 = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    Box right2 = new BoxGap(argument, 0L, left1, 1.0, 1.0, 0.0, 0.0);
    BoxGraphic right3 = new BoxGraphic(argument, 0L, BoxGraphic.VERTICAL_LINE);
    Vector<Box> list = new Vector<Box>();
    list.add(left1);
    list.add(left2);
    list.add(left3);
    list.add(boxArgs.firstElement());
    list.add(right1);
    list.add(right2);
    list.add(right3);
    Box box = BoxTools.centredHorizontalBoxList(argument, settings, list);
    left1.setProperty(Box.VERTICAL_STRETCH);
    left2.setProperty(Box.VERTICAL_STRETCH);
    left3.setProperty(Box.VERTICAL_STRETCH);
    right1.setProperty(Box.VERTICAL_STRETCH);
    right2.setProperty(Box.VERTICAL_STRETCH);
    right3.setProperty(Box.VERTICAL_STRETCH);
    box.setProperty(settings);
    return box;
  }
View Full Code Here

Examples of ket.display.box.BoxGraphic

62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    switch (boxArgs.size()) {
      case 0:
      case 1:
        BoxGraphic verticalBar1 = new BoxGraphic(argument, Box.LEFT_ALIGN|Box.VERTICAL_STRETCH, BoxGraphic.VERTICAL_LINE);
        boxArgs.add(1, verticalBar1);
        boxArgs.get(2).setProperty(Box.BOTTOM_ALIGN|Box.SMALL_FONT);
        return BoxTools.centredHorizontalBoxList(argument, settings, boxArgs);

      case 2:
      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});
View Full Code Here

Examples of ket.display.box.BoxGraphic

143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
      case 2:
        // Repeated pattern new String[]{number.number, pattern};
        BoxWord prefix = new BoxWord(argument, string[0], settings);
        BoxWord pattern = new BoxWord(argument, string[1], settings);
        BoxGraphic horizontalBar = new BoxGraphic(argument, 0L, BoxGraphic.HORIZONTAL_LINE);
        Box argsAndOverbar = BoxTools.centredVerticalBoxList(argument, settings, horizontalBar, pattern);
        Box box = BoxTools.centredHorizontalBoxList(argument, 0L, prefix, argsAndOverbar);
        horizontalBar.setProperty(Box.HORIZONTAL_STRETCH);
        horizontalBar.setProperty(Box.BOTTOM_ALIGN);
        return box;

      default:
        // Never used, but just in case.
        return new BoxWord(argument, getValue(), settings);
View Full Code Here

Examples of ket.display.box.BoxGraphic

89
90
91
92
93
94
95
96
97
98
99
100
101
  @Override
  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
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.