/external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/tool/templates/dot/ |
action-edge.st | 1 <src> -> <target> [fontsize=11, fontname="Courier", arrowsize=.7, label = "<label>"<if(arrowhead)>, arrowhead = <arrowhead><endif>];
|
edge.st | 1 <src> -> <target> [fontsize=11, fontname="Courier", arrowsize=.7, label = "<label>"<if(arrowhead)>, arrowhead = <arrowhead><endif>];
|
dot.stg | 55 edge(src,target,label,arrowhead) ::= << 56 <src> -> <target> [fontsize=11, fontname="Courier", arrowsize=.7, label = "<label>"<if(arrowhead)>, arrowhead = <arrowhead><endif>]; 59 action_edge(src,target,label,arrowhead) ::= << 60 <src> -> <target> [fontsize=11, fontname="Courier", arrowsize=.7, label = "<label>"<if(arrowhead)>, arrowhead = <arrowhead><endif>]; 63 epsilon_edge(src,target,label,arrowhead) ::= <<
|
/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/tool/ |
DOTGenerator.java | 44 protected String arrowhead="normal"; field in class:DOTGenerator 149 st.add("arrowhead", arrowhead); 221 edgeST.add("arrowhead", arrowhead); 238 edgeST.add("arrowhead", arrowhead); 390 return arrowhead; 393 public void setArrowheadType(String arrowhead) { 394 this.arrowhead = arrowhead [all...] |
/frameworks/support/v4/java/android/support/v4/widget/ |
MaterialProgressDrawable.java | 93 /** Layout info for the arrowhead in dp */ 98 /** Layout info for the arrowhead for the large spinner in dp */ 155 * @param show Set to true to display the arrowhead on the progress spinner. 162 * @param scale Set the scale of the arrowhead for the spinner. 444 * Set the dimensions of the arrowhead. 545 * @param alpha Set the alpha of the progress spinner and associated arrowhead. 552 * @return Current alpha of the progress spinner and arrowhead. 652 * @param scale Set the scale of the arrowhead for the spinner.
|
/external/chromium_org/chrome/browser/resources/chromeos/chromevox/chromevox/background/mathmaps/symbols/ |
math_arrows.json | 922 "default": "up arrowhead" 930 "default": "down arrowhead" 938 "default": "up arrowhead between two horizontal bars", 1054 "default": "three d top lighted rightwards arrowhead", 1055 "short": "three d top lighted right arrowhead" 1063 "default": "three d bottom lighted rightwards arrowhead", 1064 "short": "three d bottom lighted right arrowhead" 1072 "default": "black rightwards arrowhead", 1073 "short": "black right arrowhead" [all...] |
/cts/apps/CtsVerifier/src/com/android/cts/verifier/sensors/renderers/ |
Wedge.java | 29 * A representation of a 3D triangular wedge or arrowhead shape, suitable for pointing a direction.
|
/external/chromium_org/third_party/icu/source/data/unidata/ |
UnicodeData.txt | [all...] |
ppucd.txt | [all...] |
/external/icu/icu4c/source/data/unidata/ |
UnicodeData.txt | [all...] |
ppucd.txt | [all...] |
/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/ |
GCWrapper.java | 568 // Arrowhead:
|
/external/chromium_org/third_party/icu/source/data/unidata/norm2/ |
uts46.txt | [all...] |
/external/icu/icu4c/source/data/unidata/norm2/ |
uts46.txt | [all...] |
/external/chromium_org/v8/src/ |
jsregexp.cc | [all...] |
/external/srec/config/en.us/dictionary/ |
c0.6 | [all...] |
large.ok | 1432 arrowhead ar]hed [all...] |