cz.cuni.mff.mirovsky.trees
Class NGTreeProperties

java.lang.Object
  cz.cuni.mff.mirovsky.trees.NGTreeProperties

public class NGTreeProperties
extends java.lang.Object

A class that keeps information how to display trees.

Field Summary

static int	COLOR_SCHEME_BLACK_AND_WHITE a color scheme for painting trees - a black and white scheme for printing on black and white printers
static int	COLOR_SCHEME_DEFAULT a color scheme for painting trees - a default colored scheme
static int	DIRECTION_LEFT_RIGHT a left-right direction for ordering nodes (e.g. for Czech, English)
static int	DIRECTION_RIGHT_LEFT a right-left direction for ordering nodes (e.g. for Arabic)
static int	STROKE_DASHED a type of stroke for references - a dashed line
static int	STROKE_DOT_AND_DASHED a type of stroke for references - a dotted and dashed line
static int	STROKE_DOTTED a type of stroke for references - a dotted line
static int	STROKE_LINE a type of stroke for references - a solid line

Constructor Summary

NGTreeProperties()
Creates a new object for tree properties.

Method Summary

int	getCodingInPrinting()
java.awt.Color	getColorBackground() Returns the current value of background color
java.awt.Color	getColorCircle() Returns the current value of circle color
java.awt.Color	getColorCircleHidden() Returns the current value of circle color of a hidden node
java.awt.Color	getColorCircleHiddenChosen() Returns the current value of circle color of a hidden selected node
java.awt.Color	getColorCircleHiddenMatching() Returns the current value of circle color of a hidden node matching with a query
java.awt.Color	getColorCircleChosen() Returns the current value of circle color of a selected node
java.awt.Color	getColorCircleMatching() Returns the current value of circle color of a node matching with a query
java.awt.Color	getColorCircleMultiple() Returns the current value of the multiple circle color
java.awt.Color	getColorCircleMultipleHidden() Returns the current value of the multiple circle color of a hidden node
java.awt.Color	getColorCircleMultipleHiddenChosen() Returns the current value of the multiple circle color of a chosen hidden node
java.awt.Color	getColorCircleMultipleHiddenMatching() Returns the current value of the multiple circle color of a hidden node matching with a query
java.awt.Color	getColorCircleMultipleChosen() Returns the current value of the multiple circle color of a selected node
java.awt.Color	getColorCircleMultipleMatching() Returns the current value of the multiple circle color of a node matching with a query
java.awt.Color	getColorEdge() Returns the current value of edge color
java.awt.Color	getColorEdgeHidden() Returns the current value of color of an edge to a hidden node
java.awt.Color	getColorEdgeHiddenMatching() Returns the current value of color of an edge to a hidden node, part of a subtree matching with a query
java.awt.Color	getColorEdgeMatching() Returns the current value of edge color, part of a subtree matching with a query
java.awt.Color	getColorFullcircle() Returns the current value of fullcircle color
java.awt.Color	getColorFullcircleHidden() Returns the current value of fullcircle color of a hidden node
java.awt.Color	getColorFullcircleHiddenChosen() Returns the current value of fullcircle color of a chosen hidden node
java.awt.Color	getColorFullcircleHiddenMatching() Returns the current value of fullcircle color of a hidden node matching with a query
java.awt.Color	getColorFullcircleChosen() Returns the current value of fullcircle color of a selected node
java.awt.Color	getColorFullcircleMatching() Returns the current value of fullcircle color of a node matching with a query
java.awt.Color	getColorMultipleSetsDivider() Returns the current colour of multiple sets divider
java.awt.Color	getColorOptionalNode()
java.awt.Color	getColorWriting() Returns the current value of writing color
java.awt.Color	getColorZeroOccurrenceNode()
int	getDiameter()
int	getDiameterChosen()
int	getDiameterMulti()
int	getDiameterMultiChosen()
int	getDirection()
int	getFontSize() Returns the current value of font_size
boolean	getHighlightOptionalNodes()
boolean	getHighlightTransitiveEdges()
boolean	getHighlightZeroOccurrenceNodes()
int	getOdsazeni() Returns the current value of odsazeni
boolean	getShowAttrNames()
boolean	getShowHiddenNodes()
boolean	getShowLemmaComments()
boolean	getShowLemmaVariants()
boolean	getShowMultipleMark()
boolean	getShowMultipleMarkChosen()
boolean	getShowMultipleSets()
boolean	getShowMultipleSetsChosen()
boolean	getShowMultipleValues()
boolean	getShowMultipleValuesChosen()
boolean	getShowNullValues()
int	getSpaceAboveDivider()
int	getSpaceAboveText()
int	getSpaceAboveTree()
int	getSpaceBelowDivider()
int	getSpaceBelowText()
int	getSpaceBelowTree()
java.awt.BasicStroke	getStrokeTransitiveEdgeExclusive()
java.awt.BasicStroke	getStrokeTransitiveEdgeTrue()
boolean	getUseAsciiInTree()
int	getVerticalSpaceBetweenTexts()
void	setCodingInPrinting(int coding)
void	setColorBackground(java.awt.Color new_color) Sets the new value of background color
void	setColorCircle(java.awt.Color new_color) Sets the new value of circle color
void	setColorCircleHidden(java.awt.Color new_color) Sets the new value of circle color of a hidden node
void	setColorCircleHiddenChosen(java.awt.Color new_color) Sets the new value of circle color of a hidden selected node
void	setColorCircleHiddenMatching(java.awt.Color new_color) Sets the new value of circle color of a hidden node matching with a query
void	setColorCircleChosen(java.awt.Color new_color) Sets the new value of circle color of a selected node
void	setColorCircleMatching(java.awt.Color new_color) Sets the new value of circle color of a node matching with a query
void	setColorCircleMultiple(java.awt.Color new_color) Sets the new value of multiple circle color
void	setColorCircleMultipleHidden(java.awt.Color new_color) Sets the new value of multiple circle color of a hidden node
void	setColorCircleMultipleHiddenChosen(java.awt.Color new_color) Sets the new value of multiple circle color of a selected hidden node
void	setColorCircleMultipleHiddenMatching(java.awt.Color new_color) Sets the new value of multiple circle color of a hidden node matching with a query
void	setColorCircleMultipleChosen(java.awt.Color new_color) Sets the new value of the multiple circle color of a selected node
void	setColorCircleMultipleMatching(java.awt.Color new_color) Sets the new value of multiple circle color of a node matching with a query
void	setColorEdge(java.awt.Color new_color) Sets the new value of edge color
void	setColorEdgeHidden(java.awt.Color new_color) Sets the new value of color of an edge to a hidden node
void	setColorEdgeHiddenMatching(java.awt.Color new_color) Sets the new value of color of an edge to a hidden node, part of a subtree matching with a query
void	setColorEdgeMatching(java.awt.Color new_color) Sets the new value of edge color, part of a subtree matching with a query
void	setColorFullcircle(java.awt.Color new_color) Sets the new value of fullcircle color
void	setColorFullcircleHidden(java.awt.Color new_color) Sets the new value of fullcircle color of a hidden node
void	setColorFullcircleHiddenChosen(java.awt.Color new_color) Sets the new value of fullcircle color of a chosen hidden node
void	setColorFullcircleHiddenMatching(java.awt.Color new_color) Sets the new value of fullcircle color of a hidden node matching with a query
void	setColorFullcircleChosen(java.awt.Color new_color) Sets the new value of fullcircle color of a selected node
void	setColorFullcircleMatching(java.awt.Color new_color) Sets the new value of fullcircle color of a node matching with a query
void	setColorMultipleSetsDivider(java.awt.Color new_color) Sets the new colour of multiple sets divider
void	setColorOptionalNode(java.awt.Color color)
void	setColorScheme(int scheme) Sets a color scheme for painting trees.
void	setColorWriting(java.awt.Color new_color) Sets the new value of writing color
void	setColorZeroOccurrenceNode(java.awt.Color color)
void	setDiameter(int new_diameter)
void	setDiameterChosen(int new_diameter)
void	setDiameterMulti(int new_diameter)
void	setDiameterMultiChosen(int new_diameter)
void	setDirection(int new_direction)
void	setFontSize(int new_font_size) Sets the new value of font_size
void	setHighlightOptionalNodes(boolean highlight)
void	setHighlightTransitiveEdges(boolean highlight)
void	setHighlightZeroOccurrenceNodes(boolean highlight)
void	setOdsazeni(int new_odsazeni) Sets the new value of odsazeni
void	setShowAttrNames(boolean new_show)
void	setShowHiddenNodes(boolean show)
void	setShowLemmaComments(boolean new_show)
void	setShowLemmaVariants(boolean new_show)
void	setShowMultipleMark(boolean new_show)
void	setShowMultipleMarkChosen(boolean new_show)
void	setShowMultipleSets(boolean new_show)
void	setShowMultipleSetsChosen(boolean new_show)
void	setShowMultipleValues(boolean new_show)
void	setShowMultipleValuesChosen(boolean new_show)
void	setShowNullValues(boolean new_show)
void	setSpaceAboveDivider(int new_space)
void	setSpaceAboveText(int new_space)
void	setSpaceAboveTree(int new_space)
void	setSpaceBelowDivider(int new_space)
void	setSpaceBelowText(int new_space)
void	setSpaceBelowTree(int new_space)
void	setStrokeTransitiveEdgeExclusive(int stroke)
void	setStrokeTransitiveEdgeTrue(int stroke)
void	setUseAsciiInTree(boolean use_ascii)
void	setVerticalSpaceBetweenTexts(int new_space)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

