Package ket.display.box

Examples of ket.display.box.BoxWord

87
88
89
90
91
92
93
94
95
96
97
  }

  @Override
  public Box toBox(Argument argument, long settings, ColourScheme colourScheme, Vector<Argument> args) {
    if (args.size()>0) {
      BoxWord dBox = new BoxWord(null, "d", 0L);
      return BoxFactory.derivative(argument, dBox, getArgUpperLimit(), args, settings, colourScheme);
    } else {
      return super.toBox(argument, settings, colourScheme, args);
    }
  }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
      for (Box b : boxArgs) {
        if (b.getArgument()==null) {
          b.setArgument(argument);
        }
      }
      Box log = new BoxWord(argument, "log", Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.PLAIN_FONT);
      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);
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
      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});
        boxList.nextHorizontalPath(new Box[]{subject, verticalBar2});
        boxList.nextHorizontalPath(new Box[]{from});
        boxList.nextVerticalPath(new Box[]{subject});
View Full Code Here
31
32
33
34
35
36
37
  @Override
  public Box toBox(Argument argument, long settings, ColourScheme colourScheme) {
    // TODO: Is it always appropriate to have a null argument associated with the return value?
    // TODO: Is is appropriate that Text.toBox() creates boxWord instances?
    return new BoxWord(argument, getValue(), settings);
  }
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
          value = value.substring(0, shift); //ish
        }
      } else {
        //...
      }
      return new BoxWord(argument, value, settings);
    }
    String[] string = Suffix.suffix(value);
    switch (string.length) {
      case 1:
        return new BoxWord(argument, string[0], settings);

      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
78
79
80
81
82
83
84
85
86
87
    }
    Vector<Box> boxArgs = BoxTools.padArgs(args, 2*columns, colourScheme);
    Box[][] table = new Box[columns][3];
    for (int i=0; i<2*columns; i+=2) {
      table[i/2][0] = boxArgs.get(i);
      table[i/2][1] = new BoxWord(null, "  ", Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
      table[i/2][2] = boxArgs.get(i+1);
    }
    return table;
  }
View Full Code Here
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
    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) {
      index = startBoxWord.getIndex(p)-1;
    } else if (endBoxWord==clickedOn) {
      // Including cursor index.
      int indent = message.getStart().length();
      index = indent + endBoxWord.getIndex(p) + 1;
    } else {
      return false;
    }
    if (index==-1) return false;
    message.setIndex(index);
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
    ColourScheme colourScheme = (ColourScheme) document.getColourScheme();
    Color selectedColour = colourScheme.getHighlightedColour(0);
    Color backgroundColour = colourScheme.getBackgroundColour();

    // text colour: highlight ? selectedColour : backgroundColour;
    BoxWord startBoxWord = new BoxWord(KET_PANEL, startString, 0L);
    BoxWord endBoxWord = new BoxWord(KET_PANEL, endString, 0L);

    if (getModes().getDocumentState()==DocumentState.UPDATE_TEXT) {
      // Text doesn't require a separate message box.
      this.messageBoxList = null;
      this.messageBox = null;
    } else if (message.getMode()==Message.APPEND_MODE) {
      // WARNING: Message box's contents can't be found with findDeepestArgument() if they have a null argument.
      BoxWord gapBox = new BoxWord(KET_PANEL, "|", 0L);
      messageBoxList = BoxTools.centredHorizontalBoxList(KET_PANEL, 0L, startBoxWord, gapBox, endBoxWord);
      //- messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme.getPlainTextColour(), colourScheme);
      messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme);
    } else if (messageString.length()>0) { // Echo and error modes.
      // TODO: Don't display the cursor in error or echo responder: only in edit responder.
View Full Code Here
554
555
556
557
558
559
560
  }

  public Box toBox(Argument argument, long settings, ColourScheme colourScheme) {
    // Get bold / regular settings from here.
    //settings |= Box.PLAIN_FONT;
    return new BoxWord(argument, toUnicode(), settings);
  }
View Full Code Here
486
487
488
489
490
491
492
493
494
  public Box toBox(long settings, ColourScheme colourScheme) {
    if (isBold()) { //?
      settings |= Box.BOLD_FONT;
    }
    //- Box box = new BoxWord(this, Symbol.HIDDEN.toUnicode(), settings, colourScheme.getBoxColour(this));
    Box box = new BoxWord(this, Symbol.HIDDEN.toUnicode(), settings);
    box.setArgument(this); //? Redundant?
    return box;
  }
View Full Code Here
TOP

Related Classes of ket.display.box.BoxWord

  • geom.Offset
  • ket.math.Argument
  • ket.math.FunctionForm
  • ket.math.purpose.DoubleValue
  • ket.math.purpose.function.FunctionConjugate
  • ket.math.purpose.function.FunctionFork
  • ket.math.purpose.function.FunctionLimit
  • ket.math.purpose.function.FunctionLog
  • ket.math.purpose.function.FunctionMatrix
  • ket.math.purpose.function.FunctionProduct
    • 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.