Package ket.display.box

Examples of ket.display.box.Box

72
73
74
75
76
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
130
131
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    switch (boxArgs.size()) {
      case 0:
      case 1:
        {
          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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
    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
43
44
45
46
47
48
49
50
51
52
53
54
  public Box toBox(Argument argument, long settings, ColourScheme colourScheme, Vector<Argument> args) {
    if (args.size()>2) {
      Vector<Box> boxArgs = BoxTools.padArgs(args, 2, colourScheme);
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    Box lim = null;
    Box arg = null;
    switch (args.size()) {
      case 0:
        lim = new BoxWord(Argument.PAD_ARG, "?", settings);
        arg = new BoxWord(Argument.PAD_ARG, "?", settings);
        break;
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    if (boxArgs.size()>2) {
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    Box lim = new BoxWord(
        argument,
        "lim",
        Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.PLAIN_FONT);
    BoxWord gap = new BoxWord(
        argument,
        " ",
        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});
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
    }
    Argument[][] transpose = asTable(args);
    if (transpose!=null) {
      Box[][] boxTable = BoxTools.toBoxTable(transpose, colourScheme);
      Box[][] grid = BoxTools.padBoxTable(boxTable);
      Box matrixWithoutBrackets = BoxTools.gridToBox(argument, grid);
      matrixWithoutBrackets.setArgument(argument);
      return BoxTools.roundBrackets(argument, matrixWithoutBrackets, settings, colourScheme);
    } else {
      // Default to displaying args as a single row.
      BoxWord gap = new BoxWord(null, "  ", Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
      Vector<Box> boxArgs = BoxTools.padArgs(args, getArgLowerLimit(args.size()), colourScheme);
      Box singleRow;
      if (boxArgs.size()>1) {
        singleRow = BoxTools.interpose(argument, gap, boxArgs);
        singleRow.setArgument(argument);
      } else {
        singleRow = boxArgs.firstElement();
      }
      return BoxTools.roundBrackets(argument, singleRow, settings, colourScheme);
View Full Code Here
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
  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    switch (boxArgs.size()) {
      case 1:
        Box box1 = BoxFactory.integral(argument, BoxGraphic.INTEGRAL, null, null, null, boxArgs.get(0));
        box1.setProperty(Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        box1.setProperty(settings);
        return box1;
      case 2:
        Box box2 = BoxFactory.integral(argument, BoxGraphic.INTEGRAL, null, null, boxArgs.get(0), boxArgs.get(1));
        box2.setProperty(Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        box2.setProperty(settings);
        return box2;
      case 3:
        Box box3 = BoxFactory.integral(argument, BoxGraphic.INTEGRAL, boxArgs.get(0), null, boxArgs.get(1), boxArgs.get(2));
        box3.setProperty(Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        box3.setProperty(settings);
        return box3;
      case 4:
        Box box4 = BoxFactory.integral(argument, BoxGraphic.INTEGRAL, boxArgs.get(0), boxArgs.get(1), boxArgs.get(2), boxArgs.get(3));
        box4.setProperty(Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
        box4.setProperty(settings);
        return box4;
      default:
        return super.toBox(argument, boxArgs, settings, colourScheme);
    }
  }
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
89
90
91
  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
41
42
43
44
45
46
47
48
49
50
  public Box toBox(Argument argument, long settings, ColourScheme colourScheme, Vector<Argument> args) {
    if (args.size()==0) {
      return super.toBox(argument, settings, colourScheme, args);
    }
    Vector<Box> boxArgs = BoxTools.padArgs(args, getArgLowerLimit(args.size()), colourScheme);
    Box box = BoxTools.commaList(argument, boxArgs, settings, colourScheme);
    box.setArgument(argument);
    Box parenthesis = BoxTools.parentheses(box, settings, colourScheme);
    return parenthesis;
  }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
    Vector<Box> boxArgs = new Vector<Box>();
    appendRecurToBox(boxArgs, args, colourScheme);
    int missingNumberOfArgs = minimumValidNumberOfArguments-args.size();
    for (int j=0; j<missingNumberOfArgs; j++) {
      //- Box box = new BoxWord(null, "?", 0L, colourScheme.getAbsentColour());
      Box box = new BoxWord(null, "?", 0L);
      boxArgs.add(box);
    }
    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
76
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
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    switch (boxArgs.size()) {
      case 0:
      case 1:
      {
        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});
View Full Code Here
TOP

Related Classes of ket.display.box.Box

  • Buttons
  • geom.Offset
  • geom.Position
  • ket.display.ColourScheme
  • ket.math.Argument
  • ket.math.Branch
  • ket.math.FunctionForm
  • ket.math.purpose.CompoundState
  • ket.math.purpose.DoubleValue
  • ket.math.purpose.function.FunctionFork
    • Copyright © 2018 www.massapicom. 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.