STROKE_LINE

public static final int STROKE_LINE

a type of stroke for references - a solid line

See Also:

Constant Field Values

STROKE_DASHED

public static final int STROKE_DASHED

a type of stroke for references - a dashed line

See Also:

Constant Field Values

STROKE_DOTTED

public static final int STROKE_DOTTED

a type of stroke for references - a dotted line

See Also:

Constant Field Values

STROKE_DOT_AND_DASHED

public static final int STROKE_DOT_AND_DASHED

a type of stroke for references - a dotted and dashed line

See Also:

Constant Field Values

COLOR_SCHEME_DEFAULT

public static final int COLOR_SCHEME_DEFAULT

a color scheme for painting trees - a default colored scheme

See Also:

Constant Field Values

COLOR_SCHEME_BLACK_AND_WHITE

public static final int COLOR_SCHEME_BLACK_AND_WHITE

a color scheme for painting trees - a black and white scheme for printing on black and white printers

See Also:

Constant Field Values

DIRECTION_LEFT_RIGHT

public static final int DIRECTION_LEFT_RIGHT

a left-right direction for ordering nodes (e.g. for Czech, English)

See Also:

Constant Field Values

DIRECTION_RIGHT_LEFT

public static final int DIRECTION_RIGHT_LEFT

a right-left direction for ordering nodes (e.g. for Arabic)

