Package | Description |
---|---|
grammarscope.browser.dialog | |
grammarscope.grapher | |
grammarscope.grapher.dialog | |
grammarscope.grapher.properties | |
grammarscope.grapher.widget |
Modifier and Type | Method and Description |
---|---|
private javax.swing.JComponent |
AnalysisDialog.makeGraphWidget(Graph<GraphNode,GraphEdge> graph,
Settings settings,
boolean lemmatize)
Make graph widget
|
Constructor and Description |
---|
GraphDialog(Settings settings,
IMutableFilter<HasId> edgeFilter,
IPalette<HasId> edgePalette,
IFilterWidget edgeWidget,
java.awt.Frame owner)
Constructor
|
Modifier and Type | Field and Description |
---|---|
private Settings |
Grapher.settings
Settings
|
Modifier and Type | Method and Description |
---|---|
static Settings |
Settings.fromProperties(java.util.Properties properties)
Make settings from properties
|
static Settings |
Settings.makeNoFilter(Settings settings) |
Settings |
Settings.Preset.makeSettings()
Make preset
|
static Settings |
Settings.makeSettingsFR() |
static Settings |
Settings.makeSettingsISOM() |
static Settings |
Settings.makeSettingsKK() |
static Settings |
Settings.makeSettingsLinear() |
static Settings |
Settings.makeSettingsSlantingDoubleCubic() |
static Settings |
Settings.makeSettingsSlantingRounded() |
static Settings |
Settings.makeSettingsSlantingSquare() |
static Settings |
Settings.makeSettingsSugiyama() |
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<Settings.Setting,java.lang.Object> |
Settings.diff(Settings settings)
Diff
|
static Settings |
Settings.makeNoFilter(Settings settings) |
Constructor and Description |
---|
GrapherView(Settings settings,
IMutableFilter<HasId> filter,
IPalette<HasId> palette)
Constructor
|
Constructor and Description |
---|
SettingsDialog(java.awt.Frame owner,
Settings settings)
Constructor
|
Modifier and Type | Field and Description |
---|---|
private Settings |
SettingsEditor.settings
Settings
|
Modifier and Type | Method and Description |
---|---|
Settings |
SettingsEditor.getSettings()
Get edited settings
|
Constructor and Description |
---|
SettingsEditor(Settings settings0,
java.net.URL imageBase,
javax.swing.event.ChangeListener applyListener)
Constructor
|
Modifier and Type | Field and Description |
---|---|
private Settings |
GraphWidget.settings
Settings properties
|
protected Settings |
View.settings
Settings
|
Modifier and Type | Method and Description |
---|---|
Settings |
GraphWidget.getSettings() |
Settings |
View.getSettings()
Get settings
|
Settings |
Control.getSettings()
Get settings
|
static Settings |
GraphWidget.makeSettings()
Settings factory
|
Modifier and Type | Method and Description |
---|---|
void |
GraphWidget.applySettings(Settings settings)
Apply Settings
|
private static void |
View.setSettingsExternal(Settings settings)
Set settings
|
Constructor and Description |
---|
GraphWidget(Settings settings0,
IMutableFilter<HasId> edgeFilter0,
IPalette<HasId> edgePalette0,
java.lang.String base0,
java.lang.String imageBase0)
Constructor
|
View(Settings settings,
IMutableFilter<HasId> filter,
IPalette<HasId> palette)
Construct
|