| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/texmath-0.12.1.1/src/Text/TeXMath/Readers/MathML/ |
| H A D | MMLDict.hs | 33 dict = M.fromList (map (\o -> ((oper o, form o), o)) operators)
51 …, Operator {oper = "%", description = "PERCENT SIGN", form = FInfix, priority = 640, lspace = 3, r…
52 …, Operator {oper = "&", description = "AMPERSAND", form = FPostfix, priority = 880, lspace = 0, rs…
57 …, Operator {oper = "*", description = "ASTERISK", form = FInfix, priority = 390, lspace = 3, rspac…
60 …, Operator {oper = "+", description = "PLUS SIGN", form = FInfix, priority = 275, lspace = 4, rspa…
61 …, Operator {oper = "+", description = "PLUS SIGN", form = FPrefix, priority = 275, lspace = 0, rsp…
65 …, Operator {oper = "-", description = "HYPHEN-MINUS", form = FInfix, priority = 275, lspace = 4, r…
70 …, Operator {oper = ".", description = "FULL STOP", form = FInfix, priority = 390, lspace = 3, rspa…
73 …, Operator {oper = "/", description = "SOLIDUS", form = FInfix, priority = 660, lspace = 1, rspace…
76 …, Operator {oper = ":", description = "COLON", form = FInfix, priority = 100, lspace = 1, rspace =…
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/texmath-0.12.3.1/src/Text/TeXMath/Readers/MathML/ |
| H A D | MMLDict.hs | 33 dict = M.fromList (map (\o -> ((oper o, form o), o)) operators)
51 …, Operator {oper = "%", description = "PERCENT SIGN", form = FInfix, priority = 640, lspace = 3, r…
52 …, Operator {oper = "&", description = "AMPERSAND", form = FPostfix, priority = 880, lspace = 0, rs…
57 …, Operator {oper = "*", description = "ASTERISK", form = FInfix, priority = 390, lspace = 3, rspac…
60 …, Operator {oper = "+", description = "PLUS SIGN", form = FInfix, priority = 275, lspace = 4, rspa…
61 …, Operator {oper = "+", description = "PLUS SIGN", form = FPrefix, priority = 275, lspace = 0, rsp…
65 …, Operator {oper = "-", description = "HYPHEN-MINUS", form = FInfix, priority = 275, lspace = 4, r…
70 …, Operator {oper = ".", description = "FULL STOP", form = FInfix, priority = 390, lspace = 3, rspa…
73 …, Operator {oper = "/", description = "SOLIDUS", form = FInfix, priority = 660, lspace = 1, rspace…
76 …, Operator {oper = ":", description = "COLON", form = FInfix, priority = 100, lspace = 1, rspace =…
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper);
70 drag(oper, pnt);
76 drop(oper, pnt);
81 startDragging(oper);
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1);
83 drag(oper, pnt);
90 drop(oper, pnt);
171 DriverManager.getMouseDriver(oper).
183 return (oper.getTimeouts().
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa…
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/scrolling/ |
| H A D | JScrollBarDriver.java | 68 startDragging(oper); in scrollToMinimum()
70 drag(oper, pnt); in scrollToMinimum()
76 drop(oper, pnt); in scrollToMinimum()
81 startDragging(oper); in scrollToMaximum()
82 Point pnt = new Point(oper.getWidth() - 1, oper.getHeight() - 1); in scrollToMaximum()
83 drag(oper, pnt); in scrollToMaximum()
90 drop(oper, pnt); in scrollToMaximum()
171 DriverManager.getMouseDriver(oper). in drop()
183 return (oper.getTimeouts(). in getScrollDeltaTimeout()
196 …Point pnt = getClickPoint((JScrollBarOperator) oper, less, more, ((JScrollBarOperator) oper).getVa… in canDragAndDrop()
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| H A D | TextAPIDriver.java | 55 checkSupported(oper); in changeCaretPosition()
65 checkSupported(oper); in selectText()
80 public void clearText(ComponentOperator oper) { in clearText() argument
90 checkSupported(oper); in typeText()
91 String curtext = getText(oper); in typeText()
93 if (getSelectionStart(oper) == realPos in typeText()
96 realPos = realPos - (getSelectionEnd(oper) - getSelectionStart(oper)); in typeText()
102 changeText(oper, in typeText()
109 checkSupported(oper); in changeText()
119 changeText(oper, text); in enterText()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| H A D | TextAPIDriver.java | 55 checkSupported(oper); in changeCaretPosition()
65 checkSupported(oper); in selectText()
80 public void clearText(ComponentOperator oper) { in clearText() argument
90 checkSupported(oper); in typeText()
91 String curtext = getText(oper); in typeText()
93 if (getSelectionStart(oper) == realPos in typeText()
96 realPos = realPos - (getSelectionEnd(oper) - getSelectionStart(oper)); in typeText()
102 changeText(oper, in typeText()
109 checkSupported(oper); in changeText()
119 changeText(oper, text); in enterText()
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| H A D | TextAPIDriver.java | 55 checkSupported(oper); in changeCaretPosition()
65 checkSupported(oper); in selectText()
80 public void clearText(ComponentOperator oper) { in clearText() argument
90 checkSupported(oper); in typeText()
91 String curtext = getText(oper); in typeText()
93 if (getSelectionStart(oper) == realPos in typeText()
96 realPos = realPos - (getSelectionEnd(oper) - getSelectionStart(oper)); in typeText()
102 changeText(oper, in typeText()
109 checkSupported(oper); in changeText()
119 changeText(oper, text); in enterText()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| H A D | TextAPIDriver.java | 55 checkSupported(oper); in changeCaretPosition()
65 checkSupported(oper); in selectText()
80 public void clearText(ComponentOperator oper) { in clearText() argument
90 checkSupported(oper); in typeText()
91 String curtext = getText(oper); in typeText()
93 if (getSelectionStart(oper) == realPos in typeText()
96 realPos = realPos - (getSelectionEnd(oper) - getSelectionStart(oper)); in typeText()
102 changeText(oper, in typeText()
109 checkSupported(oper); in changeText()
119 changeText(oper, text); in enterText()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/sanity/client/lib/jemmy/src/org/netbeans/jemmy/drivers/text/ |
| H A D | TextKeyboardDriver.java | 57 DriverManager.getFocusDriver(oper).giveFocus(oper); in changeCaretPosition()
58 checkSupported(oper); in changeCaretPosition()
65 DriverManager.getKeyDriver(oper).pressKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
67 DriverManager.getKeyDriver(oper).releaseKey(oper, KeyEvent.VK_SHIFT, 0); in selectText()
72 DriverManager.getFocusDriver(oper).giveFocus(oper); in clearText()
73 checkSupported(oper); in clearText()
103 clearText(oper); in changeText()
104 typeText(oper, text, 0); in changeText()
109 changeText(oper, text); in enterText()
110 DriverManager.getKeyDriver(oper).pushKey(oper, KeyEvent.VK_ENTER, 0, in enterText()
[all …]
|
| /dports/lang/fpc/fpc-3.2.2/compiler/arm/ |
| H A D | aoptcpu.pas | 161 result := (oper.typ = top_reg) and (oper.reg = reg);
538 MatchOperand(p.oper[0]^, p.oper[1]^.reg) and
543 (taicpu(hp1).oper[1]^.ref^.base=p.oper[0]^.reg) and
544 (taicpu(hp1).oper[0]^.reg<>p.oper[0]^.reg) and
558 taicpu(hp1).oper[1]^.ref^.index:=p.oper[2]^.reg;
567 taicpu(hp1).oper[1]^.ref^.offset:=p.oper[2]^.val
600 (taicpu(hp1).oper[0]^.reg=p.oper[1]^.ref^.base) and
601 (taicpu(hp1).oper[1]^.reg=p.oper[1]^.ref^.base) and
612 (p.oper[0]^.reg<>p.oper[1]^.ref^.base) and
615 (p.oper[0]^.reg<>taicpu(hp1).oper[2]^.reg) and
[all …]
|
| /dports/lang/fpc-source/fpc-3.2.2/compiler/arm/ |
| H A D | aoptcpu.pas | 161 result := (oper.typ = top_reg) and (oper.reg = reg);
538 MatchOperand(p.oper[0]^, p.oper[1]^.reg) and
543 (taicpu(hp1).oper[1]^.ref^.base=p.oper[0]^.reg) and
544 (taicpu(hp1).oper[0]^.reg<>p.oper[0]^.reg) and
558 taicpu(hp1).oper[1]^.ref^.index:=p.oper[2]^.reg;
567 taicpu(hp1).oper[1]^.ref^.offset:=p.oper[2]^.val
600 (taicpu(hp1).oper[0]^.reg=p.oper[1]^.ref^.base) and
601 (taicpu(hp1).oper[1]^.reg=p.oper[1]^.ref^.base) and
612 (p.oper[0]^.reg<>p.oper[1]^.ref^.base) and
615 (p.oper[0]^.reg<>taicpu(hp1).oper[2]^.reg) and
[all …]
|
| /dports/editors/fpc-ide/fpc-3.2.2/compiler/arm/ |
| H A D | aoptcpu.pas | 161 result := (oper.typ = top_reg) and (oper.reg = reg);
538 MatchOperand(p.oper[0]^, p.oper[1]^.reg) and
543 (taicpu(hp1).oper[1]^.ref^.base=p.oper[0]^.reg) and
544 (taicpu(hp1).oper[0]^.reg<>p.oper[0]^.reg) and
558 taicpu(hp1).oper[1]^.ref^.index:=p.oper[2]^.reg;
567 taicpu(hp1).oper[1]^.ref^.offset:=p.oper[2]^.val
600 (taicpu(hp1).oper[0]^.reg=p.oper[1]^.ref^.base) and
601 (taicpu(hp1).oper[1]^.reg=p.oper[1]^.ref^.base) and
612 (p.oper[0]^.reg<>p.oper[1]^.ref^.base) and
615 (p.oper[0]^.reg<>taicpu(hp1).oper[2]^.reg) and
[all …]
|