See Also:

Constant Field Values

Constructor Detail

NGTreeProperties

public NGTreeProperties()

Creates a new object for tree properties.

Method Detail

setColorScheme

public void setColorScheme(int scheme)

Sets a color scheme for painting trees.

Parameters:

scheme - a color scheme. Possible values are:
COLOR_SCHEME_DEFAULT - a colored color scheme for printing on black and white printers
COLOR_SCHEME_BLACK_AND_WHITE - a black and white color scheme for printing on black and white printers

setHighlightOptionalNodes

public void setHighlightOptionalNodes(boolean highlight)

getHighlightOptionalNodes

public boolean getHighlightOptionalNodes()

setHighlightZeroOccurrenceNodes

public void setHighlightZeroOccurrenceNodes(boolean highlight)

getHighlightZeroOccurrenceNodes

public boolean getHighlightZeroOccurrenceNodes()

setHighlightTransitiveEdges

public void setHighlightTransitiveEdges(boolean highlight)

getHighlightTransitiveEdges

public boolean getHighlightTransitiveEdges()

setStrokeTransitiveEdgeTrue

public void setStrokeTransitiveEdgeTrue(int stroke)

getStrokeTransitiveEdgeTrue

public java.awt.BasicStroke getStrokeTransitiveEdgeTrue()

