Properties

java.lang.Object
- org.eth.cyril.util.configuration.Properties

```
public class Properties
extends java.lang.Object
```
Some pre-defined properties which can be used for configurations.

Field Summary

Fields
Modifier and Type	Field and Description
`static java.lang.String`	`ABSTRACTIONS` Property to get the array of abstraction objects.
`static java.lang.String`	`ACTIVE` Property to denote whether a given constraint is active.
`static java.lang.String`	`ANALYZE_STATIC` Property to get whether static fields should be analyzed.
`static java.lang.String`	`ARGS` Property to get the argument array for a constraint.
`static java.lang.String`	`BLACK_LIST` Property to get the array of blacklist objects.
`static java.lang.String`	`BOX_HEIGHT` Property to get the box height for a single box in the browser based graph drawer.
`static java.lang.String`	`CACHED` Property to get the cached boolean value for a constraint.
`static java.lang.String`	`CONSTRAINTS` Property to get the inner configuration object for constraints.
`static java.lang.String`	`DEBUG` Property to get whether debugging is activated.
`static java.lang.String`	`DEFAULT_CONSTRAINTS` Property to get the list of constraints to be loaded by default.
`static java.lang.String`	`DEFAULT_INVERT` Property to get the fields to invert by default.
`static java.lang.String`	`DEFAULT_LEFT` Property to get the names of the "left"-pointers in binary trees by default.
`static java.lang.String`	`DEFAULT_RIGHT` Property to get the names of the "right"-pointers in binary trees by default.
`static java.lang.String`	`FONT_FILE` Property to get the font file to load for SWT and Swing.
`static java.lang.String`	`FONT_NAME` Property to get the font name of the font stored in the given font file.
`static java.lang.String`	`FONT_STYLE` Property to get the font style properties for the CSS file.
`static java.lang.String`	`HEIGHT` Property to get the height of the graph drawer.
`static java.lang.String`	`INTERACTIVE_MODE` Property to get whether the interactive mode should be used.
`static java.lang.String`	`IS_BETA` Property to get whether the beta version should be used.
`static java.lang.String`	`LANGUAGE_FILE` Property to get the name of the language file to be used.
`static java.lang.String`	`LETTER_WIDTH` Property to get the desired width of a letter in drawings.
`static java.lang.String`	`QUADPROG_SOLVER` Property to get the desired quad-prog solver.
`static java.lang.String`	`QUERIES` Property to get the inner configuration object for the constraint queries.
`static java.lang.String`	`SWING_FONT_SIZE` Property to get the font size to use for Swing.
`static java.lang.String`	`SWT_FONT_SIZE` Property to get the font size to use for SWT.
`static java.lang.String`	`TO_STRING_FORMATS` Property to get the toString format values.
`static java.lang.String`	`TYPE` Property to get the type of a constraint object.
`static java.lang.String`	`WIDTH` Property to get the width of the graph drawer.

Constructor Summary

Constructors
Constructor and Description

Properties()

Constructors
Constructor and Description
`Properties()`

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - LETTER_WIDTH
```
public static final java.lang.String LETTER_WIDTH
```
    Property to get the desired width of a letter in drawings.
    
    See Also:
    
    Constant Field Values
  - SWING_FONT_SIZE
```
public static final java.lang.String SWING_FONT_SIZE
```
    Property to get the font size to use for Swing.
    
    See Also:
    
    Constant Field Values
  - SWT_FONT_SIZE
```
public static final java.lang.String SWT_FONT_SIZE
```
    Property to get the font size to use for SWT.
    
    See Also:
    
    Constant Field Values
  - FONT_FILE
```
public static final java.lang.String FONT_FILE
```
    Property to get the font file to load for SWT and Swing.
    
    See Also:
    
    Constant Field Values
  - FONT_NAME
```
public static final java.lang.String FONT_NAME
```
    Property to get the font name of the font stored in the given font file.
    
    See Also:
    
    Constant Field Values
  - FONT_STYLE
```
public static final java.lang.String FONT_STYLE
```
    Property to get the font style properties for the CSS file.
    
    See Also:
    
    Constant Field Values
  - WIDTH
```
public static final java.lang.String WIDTH
```
    Property to get the width of the graph drawer.
    
    See Also:
    
    Constant Field Values
  - HEIGHT
```
public static final java.lang.String HEIGHT
```
    Property to get the height of the graph drawer.
    
    See Also:
    
    Constant Field Values
  - CONSTRAINTS
