Filter for graph6 graphs.
Filter for graph6 graph lists.
Creates a new instance of GaussElimination
Generate graph bundles to the given sink.
Allows a generator to be dropped onto a component.
Indicates that something went wrong in the generator.
Constructs an instance of GeneratorException
with the specified detail message.
Constructs an instance of GeneratorException
with the specified detail message and cause
Loads an overview of the generators and places them in a index tree
that is mergeable with the GrInvIn help index tree.
Creates a new instance of GeneratorIndexView
Allows a generator list to be dropped onto a component.
List of generator instances.
Provides dynamic map ID assignment for the list of generators.
Creates a new instance of GeneratorListHelpManager
Provides the mapping of the context-sensitive help ID of generators and
the URL for their help page.
Loads an overview of the generators and places them in a TOC tree
that is mergeable with the GrInvIn help TOC tree.
Creates a new instance of GeneratorTOCView
Return the object with the given id.
Return the 'anchor' element.
Return the default annotation for this graph, or null
if no such
annotation is stored in the bundle.
Return the default annotation for this graph, or null
if no such
annotation is stored in the bundle.
Return the default annotation for this graph, or null
if no such
annotation is stored in the bundle.
Get the annotation for the current graph in the editor.
Return the annotation used by this panel.
Return the default annotation for this graph, or null
if no such
annotation is stored in the bundle.
Return the annotation with the given index.
Return the annotation with the given index.
Return the annotation with the given index.
Return the annotation with the given index.
Returns the annotation for the given
Edge
.
Returns the annotation for the given
Edge
.
Returns the annotation for the given
Vertex
.
Returns the annotation for the given
Vertex
.
Number of annotations stored in this bundle.
Number of annotations stored in this bundle.
Number of annotations stored in this bundle.
Returns the background Color
Return the background icon for the large graph icon.
Return the background icon for the large graph icon.
Return the background icon for the large graph icon.
Return the background icon for the large graph icon.
Return the current number of binary operators.
Date string for the build.
Return the current GraphBundle, or null if the bundle does not exist.
Return an icon for a button representing this kind of guide.
Return a small icon representing this type of graph.
Return a small icon representing this type of graph.
Return the cached value of the graph for the given invariant, if available.
Return the cached value of the graph for the given invariant, if available.
Return the cached value of the graph for the given invariant, if available.
Return the display name of this parameter.
Return the child with the given index.
Return the list of children of this node.
Return the list of children of this node.
Always should return null.
Return the list of children of this node.
Return the list of children of this node.
Has a fixed number of columns.
Return the ID of the computer that computed this value.
Return the ID of the computer that computed this value.
Return the version of the computer that computed this value.
Return the version of the computer that computed this value.
Returns a configuration panel for this engine that can
be shown in the conjecturing window.
Returns a configuration panel for this engine that can
be shown in the conjecturing window.
Return the graph context associated with this panel.
Return the coordinates of the given vertex.
Return the coordinates of the given vertex.
Return the coordinates of the given vertex.
Return the total number of parameters.
returns the id of the current help page, or if no id exists the url of the current page.
Return the path of the definition file for the invariant or the factory
with the given ID.
Return a textual description of this graph.
Return a textual description of this graph.
Returns a localized short description of this filter.
Return a textual description for this instance.
Return a textual description of this graph.
Return the description of the factory.
Return a textual description of this parameter.
Return the dimension of the source space.
Returns the dimension of the Euclidian space into which this graph
is embedded.
Returns the dimension of the Euclidian space into which this graph
is embedded.
Return the dimension of the source space.
Return the dimension of the source space.
Returns the dimension of the Euclidian space into which this graph
is embedded.
The workspace directory for which the exception occurred.
Return the last drag-and-drop location where this component is a target.
Return an edge joining the given vertices, or null
when no such edge exists.
Return an editor for this parameter.
Return a stand alone component which can be used to edit a parameter
of the type which is implicitely associated with this editor.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the XML-element name by which this type of wrapper is identified
within its parent.
Return the default embedding for this graph, or null
if no such
embedding is stored in the bundle.
Return the default embedding for this graph, or null
if no such
embedding is stored in the bundle.
Return the default embedding for this graph, or null
if no such
embedding is stored in the bundle.
Get the embedding for the current graph in the editor.
Return the embedding used by this panel.
Return the default embedding for this graph, or null
if no such
embedding is stored in the bundle.
Return the embedding with given index.
Return the embedding with given index.
Return the embedding with given index.
Return the embedding with given index.
Number of embeddings stored in this bundle.
Number of embeddings stored in this bundle.
Number of embeddings stored in this bundle.
Return the associated engine.
The first endpoint vertex of this edge.
The first endpoint vertex of this edge.
Return the resulting formula.
Return the shared generator broker.
Return the submodel which keeps track of which graph
list component type is currently displayed
Abstract graph representation for this graph bundle.
Abstract graph representation for this graph bundle.
Abstract graph representation for this graph bundle.
Abstract graph representation for this graph bundle.
Get the current graph in the editor.
Return the graph displayed by this panel.
Returns the URI of the displayed graph as a string.
Abstract graph representation for this graph bundle.
Return the shared graph factory broker.
Return the preferred
GraphIconFactory
to be used when
displaying this graph as an icon.
Return the preferred
GraphIconFactory
to be used when
displaying this graph as an icon.
Return the preferred
GraphIconFactory
to be used when
displaying this graph as an icon.
Return the graph list model which is used by this component.
Return the graph list model which is used by this component.
Return the graph list model which is used by this component.
Return the graph list model which is used by this component.
Convenience method for retrieving a graph list element with given
URI.
Return the current guides for this panel.
Return the singleton object of this type.
Return the singleton object of this type.
Return the singleton object of this type.
Return the singleton object of this type.
Return the singleton object of this type.
Return the singleton object of this type.
Return the singleton object of this type.
Return the icon that should be used by default in th e dialog.
Retrieve the graph icon for the given graph bundle and size
Returns an imageicon with the given size for the svg file given.
Returns the standard icon background color for graph factories.
Returns the standard icon background color for graph generators.
Return the URI of the factory icon when the factory is not selected.
The id of a graph factory is usually the same as its fully qualified class name.
Universally unique identifier for this invariant.
The id of an invariant computer is usually the same as its fully
qualified class name.
Return the universally unique identifier for this object.
Return the fully qualified class name of this factory
as its id.
Return the string that uniquely identifies this factory.
Return the string that uniquely identifies this generator.
Return a string that uniquely identifies this instance.
The identifier of the invariant computer (factory) which caused the
error.
Universally unique identifier for this invariant.
Return the universally unique identifier for this object.
Return the universally unique identifier for this object.
Return the generic identifier of this factory.
The identifier of the invariant which was unknown.
The identifier of the invariant which was unknown.
Return a list of all ids for both factories and parameterless invariants.
Return the list of all ids, in the form of an Iterable
.
Return the current index of this vertex.
Return the current index of this vertex.
Return the insertion point identifier for this
group, or null if the group does not serve as an insertion point.
Return the node that corresponds to the given named insertion point.
Return the sole instance of this class.
Get the singleton instance of this renderer.
Return the sole instance of this class.
Return the sole instance of this class.
Get the singleton instance of this renderer.
Return the sole instance of this class.
Return the singleton instance of this type.
Return the singleton instance of this type.
Get the singleton instance of this class
Return the singleton instance of this type.
Get the singleton instance of this class
Return the shared instance of this renderer.
Get the singleton instance of this class
Return the shared instance of this renderer.
Return the shared instance of this class.
Return the sole instance of this class.
Return the sole instance of this class.
Return the unique table model containing versioning information
for all modules that are active during the current build.
Get the singleton instance of this class
get the description for the instance from the internal factory properties.
Return the id of the generator instance which will be created
when using the current parameter values.
Get the name for the instance from the internal factory properties.
Return the invariant of which this is a value.
What is the invariant that is represented with this value?
Get the requested invariant.
Return the invariant with the given identifier.
Return the computer factory that corresponds to the given invariant factory.
Return the invariant computer which can be used to compute values for
the given invariant or null when no computer exists
Return the invariant computers which can be used to compute values for
the given invariant
Return the invariant factory with the given identifier.
Return the invariant which is computed by the given computer.
Return the invariant for the given factory.
Returns the identifier for the invariant computed by this
object.
Return the generic identifier of the (parametrized) invariant which is
computed by this object.
Return the id of the invariant which will be created
from this factory when using the current parameter values.
Get the requested invariant.
Get the requested invariant.
Return the set of invariants currently registered with this bundle.
Return the set of invariants currently registered with this bundle.
Return the set of invariants currently registered with this bundle.
Return the value of the graph for the given invariant.
Return the value of the graph for the given invariant.
Return the value of the graph for the given invariant.
Return the collection of cached values of the invariants of the graph.
Return the collection of cached values of the invariants of the graph.
Return the collection of cached values of the invariants of the graph.
Renders a graph list element as a combination of icon and graph name.
Return the current sequence number, used for
the name of a new list to be added to this window.
Local class loader which is used to retrieve invariants and
invariant computers.
Return the local class path, i.e., the directories
which are currently used to load classes from.
The main logging window of this application, or null
when the logging handler was not yet initialized.
Return the internationalized name of the factory.
Returns the modification count of this graph.
Returns the localized name of the invariant.
Return the name of this graph.
Return the name of this graph.
Return a name which can be used to display this instance.
Return a localized name for this node.
Returns the name of this graph, i.e., the internationalized
property with key graph.name.
Return a localized name for this node.
Get the name of this object.
Returns the localized name of the invariant.
Return the localized name for this parametrized invariant.
Return a localized name for this node.
Return a localized name for this node.
Return the name of this graph.
Return the (short) name of the factory.
Return the name (or id) of this parameter which distinguishes it from other
parameters in a given list.
Get the name of this object.
Return the current number of nodes, this equals: binaryCount * 2 + unaryCount + 1
.
Return the number of arguments for this operator.
The number of argument children for this compound expression.
Get the operator for this expression.
Return a JPanel that displays this entry in the history.
Return a JPanel that displays this entry in the history.
Return a JPanel that displays this entry in the history.
Return information on the parameter with the given index.
Returns the list of parameters accepted by this factory.
Returns the list of parameters accepted by this factory.
Convert the current parameters to a 'query' string, which is usually
used as a suffix of an identifier or URI for the object created
by this factory.
Return the parameter value currently stored in the component.
Return the (current) parameter values.
Return the (current) parameter values.
Returns the peer graph for this annotation.
Returns the peer graph for this annotation.
Returns the peer graph for this embedding.
Returns the peer graph for this embedding.
Returns the peer graph for this embedding.
Get the priority of this PrioritizedRunnable.
Return the path of an external program which is part of the grinvin
distribution.
Return the internationalized properties-object for this bundle.
Return the internationalized properties-object for this bundle.
Return the internationalized properties-object for this bundle.
Return the internationalized properties object for this parameter.
Get the requested property.
Searches for a property with the specified key.
Searches for the property with the specified key in this property list,
starting with the given locale.
Searches for the property with the specified key in this property list,
starting with the given locale.
Searches for a property with the specified key.
Return the reference value which is used to determine
the height of the bars.
Return the reference value which is used to determine
the height of the bars.
Return the latest result generated by the engine (may be null).
Revision number (from subversion).
Get the current 'roll over' element.
The second endpoint vertex of this edge.
The second endpoint vertex of this edge.
Returns the selected elements in the TypedListModel
based on the ListSelectionModel
.
Return the URI of the factory icon when the factory is selected.
Returns the internal index of the selected item.
Returns an array of graph list elements for the selected rows of the table.
Returns the objects that are currently selected.
Returns the objects that are currently selected.
Add the current selection to the given collection.
Return the 'standard' list of invariant nodes (mostly groups)
that come pre-installed with GrInvIn.
Return the tree model for the standard invariants that come with GrInvIn.
Return the tree model for the standard invariants that come with GrInvIn.
Return the strength of the resulting formula.
Return the strength of the resulting string.
Return the strength of this operator (used when producing output).
Return the resulting string.
Returns a string containing a style sheet that sets the font to
the font specified by the given key in the defaults table.
Return the name of this operator.
Returns the time stamp of the moment this entry was created.
Returns the time stamp of the moment this entry was created.
Return the type of this parameter.
The identifier of the type which was unknown.
Return the type corresponding to the given URI.
Return the current number of unary operators.
Return the undo manager used by this panel.
Return the URI of the graph which will be created
from this factory when using the current parameter values.
The value in the first column is the invariant,
the value in the second column is its value.
Initialize the given array from the values stored in the various fields of
the panel.
This implementation returns the string 1.0
.
This implementation returns the string 1.0
.
Return the version of this computer.
Return the version of this invariant computer factory.
Returns the vertex with the given index in the graph.
Return the vertex limit factor used to determine whether a graph should
be classified as 'small' or 'large'.
Return the vertex limit factor used to determine whether a graph should
be classified as 'small' or 'large'.
Retrieve the application window with the given key.
Return the list model for this window.
Check if the bundle contains a graph.
Filter for Grinvin graphs.
Panel which displays a list of real numbers in a bar chart.
Create a bar chart panel with given data model.
Create a bar chart panel with given data model and reference value.
Create a bar chart panel with given data model and selection model.
Create a bar chart panel with given data model, selection model and
reference value.
Several static methods to load graph6 (.g6) files in GrInvIn
Wrapper for the GraphBrowserWindow
Generate a preview of the graphbundle.
Presents a read-only view of a graph bundle.
Creates a new instance which creates its own selection model.
Creates a new instance of GraphCellListComponent
Creates a new instance of GraphCellListPanel
Called when the graph was changed in a major way.
Called when the graph was changed in a major way.
Called when the graph was changed in a major way.
Component that combines the graph icon with its name.
Keeps track of the following extra information about graph elements:
- Whether an element is currently selected.
- Whether an element is currently highlighted.
- What is the current 'roll over' element.
Other classes may be registered as observers for this class
and will then be notified of any changes.
Load the editor window, its graph list, the graph being edited
and the guides tool configuration.
Create an editor that uses the given embedding model and context.
Graph editor window for three-dimensional embeddings
Create an editor that uses the given embedding model and context.
An object that satisfies this interface can be used to create a graph
and store it into a graph bundle.
Renderer to render
GraphFactory
objects in a
be.ugent.caagt.swirl.lists.CellList
.
Loads an overview of the graph factories and places them in a index tree
that is mergeable with the GrInvIn help index tree.
Creates a new instance of GraphFactoryIndexView
Interface used to represent a
ListModel
of
GraphFactory
objects.
Provides the mapping of the context-sensitive help ID of graphfactories and
the URL for their help page.
Loads an overview of the available graph factories and places them in a TOC tree
that is mergeable with the GrInvIn help TOC tree.
Creates a new instance of GraphFactoryTOCView
Interface for a filter on graphs.
Renderer to render
GraphGenerator
objects in a
be.ugent.caagt.swirl.lists.CellList
.
Represents a particular instance of a generator, i.e., a generator for
which all parameters have been assigned a value.
Manages the mapping between Graph generator instances and their identifiers.
Interface for all objects that receive graph bundles from a
graph bundle.
Creates a new instance of GraphGroup
An icon which represents a graph.
An object of this class can return a
GraphIcon
for a given graph
at a given size.
Interface to ease the use of graph lists.
Filter for Grinvin graphlists
Enumerates the different types of graph list component.
Represents the elements of a GraphList.
Renderer to render
GraphListElement
objects in a
be.ugent.caagt.swirl.lists.CellList
.
Allows (multiple) graph elements to be dropped onto a component.
Allows graph generators to generate graph list elements and add them to a list.
Interface that all elements that listen to GraphListElements should implement.
Manages the mapping between Graph URI's and the GraphListElement objects representing them.
Listens to changes in a graph model.
Helper methods for loading lists of graphs and lists of invariants from
disk.
Interface that identifies graph list models.
Interface that all listeners of GraphListModel should implement.
Helper methods for saving graph list elements, lists of graphs
and lists of invariants to disk.
Loads a graph.xml-section from an input stream.
Loads an old (1.0) graph.xml-section from an input stream.
A
GraphView
which at the same time functions as a model
in a model-view-controller triple.
Panel which displays a given graph embedding and reacts to changes in
both the embedding and the graph it represents.
Create a new graph panel with given peer.
Common super class of all actions that work on a graph panel.
Construct an action of this type.
Construct an action command of this type.
Displays a graph element and its properties in a single panel.
Table to display a GraphPropertiesTableModel.
Creates a new instance of GraphPropertiesTable
Provides dynamic map ID assignment for the invariants in a GraphPropertiesTable
.
Creates a new instance of GraphPropertiesTableHelpManager
Table model for the table of properties of a graph.
Create a model for the given graph list element and the given
list of invariants.
Window that displays a drawing of the graph as well as its known invariants.
Action which allows the user to rename the currently selected
graph list element.
Construct an action command of this type.
Dialog panel for renaming a graph.
Construct a panel of this type.
Provides some basic helper methods for graphs.
Saves a
GraphView
as a
graph.xml-section onto an output
stream.
Table component which displays a list of graphs as rows, invariants as columns
and the corresponding values in the table cells.
Creates a new instance of GraphTableComponent
Creates a new instance of GraphTablePanel
Converts the graph to multicode-representation.
Creates a new instance of GraphTreeComponent
Indicates that a graph could not be instantiated from a URI.
Constructs an instance of GraphURIException
with the specified detail message.
Constructs an instance of GraphURIException
with the
specified detail message and cause
Interface representing a read-only view of an abstract graph.
Provides a view of the Graph.
Create a new graph panel with given peer.
Guides based on a square grid within the -1.0 - 1.0 rectangle.
Create a new object of this type.
Class to handle GrInvIn preferences management.
All objects that need to be informed on changes in the preferences should
implement this interface and register themselves with the GrinvinPreferences object.
A collection of utility methods for GrInvIn.
Create all top level windows
and add them to the menus of the main window.
Load this window and all dependent windows.
This class represents the GrInvIn main window.
Creates a new instance of GrinvinWindow
Wrapper for the main GrInvIn window.
Current
Guides
object for this panel.
Current
Guides
object for this panel.
A guide class can be associated to a
GraphPanel
to provide
visible guides to preferred positions for vertices, and to allow a
'snap to guides' functionality.
Button that displays a popup to change the guides for a panel and
that has the corresponding guides as an icon.
Creates a new instance of GuidesButton
Interface for objects that listen to a certain panel with guides.
Panel with buttons to change the guides for a given graph panel - to be used with
a GuidesButton that displays this panel in a popup.
Create a panel of this type which is connected to the given graph panel.
Filter for grinvin workspace files.
Indicates that an invariant computer or invariant factory computer
could not be retreived or instantiated
Construct an exception of this type
Construct an exception of this type
Action to import graph bundles into the given graph list.
Action to import a graph list from a file.
Return the index of the given invariant in the internal list.
Initiate an upcoming change to an embedding.
Initialize a label which is used to display this invariant value.
Initialize name and description for this graph from the resource bundle.
Creates a new instance of InlineGraphViewer.
This class provides information about getter/setter methods within
InlineGraphViewer.
Creates a new instance of InlineGraphViewerBeanInfo
Initializes the logging handler for this application
if this was not already done before.
The hash value of an invariant is the hash value of its identifier.
Expression representing an integer literal.
Create an integer literal with the given value.
Invariant type which allows integral values, positive and negative infinity
and undefined values.
Create an object of this type with the given integral value.
Internationalized version of the standard Java
java.util.Properties
class.
Common superclass of all implementations of UndoableChange
with
internationalized captions.
Construct an undoable change of this type with captions taken
from the resource bundle.
Repaint when data model changes.
Repaint when data model changes.
Clear all cached values for this bundle (i.e.
Clear all cached values for this bundle (i.e.
Clear all cached values for this bundle (i.e.
Remove the given InvariantValue from the cache of this bundle.
Remove the given InvariantValue from the cache of this bundle.
Remove the given InvariantValue from the cache of this bundle.
Action which can be used to invalidate the cache of the graphbundle in a
graph list element.
Create an action of this type.
Create an action of this type for the given graph list element.
Create an action of this type for the given graph list elements.
Represents the mathematical concept of graph invariant, like 'diameter',
'average degree', 'largest eigenvalue'...
Filter for invariant computer class files.
Implemented by all invariant computers.
An object that satisfies this interface can be used to create an invariant computer.
An object that satisfies this interface can be used to create an invariant.
Allows an invariant factory to be dropped onto objects that support
AcceptsInvariant
.
Groups a list of invariants, invariant factories or subgroups.
Construct an empty group with the given internationalized name (caption).
Loads an overview of the available invariants and places them in a index tree
that is mergeable with the GrInvIn help index tree.
Creates a new instance of InvariantIndexView
Interface to ease the use of lists of invariants.
List component with entries of type
Invariant
.
Creates a new instance of InvariantListComponent
Graph generator sink which computes invariants for all graph bundles handed
to it.
Create a sink which computes the values of all given invariants
for all graph bundles handed to it.
Provides dynamic map ID assignment for a list of invariants.
Creates a new instance of InvariantListHelpManager
Interface that all listeners of InvariantListModel should implement.
Keeps track of relations between invariants and invariant computers.
Listens to events reported by the invariant manager.
Provides the mapping of the context-sensitive help ID of invariants and
the URL for their help page.
Common interface for all elements that can be part of an
InvariantGroup
,
i.e., invariants, invariant factories or invariant groups.
Table cell renderer for objects of type
Invariant
.
Loads an overview of the available invariants and places them in a TOC tree
that is mergeable with the GrInvIn help TOC tree.
Creates a new instance of InvariantTOCView
Tree component with leaves of type
Invariant
.
Creates a new instance of InvariantList
Provides dynamic map ID assignment for the tree view of available invariants.
Creates a new instance of InvariantTreeHelpManager
Tree model containing the tree of supported invariants.
Return a model for the tree of invariants that corresponds
to the given list of nodes.
Helper enum which handles invariant types.
Interface that should be implemented by all classes that represent an
invariant value.
Loader for the computed values of a saved GraphBundle
Saved for the computed values of a saved GraphBundle
This implementation always raises an exception.
Perform an inverse transformation from destination space back to
source space.
Indicates that file or stream data is not in the expected format and can therefore
not be loaded.
Constructs an instance of IOFormatException
with the specified detail message.
Constructs an instance of IOFormatException
with the
specified detail message and cause
Class that contains some static helper methods.
Checks whether the given edge is still attached to its parent.
Checks whether the given vertex is still attached to its parent.
Check whether the editor is 'dirty'.
Is a drag-and-drop operation in progress where
this component is a target?
returns true if the help files were loaded without errors
This default implementation always returns false
.
Is this transformation invertible?
Returns true if the mouse event specifies a multiple select.
Is the name of this graph user editable?
Is the name of this object editable.
Is the name of this object editable.
Returns true if the engine is properly configured and ready to be runned.
Returns true if the engine is properly configured and ready to be runned.
Is the given element the current 'roll over' element?
Should this icon be displayed as selected?
Should this icon be displayed as selected?
Check whether the given element is selected.
Check whether the current selection is empty.
Is this a null URI or an URI with a 'session' scheme.
Determine whether a graph qualifies as 'small'.
Alter the 'snap to guides' flag of the panel.
Return an iterator that iterates over all selected elements.
Allows the use of an existing iterator in such a way that the remove
operation
throws an UnsupportedOperationException
.
Create a new iterator that is backed by the given iterator of the same type,
but does not allow the user to call its remove
method.
Save the given subcomponent.
Save the settings for this engine to an element.
Save the settings for this engine to an element.
Save the given expression into the given JDOM element.
Save the annotation graph onto the output stream.
Save the embedding graph onto the output stream.
Save the graph onto the output stream.
Save a list of conjecture history entries as a directory with an XML file.
Save the given list of expressions into the given JDOM element.
Save a list of graphs as an XML file.
Writes this property list to the given output stream.
Save the workspace into a new workspace file.
Action to save the conjecture history to file.
Creates a new instance of SaveTestAction
Ask the user for a workspace location to save the imported workspace to.
Save a (session) graph list into a (workspace) directory.
Save a (session) graph list element into a (workspace) directory.
Save a (session) invariant list into a (workspace) directory.
Save the bundle onto the output stream.
Should be overridden to save the actual value into a JDOM-element.
General purpose routine which can be used to save the
bounds and visibility of any window.
Action to save the current workspace to disk.
Action to save the current workspace to disk.
Action to save the current workspace to a directory.
Opens named sections as input streams.
Creates named sections as output streams.
Action command which which selects all elements on a graph panel.
Select all graph elements.
Indicates whether this icon should be displayed as 'selected'.
Mouse handler which allows changing the selection by clicking
on elements in a
GraphPanel
.
Return the number of items that is currently selected.
Simple drag handler that allows dragging from any standard component which
satisfies the
HasSelectableValues
interface and
exports objects of a single type.
Create a simple drag handler for objects of the given type.
Keeps track of a selection of items of similar type.
Creates a new selection model with empty selection.
Creates a new SelectionModel which uses the given
collection to keep track of the selected objects.
Ask the user for a workspace location.
Mouse handler which allows elements on a
GraphPanel
to be
selected by means of a 'rubber band' rectangle.
An Icon
that has two states: selected or not selected.
Set the 'anchor' element.
Sets the annotation for the given
Edge
.
Sets the annotation for the given
Edge
.
Sets the annotation for the given
Vertex
.
Sets the annotation for the given
Vertex
.
Sets the background Color.
Sets the coordinates to the given values.
Perform a bulk change to the coordinates.
Perform a bulk change to the coordinates.
Install a default editor for this parameter, depending on the type
of this parameter.
Set the default locale to be used for this list.
sets the default popup to be shown when the user clicks on a tab with no popup
menu or doesn't click on the header of a tab.
Set the dimension of the embedding.
Set the 'dirty' flag of the editor.
Set the editor for this parameter.
Display information for the given element.
Display information for the given element.
Use a different graph list element.
Decides the enabled status of this action, based on the selection.
Change the embedding to be used by this panel.
Load (a copy of) the given embedding into the editor.
Set the graph icon factory used for displaying this graph as
an icon.
Set the graph icon factory used for displaying this graph as
an icon.
Set the graph icon factory used for displaying this graph as
an icon.
Install guides for this panel.
add context-sensitive help for a component.
allows superclasses to set the list of IDs
when this can not be done in the constructor.
Set the list sequence number.
Change the name of this graph.
Set the name of this object.
Set the name of this parameter.
Set the name of this object.
Set the number of divisions used by this grid.
Set the number of divisions used by this grid.
Set the number of divisions used by this gridtriangles in a column.
Configure whether to paint the watermark or not.
Configure whether to paint the watermark or not.
Configure whether to paint the watermark or not.
Configure whether to paint the watermark or not.
Configure whether to paint the watermark or not.
Store the given parameter value into the component.
Initialize the factory with new parameter values.
Initialize the factory with new parameter values.
Set the parent for the dialog window.
Set the parent for the dialog window.
Set the internationalized properties for this graph.
Set the internationalized properties for this graph.
Set the internationalized properties for this graph.
Set the internationalized properties object for this parameter.
Adds a given property/value pair for the default locale.
Adds a given property/value pair for the given locale.
Set the roll over element in the corresponding graph context
to an element which lies near to the given mouse coordinates.
Set the current 'roll over' element.
Set whether this icon should be displayed as selected.
Set whether this icon should be displayed as selected.
Set the selection to be the given set of objects.
Set the selection to be (only) the given object.
Change the reference value which is used to determine the
height of the bars.
Change the reference value which is used to determine the
height of the bars.
Set or change the size of the bounding square of this icon.
Set or change the size of the bounding square of this icon.
Set or change the size of the bounding square of this icon.
Indicates whether new vertices added should be 'snapped'
to the guides.
Set the type of this parameter.
Setup the GUI contents of this window.
Set the URI of this GraphListElement.
Set the URI of this GraphListElement.
method for superclasses to set the prefix for URLs.
Initialize the fields of the panel from the given array of values.
Shows/hides the advanced tool bar of the graph editor.
Pops up a dialog with the reals displayed as bar charts.
Pops up a dialog with the reals displayed as bar charts.
Show a 'details window' for this component.
Show a 'details window' for the given invariant value component.
Action which can be used to show details for an invariant value.
Create an action of this type.
Create an action of this type for the given invariant value and graph list element.
Create and activate the dialog for the element of type
HasName
and uses the icon returned by
getIcon()
.
Create and activate the dialog for the element of type HasName
.
Alert the user that a file with the chosen name already exists.
Alert the user that a file with the chosen name already exists.
Alert the user that a file with the chosen name already exists.
Actions which shows the graph properties window of a certain graph list
element.
Create an action of this type.
Create an action of this type for the given graph list element.
display the given id in the help window.
An object of this type keeps track of a set of singleton objects of
type T which can be requested by id.
Instantiates a broker object and loads the corresponding objects.
Icon that represents a Graph.
Create a graph icon for the given embedded graph.
Create a graph icon based on the first embedding stored in the given
graph bundle.
Adjust the given coordinate array to correspond with 'guide'
positions.
Snap coordinates to the closest grid position.
Snap coordinates to the closest grid position.
Adjust the given coordinate array to correspond with 'guide'
positions.
Adjust the given coordinate array to correspond with 'guide'
positions.
Snap coordinates to the closest grid position.
Action which snaps all the vertices to the current guides.
Snap all the vertices to the current guides.
Action which snaps the current selection to the current guides.
Snap the current selection to the current guides.
Action that takes a snapshot of the current graph in a panel and
stores it into the given graph list.
Construct an action of this kind.
Split an edge and optionally join the new vertex to the anchor.
Mouse handler that splits an edege at the given position.
Split the selected filters again.
Action which splits the current selected vertices.
Splits the current selected vertices.
Action that changes the current embedding by means of a
spring embedder algorithm.
Construct an action command of this type.
Enum to represent operators in formula.
Start a thread which generates the graph list elements.
Creates a new instance of StateEntry
Abstract class for handling state in the tree generators.
Return the localized name of the invariant.
Interface to be implemented by all subsystems that need to be stored in a
workspace.
Handles creation of icons from svg files.