setStrokeTransitiveEdgeExclusive

public void setStrokeTransitiveEdgeExclusive(int stroke)

getStrokeTransitiveEdgeExclusive

public java.awt.BasicStroke getStrokeTransitiveEdgeExclusive()

setColorOptionalNode

public void setColorOptionalNode(java.awt.Color color)

getColorOptionalNode

public java.awt.Color getColorOptionalNode()

setColorZeroOccurrenceNode

public void setColorZeroOccurrenceNode(java.awt.Color color)

getColorZeroOccurrenceNode

public java.awt.Color getColorZeroOccurrenceNode()

setCodingInPrinting

public void setCodingInPrinting(int coding)

getCodingInPrinting

public int getCodingInPrinting()

setUseAsciiInTree

public void setUseAsciiInTree(boolean use_ascii)

getUseAsciiInTree

public boolean getUseAsciiInTree()

setDiameter

public void setDiameter(int new_diameter)

getDiameter

public int getDiameter()

setDirection

public void setDirection(int new_direction)

getDirection

public int getDirection()

setDiameterChosen

public void setDiameterChosen(int new_diameter)

getDiameterChosen

public int getDiameterChosen()

setDiameterMulti

public void setDiameterMulti(int new_diameter)

getDiameterMulti

public int getDiameterMulti()

setDiameterMultiChosen

public void setDiameterMultiChosen(int new_diameter)

getDiameterMultiChosen

public int getDiameterMultiChosen()

setShowAttrNames

public void setShowAttrNames(boolean new_show)

getShowAttrNames

public boolean getShowAttrNames()

setShowNullValues

public void setShowNullValues(boolean new_show)

getShowNullValues

public boolean getShowNullValues()

setShowMultipleMark

public void setShowMultipleMark(boolean new_show)

getShowMultipleMark

public boolean getShowMultipleMark()

setShowMultipleMarkChosen

public void setShowMultipleMarkChosen(boolean new_show)

getShowMultipleMarkChosen

public boolean getShowMultipleMarkChosen()

setShowMultipleSets

public void setShowMultipleSets(boolean new_show)

getShowMultipleSets

public boolean getShowMultipleSets()

setShowMultipleSetsChosen

public void setShowMultipleSetsChosen(boolean new_show)

getShowMultipleSetsChosen

public boolean getShowMultipleSetsChosen()

setShowMultipleValues

public void setShowMultipleValues(boolean new_show)

getShowMultipleValues

public boolean getShowMultipleValues()

setShowMultipleValuesChosen

public void setShowMultipleValuesChosen(boolean new_show)

getShowMultipleValuesChosen

public boolean getShowMultipleValuesChosen()

setShowLemmaVariants

public void setShowLemmaVariants(boolean new_show)

getShowLemmaVariants

public boolean getShowLemmaVariants()

setShowLemmaComments

public void setShowLemmaComments(boolean new_show)

getShowLemmaComments

public boolean getShowLemmaComments()

setShowHiddenNodes

public void setShowHiddenNodes(boolean show)

getShowHiddenNodes

public boolean getShowHiddenNodes()

setSpaceAboveText

public void setSpaceAboveText(int new_space)

getSpaceAboveText

public int getSpaceAboveText()

setSpaceBelowText

public void setSpaceBelowText(int new_space)

getSpaceBelowText

public int getSpaceBelowText()

setSpaceAboveTree

public void setSpaceAboveTree(int new_space)

getSpaceAboveTree

