public class PstricksUtilities extends java.lang.Object implements PstricksConstants, PicObjectConstants
CR_LF, DEFAULT_FILE_WRAPPER_EPILOG, DEFAULT_FILE_WRAPPER_PROLOG, KEY_FILE_WRAPPER_EPILOG, KEY_FILE_WRAPPER_PROLOG, PST_ARROWS, PST_ARROWS_LEFT, PST_ARROWS_RIGHT, PST_COLORNAMES, PST_COLORS, RESCALING_TEX_FUNCTION
ARROW_GLOBAL_SCALE_LENGTH, ARROW_GLOBAL_SCALE_WIDTH, ARROW_INSET_SCALE, ARROW_LENGTH_SCALE, ARROW_WIDTH_LINEWIDTH_SCALE, ARROW_WIDTH_MINIMUM_MM, BRACKET_LENGTH_SCALE, CROSSHATCH, CROSSHATCH_FILLED, DASH_OPAQUE, DASH_TRANSPARENT, DASH1, DASH2, DASH3, DASHED, DIMEN, DOT_SEP, DOT_SEP1, DOT_SEP2, DOT_SEP3, DOTTED, DOUBLE_COLOR, DOUBLE_LINE, DOUBLE_SEP, FILL_COLOR, FILL_STYLE, HATCH_ANGLE, HATCH_COLOR, HATCH_SEP, HATCH_WIDTH, HLINES, HLINES_FILLED, INNER, LEFT_ARROW, LINE_COLOR, LINE_STYLE, LINE_WIDTH, MIDDLE, NONE, OUTER, OVER_STRIKE, OVER_STRIKE_COLOR, OVER_STRIKE_WIDTH, POLYDOTS_ANGLE, POLYDOTS_CIRCLE, POLYDOTS_DISK, POLYDOTS_PENTAGON, POLYDOTS_PENTAGON_FILLED, POLYDOTS_PLUS, POLYDOTS_SCALE_H, POLYDOTS_SCALE_V, POLYDOTS_SIZE_LINEWIDTH_SCALE, POLYDOTS_SIZE_MINIMUM_MM, POLYDOTS_SQUARE, POLYDOTS_SQUARE_FILLED, POLYDOTS_STYLE, POLYDOTS_SUPERIMPOSE, POLYDOTS_TRIANGLE, POLYDOTS_TRIANGLE_FILLED, PS_POINT, PST_CUSTOM, RBRACKET_LENGTH_SCALE, RIGHT_ARROW, SHADOW, SHADOW_ANGLE, SHADOW_COLOR, SHADOW_SIZE, SOLID, TBAR_WIDTH_LINEWIDTH_SCALE, TBAR_WIDTH_MINIMUM_MM, TEXT_BOX_CIRCLE, TEXT_BOX_NO_FRAME, TEXT_BOX_OVAL, TEXT_BOX_RECTANGLE, TEXT_FRAME, TEXT_HALIGN_CENTER, TEXT_HALIGN_LEFT, TEXT_HALIGN_RIGHT, TEXT_HOR_ALIGN, TEXT_ROTATION, TEXT_VALIGN_BASELINE, TEXT_VALIGN_BOTTOM, TEXT_VALIGN_CENTER, TEXT_VALIGN_TOP, TEXT_VERT_ALIGN, VLINES, VLINES_FILLED
Constructor and Description |
---|
PstricksUtilities() |
Modifier and Type | Method and Description |
---|---|
static Arrow[] |
createArrowsFromPstricksString(java.lang.String str) |
static java.lang.StringBuffer |
createPstricksStringFromArrows(Element obj) |
static java.awt.Color |
getPsTricksColor(java.lang.String name)
Returns a Color object corresponding to the given PsTricks's colour name ;
a null Color if none matches (in which case the caller might look up a table of user-defined colours to see if one matches)
|
static java.lang.String |
getPsTricksColorName(java.awt.Color c)
Returns PsTricks's colour name from the given Color object;
a null String if none matches (in which case the caller might define a new colour by using a \\newrgbcolor or a \\newgray command...)
|
static void |
main(java.lang.String[] arg)
Test
|
static java.lang.String |
toPstricksString(Arrow arrow,
boolean rightArrow)
Returns a String representing the given Arrow in the PsTricks syntax, e.g.
|
public static java.lang.String getPsTricksColorName(java.awt.Color c)
public static java.awt.Color getPsTricksColor(java.lang.String name)
public static java.lang.String toPstricksString(Arrow arrow, boolean rightArrow)
rightArrow
- if TRUE, returns the String representation of this Arrow if it's a right-arrow ;
otherwise, returns the left-arrow string.public static java.lang.StringBuffer createPstricksStringFromArrows(Element obj)
public static Arrow[] createArrowsFromPstricksString(java.lang.String str)
public static void main(java.lang.String[] arg)
Submit a bug : syd@jpicedt.org