public class FormatParser
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANNOTATION_ID |
static java.lang.String |
ARROW_SOURCE_END |
static java.lang.String |
ARROW_TARGET_END |
static java.lang.String |
COLOR |
static java.lang.String |
LINE_COLOR |
static java.lang.String |
LINE_STYLE |
static java.lang.String |
LINE_WIDTH |
static java.lang.String |
TEXT_COLOR |
Constructor and Description |
---|
FormatParser() |
Modifier and Type | Method and Description |
---|---|
static org.eclipse.swt.graphics.RGB |
getColorFormatProperty(FormattableElement element,
java.lang.String index) |
static int |
getNumberProperty(FormattableElement element,
java.lang.String index)
Returns a numeric format property.
|
static java.lang.String |
getStringProperty(FormattableElement element,
java.lang.String index)
Returns a string format property.
|
static boolean |
isFormatted(FormattableElement element) |
static org.eclipse.swt.graphics.RGB |
parseColor(java.lang.String colorString) |
static FormatSpecification |
parseFormatAnnotation(org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation format) |
public static final java.lang.String ANNOTATION_ID
public static final java.lang.String COLOR
public static final java.lang.String LINE_COLOR
public static final java.lang.String TEXT_COLOR
public static final java.lang.String LINE_WIDTH
public static final java.lang.String LINE_STYLE
public static final java.lang.String ARROW_SOURCE_END
public static final java.lang.String ARROW_TARGET_END
public static boolean isFormatted(FormattableElement element)
public static FormatSpecification parseFormatAnnotation(org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation format)
public static org.eclipse.swt.graphics.RGB parseColor(java.lang.String colorString)
public static org.eclipse.swt.graphics.RGB getColorFormatProperty(FormattableElement element, java.lang.String index)
public static int getNumberProperty(FormattableElement element, java.lang.String index)
index
- public static java.lang.String getStringProperty(FormattableElement element, java.lang.String index)
index
-