public int getSpaceAboveTree()

setSpaceBelowTree

public void setSpaceBelowTree(int new_space)

getSpaceBelowTree

public int getSpaceBelowTree()

setVerticalSpaceBetweenTexts

public void setVerticalSpaceBetweenTexts(int new_space)

getVerticalSpaceBetweenTexts

public int getVerticalSpaceBetweenTexts()

setSpaceAboveDivider

public void setSpaceAboveDivider(int new_space)

getSpaceAboveDivider

public int getSpaceAboveDivider()

setSpaceBelowDivider

public void setSpaceBelowDivider(int new_space)

getSpaceBelowDivider

public int getSpaceBelowDivider()

setFontSize

public void setFontSize(int new_font_size)

Sets the new value of font_size

getFontSize

public int getFontSize()

Returns the current value of font_size

setColorFullcircleChosen

public void setColorFullcircleChosen(java.awt.Color new_color)

Sets the new value of fullcircle color of a selected node

getColorFullcircleChosen

public java.awt.Color getColorFullcircleChosen()

Returns the current value of fullcircle color of a selected node

setColorCircleChosen

public void setColorCircleChosen(java.awt.Color new_color)

Sets the new value of circle color of a selected node

getColorCircleChosen

public java.awt.Color getColorCircleChosen()

Returns the current value of circle color of a selected node

setColorFullcircle

public void setColorFullcircle(java.awt.Color new_color)

Sets the new value of fullcircle color

getColorFullcircle

public java.awt.Color getColorFullcircle()

Returns the current value of fullcircle color

setColorFullcircleMatching

public void setColorFullcircleMatching(java.awt.Color new_color)

Sets the new value of fullcircle color of a node matching with a query

getColorFullcircleMatching

public java.awt.Color getColorFullcircleMatching()

Returns the current value of fullcircle color of a node matching with a query

setColorCircle

public void setColorCircle(java.awt.Color new_color)

Sets the new value of circle color

getColorCircle

public java.awt.Color getColorCircle()

Returns the current value of circle color

setColorCircleMatching

public void setColorCircleMatching(java.awt.Color new_color)

Sets the new value of circle color of a node matching with a query

getColorCircleMatching

public java.awt.Color getColorCircleMatching()

Returns the current value of circle color of a node matching with a query

setColorCircleMultiple

public void setColorCircleMultiple(java.awt.Color new_color)

Sets the new value of multiple circle color

getColorCircleMultiple

public java.awt.Color getColorCircleMultiple()

Returns the current value of the multiple circle color

setColorCircleMultipleMatching

public void setColorCircleMultipleMatching(java.awt.Color new_color)

Sets the new value of multiple circle color of a node matching with a query

getColorCircleMultipleMatching

public java.awt.Color getColorCircleMultipleMatching()

Returns the current value of the multiple circle color of a node matching with a query

setColorCircleMultipleChosen

public void setColorCircleMultipleChosen(java.awt.Color new_color)

Sets the new value of the multiple circle color of a selected node

getColorCircleMultipleChosen

public java.awt.Color getColorCircleMultipleChosen()

Returns the current value of the multiple circle color of a selected node

setColorCircleMultipleHidden

public void setColorCircleMultipleHidden(java.awt.Color new_color)

Sets the new value of multiple circle color of a hidden node

getColorCircleMultipleHidden

public java.awt.Color getColorCircleMultipleHidden()

Returns the current value of the multiple circle color of a hidden node

setColorCircleMultipleHiddenMatching

public void setColorCircleMultipleHiddenMatching(java.awt.Color new_color)

Sets the new value of multiple circle color of a hidden node matching with a query

getColorCircleMultipleHiddenMatching

public java.awt.Color getColorCircleMultipleHiddenMatching()

Returns the current value of the multiple circle color of a hidden node matching with a query

setColorCircleMultipleHiddenChosen

public void setColorCircleMultipleHiddenChosen(java.awt.Color new_color)