```
public static final java.lang.String CONSTRAINTS
```
    Property to get the inner configuration object for constraints.
    
    See Also:
    
    Constant Field Values
  - QUERIES
```
public static final java.lang.String QUERIES
```
    Property to get the inner configuration object for the constraint queries.
    
    See Also:
    
    Constant Field Values
  - TYPE
```
public static final java.lang.String TYPE
```
    Property to get the type of a constraint object.
    
    See Also:
    
    Constant Field Values
  - ARGS
```
public static final java.lang.String ARGS
```
    Property to get the argument array for a constraint.
    
    See Also:
    
    Constant Field Values
  - CACHED
```
public static final java.lang.String CACHED
```
    Property to get the cached boolean value for a constraint. False by default.
    
    See Also:
    
    Constant Field Values
  - DEFAULT_CONSTRAINTS
```
public static final java.lang.String DEFAULT_CONSTRAINTS
```
    Property to get the list of constraints to be loaded by default.
    
    See Also:
    
    Constant Field Values
  - ACTIVE
```
public static final java.lang.String ACTIVE
```
    Property to denote whether a given constraint is active. True by default.
    
    See Also:
    
    Constant Field Values
  - TO_STRING_FORMATS
```
public static final java.lang.String TO_STRING_FORMATS
```
    Property to get the toString format values.
    
    See Also:
    
    Constant Field Values
  - QUADPROG_SOLVER
```
public static final java.lang.String QUADPROG_SOLVER
```
    Property to get the desired quad-prog solver.
    
    See Also:
    
    Constant Field Values
  - ABSTRACTIONS
```
public static final java.lang.String ABSTRACTIONS
```
    Property to get the array of abstraction objects.
    
    See Also:
    
    Constant Field Values
  - BLACK_LIST
```
public static final java.lang.String BLACK_LIST
```
    Property to get the array of blacklist objects.
    
    See Also:
    
    Constant Field Values
  - ANALYZE_STATIC
```
public static final java.lang.String ANALYZE_STATIC
```
    Property to get whether static fields should be analyzed.
    
    See Also:
    
    Constant Field Values
  - IS_BETA
```
public static final java.lang.String IS_BETA
```
    Property to get whether the beta version should be used.
    
    See Also:
    
    Constant Field Values
  - LANGUAGE_FILE
```
public static final java.lang.String LANGUAGE_FILE
```
    Property to get the name of the language file to be used.
    
    See Also:
    
    Constant Field Values
  - DEBUG
```
public static final java.lang.String DEBUG
```
    Property to get whether debugging is activated.
    
    See Also:
    
    Constant Field Values
  - INTERACTIVE_MODE
```
public static final java.lang.String INTERACTIVE_MODE
```
    Property to get whether the interactive mode should be used.
    
    See Also:
    
    Constant Field Values
  - BOX_HEIGHT
```
public static final java.lang.String BOX_HEIGHT
```
    Property to get the box height for a single box in the browser based graph drawer.
    
    See Also:
    
    Constant Field Values
  - DEFAULT_LEFT
```
public static final java.lang.String DEFAULT_LEFT
```
    Property to get the names of the "left"-pointers in binary trees by default.
    
    See Also:
    
    Constant Field Values
  - DEFAULT_RIGHT
```
public static final java.lang.String DEFAULT_RIGHT
```
    Property to get the names of the "right"-pointers in binary trees by default.
    
    See Also:
    
    Constant Field Values
  - DEFAULT_INVERT
```
public static final java.lang.String DEFAULT_INVERT
```
    Property to get the fields to invert by default.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Properties
```
public Properties()
```

Class Properties

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

LETTER_WIDTH

SWING_FONT_SIZE

SWT_FONT_SIZE

FONT_FILE

FONT_NAME

FONT_STYLE

WIDTH

HEIGHT

CONSTRAINTS

QUERIES

TYPE

ARGS

CACHED

DEFAULT_CONSTRAINTS

ACTIVE

TO_STRING_FORMATS

QUADPROG_SOLVER

ABSTRACTIONS

BLACK_LIST

ANALYZE_STATIC

IS_BETA

LANGUAGE_FILE

DEBUG

INTERACTIVE_MODE

BOX_HEIGHT

DEFAULT_LEFT

DEFAULT_RIGHT

DEFAULT_INVERT

Constructor Detail

Properties