Sets the new value of multiple circle color of a selected hidden node

getColorCircleMultipleHiddenChosen

public java.awt.Color getColorCircleMultipleHiddenChosen()

Returns the current value of the multiple circle color of a chosen hidden node

setColorMultipleSetsDivider

public void setColorMultipleSetsDivider(java.awt.Color new_color)

Sets the new colour of multiple sets divider

getColorMultipleSetsDivider

public java.awt.Color getColorMultipleSetsDivider()

Returns the current colour of multiple sets divider

setColorCircleHidden

public void setColorCircleHidden(java.awt.Color new_color)

Sets the new value of circle color of a hidden node

getColorCircleHidden

public java.awt.Color getColorCircleHidden()

Returns the current value of circle color of a hidden node

setColorCircleHiddenMatching

public void setColorCircleHiddenMatching(java.awt.Color new_color)

Sets the new value of circle color of a hidden node matching with a query

getColorCircleHiddenMatching

public java.awt.Color getColorCircleHiddenMatching()

Returns the current value of circle color of a hidden node matching with a query

setColorCircleHiddenChosen

public void setColorCircleHiddenChosen(java.awt.Color new_color)

Sets the new value of circle color of a hidden selected node

getColorCircleHiddenChosen

public java.awt.Color getColorCircleHiddenChosen()

Returns the current value of circle color of a hidden selected node

setColorFullcircleHidden

public void setColorFullcircleHidden(java.awt.Color new_color)

Sets the new value of fullcircle color of a hidden node

getColorFullcircleHidden

public java.awt.Color getColorFullcircleHidden()

Returns the current value of fullcircle color of a hidden node

setColorFullcircleHiddenMatching

public void setColorFullcircleHiddenMatching(java.awt.Color new_color)

Sets the new value of fullcircle color of a hidden node matching with a query

getColorFullcircleHiddenMatching

public java.awt.Color getColorFullcircleHiddenMatching()

Returns the current value of fullcircle color of a hidden node matching with a query

setColorFullcircleHiddenChosen

public void setColorFullcircleHiddenChosen(java.awt.Color new_color)

Sets the new value of fullcircle color of a chosen hidden node

getColorFullcircleHiddenChosen

public java.awt.Color getColorFullcircleHiddenChosen()

Returns the current value of fullcircle color of a chosen hidden node

setColorEdge

public void setColorEdge(java.awt.Color new_color)

Sets the new value of edge color

getColorEdge

public java.awt.Color getColorEdge()

Returns the current value of edge color

setColorEdgeMatching

public void setColorEdgeMatching(java.awt.Color new_color)

Sets the new value of edge color, part of a subtree matching with a query

getColorEdgeMatching

public java.awt.Color getColorEdgeMatching()

Returns the current value of edge color, part of a subtree matching with a query

setColorEdgeHidden

public void setColorEdgeHidden(java.awt.Color new_color)

Sets the new value of color of an edge to a hidden node

getColorEdgeHidden

public java.awt.Color getColorEdgeHidden()

Returns the current value of color of an edge to a hidden node

setColorEdgeHiddenMatching

public void setColorEdgeHiddenMatching(java.awt.Color new_color)

Sets the new value of color of an edge to a hidden node, part of a subtree matching with a query

getColorEdgeHiddenMatching

public java.awt.Color getColorEdgeHiddenMatching()

Returns the current value of color of an edge to a hidden node, part of a subtree matching with a query

setColorWriting

public void setColorWriting(java.awt.Color new_color)

Sets the new value of writing color

getColorWriting

public java.awt.Color getColorWriting()

Returns the current value of writing color

setColorBackground

public void setColorBackground(java.awt.Color new_color)

Sets the new value of background color

getColorBackground

public java.awt.Color getColorBackground()

Returns the current value of background color

setOdsazeni

public void setOdsazeni(int new_odsazeni)

Sets the new value of odsazeni

getOdsazeni

public int getOdsazeni()

Returns the current value of odsazeni