Serialized Form
_dirty
boolean _dirty
- Records whether the sketch has been modified since the last save. Initialized to false
_currentFile
java.io.File _currentFile
- The current file, initialized to null
_ourGraph
org.jgrapht.graph.ListenableDirectedGraph<V,E> _ourGraph
- The current ListenableDirectedGraph
_modelAdapter
SketchAdapter _modelAdapter
- The current SketchAdapter
_entityNodes
java.util.HashMap<K,V> _entityNodes
- Hash Map of all entity nodes, indexed by their name
_edges
java.util.HashMap<K,V> _edges
- Hash Map of all edges, indexed by their label
_paths
java.util.HashMap<K,V> _paths
- Hash Map of all paths, indexed by their name
_constraints
java.util.LinkedList<E> _constraints
- Linked List of all constraints
_typeController
DataTypeController _typeController
- The current DataTypeController for this sketch
_selectionListener
SketchSelectionListener _selectionListener
- The current SketchSelectionListener
_appFrame
ApplicationFrame _appFrame
- The current ApplicationFrame
_docInfo
DocumentInfo _docInfo
- The current DocumentInfo
|
Package easik.sketch.attribute |
_attName
java.lang.String _attName
- The name of the attribute
_attType
DataType _attType
- The type of teh attribute
_isNew
boolean _isNew
- Stores whether the attribute is new or previously created
_exit
boolean _exit
- Records whether the user selects to exit the attribute UI
_attNameField
javax.swing.JTextField _attNameField
- The JTextField used to record the name of the attribute
_attTypeField
javax.swing.JComboBox _attTypeField
- The JComboBox used to allow the user to select the attribute type
_okButton
javax.swing.JButton _okButton
- The UI ok button
_cancelButton
javax.swing.JButton _cancelButton
- The UI cancel button
_uniqueKey
UniqueKey _uniqueKey
- The unique key being formed in this UI
_keyName
java.lang.String _keyName
- The name of the unique key
_attList
java.util.ArrayList<E> _attList
- The list of attributes in the associated Entity node
_entity
EntityNode _entity
- The current entity node
_isNew
boolean _isNew
- Stores whether this is a new Unique key, or editing of an old one.
_exit
boolean _exit
- Stores whether the user has selected to exit the UI. Initially set to false
_keyNameField
javax.swing.JTextField _keyNameField
- The JTextField used to store the key name
_attListField
javax.swing.JList _attListField
- The JList of attributes
_attListPane
javax.swing.JScrollPane _attListPane
- The JScrollPane used to hold the list of attributes
_okButton
javax.swing.JButton _okButton
- The ok button
_cancelButton
javax.swing.JButton _cancelButton
- The cancel button
|
Package easik.sketch.document |
WINDOW_WIDTH
int WINDOW_WIDTH
- The window's width
WINDOW_HEIGHT
int WINDOW_HEIGHT
- The window's height
WINDOW_POS_X
int WINDOW_POS_X
- The window's x-position
WINDOW_POS_Y
int WINDOW_POS_Y
- The window's y-position
_name
javax.swing.JTextField _name
- The JTextField that records the name of this document
_author
javax.swing.JTextField _author
- The JTextField that records the authors of this document
_desc
javax.swing.JTextField _desc
- The JTextField that records the description of this document
_ok
javax.swing.JButton _ok
- The ok button
_cancel
javax.swing.JButton _cancel
- The cancel button
_diui
DocInfoUI _diui
- The UI instance. Used to allow for disposal.
|
Package easik.sketch.edge |
_isHighlighted
boolean _isHighlighted
- Stores whether this edge is highlighted
_isOneToOne
boolean _isOneToOne
- Stores whether this edge is injective
_uniqueName
java.lang.String _uniqueName
- Stores the name of this edge
_sourceObj
EntityNode _sourceObj
- The entity node that acts as this edge's source
_targetObj
EntityNode _targetObj
- The entity node that acts as this edge's target
|
Package easik.sketch.util |
m_jEdgesBeingAdded
java.util.Set<E> m_jEdgesBeingAdded
- JGraph edges being added
m_jEdgesBeingRemoved
java.util.Set<E> m_jEdgesBeingRemoved
- JGraph edges being removed
m_jVerticesBeingAdded
java.util.Set<E> m_jVerticesBeingAdded
- JGraph vertices being added
m_jVerticesBeingRemoved
java.util.Set<E> m_jVerticesBeingRemoved
- JGraph vertices being removed
m_jtEdgesBeingAdded
java.util.Set<E> m_jtEdgesBeingAdded
- JGraphT edges being added
m_jtEdgesBeingRemoved
java.util.Set<E> m_jtEdgesBeingRemoved
- JGraphT edges being removed
m_jtVerticesBeingAdded
java.util.Set<E> m_jtVerticesBeingAdded
- JGraphT vertices being removed
m_jtVerticesBeingRemoved
java.util.Set<E> m_jtVerticesBeingRemoved
- JGraphT vertices being removed
m_simpleEdgeAttributes
org.jgraph.graph.AttributeMap m_simpleEdgeAttributes
- The default attributes for a simple edge
m_fletchedEdgeAttributes
org.jgraph.graph.AttributeMap m_fletchedEdgeAttributes
- The default attributes for a fletched edge
m_virtualEdgeAttributes
org.jgraph.graph.AttributeMap m_virtualEdgeAttributes
- The default attributes for a virtual edge
m_virtualVertexAttributes
org.jgraph.graph.AttributeMap m_virtualVertexAttributes
- The default attributes for a virtual vertex
m_defaultVertexAttributes
org.jgraph.graph.AttributeMap m_defaultVertexAttributes
- The default attributes for a default vertex
m_cellFactory
SketchAdapter.CellFactory m_cellFactory
- The cell factory
m_jtGraph
org.jgrapht.graph.ListenableDirectedGraph<V,E> m_jtGraph
- The JGraphT graph
m_jtGraphListener
org.jgrapht.event.GraphListener<V,E> m_jtGraphListener
- The JGraphT graph listener
m_cellToEdge
java.util.Map<K,V> m_cellToEdge
- Mapping from cells to edges
m_cellToVertex
java.util.Map<K,V> m_cellToVertex
- Mapping from cells to vertices
m_edgeToCell
java.util.Map<K,V> m_edgeToCell
- Mapping from edges to cells
m_vertexToCell
java.util.Map<K,V> m_vertexToCell
- Mapping from vertices to cells
_ourSketch
Sketch _ourSketch
- The sketch
|
Package easik.sketch.util.Export.Database |
_user
java.lang.String _user
- The name of the user
_pass
java.lang.String _pass
- The password of the user
_URL
java.lang.String _URL
- The URL of the database
_db
java.lang.String _db
- The name of the database
_userField
javax.swing.JTextField _userField
- The JTextField containing the user name
_passField
javax.swing.JPasswordField _passField
- The JPasswordField containing the password
_urlField
javax.swing.JTextField _urlField
- The JTextField containing the URL
_dbField
javax.swing.JTextField _dbField
- The JTextField containing the name of the database
_accepted
boolean _accepted
- Set to true if the user accepts the inputted information, false otherwise
_ok
javax.swing.JButton _ok
- The 'ok' button
_cancel
javax.swing.JButton _cancel
- The 'cancel' button
_udb
DatabaseUI _udb
- A reference to this instance of the DatabaseUI
|
Package easik.sketch.util.graph |
viewIndirections
java.util.Vector<E> viewIndirections
- The list of mappings between cell types and view types
|
Package easik.sketch.util.Tex |
_transform
java.awt.Point _transform
- A point to transform
_flip
java.awt.Point _flip
- A point to flip
_popupMenu
javax.swing.JPopupMenu _popupMenu
- The popup menu found on the graphical sketch
_popupPosition
java.awt.Point _popupPosition
- The point where the popup menu should appear
_ourSketch
Sketch _ourSketch
- The current sketch
_rightPane
javax.swing.JPanel _rightPane
- The right panel of the frame
_buttonPane
javax.swing.JPanel _buttonPane
- The button panel of the frame
_mainPane
javax.swing.JPanel _mainPane
- The main panel of the frame
_sketchScrollPane
javax.swing.JScrollPane _sketchScrollPane
- The scroll pane of the sketch
_infoTreeUI
InfoTreeUI _infoTreeUI
- The information tree
_statusBar
javax.swing.JLabel _statusBar
- The status bar
_stateLabel
javax.swing.JLabel _stateLabel
- The state label
_treeName
javax.swing.JLabel _treeName
- The tree name
_nextButton
javax.swing.JButton _nextButton
- The next button
_finishButton
javax.swing.JButton _finishButton
- The finish button
_cancelButton
javax.swing.JButton _cancelButton
- The cancel button
_mainSplitPane
javax.swing.JSplitPane _mainSplitPane
- The split pane
_recentFilesMenu
javax.swing.JMenu _recentFilesMenu
- The recent files menu created from the recent files stored in the ini file
_showConstraintsMenu
javax.swing.JMenuItem _showConstraintsMenu
- The show constraints menu item
_hideConstraintsMenu
javax.swing.JMenuItem _hideConstraintsMenu
- The hide constraints menu item
_MySQLMenu
javax.swing.JCheckBoxMenuItem _MySQLMenu
- The MySQL menu item
_OracleMenu
javax.swing.JCheckBoxMenuItem _OracleMenu
- The Oracle menu item
_DB2Menu
javax.swing.JCheckBoxMenuItem _DB2Menu
- The DB2 menu item
_XMLMenu
javax.swing.JCheckBoxMenuItem _XMLMenu
- The XML menu item
_UserDefinedMenu
javax.swing.JCheckBoxMenuItem _UserDefinedMenu
- The User defined menu item
_ShowAttsMenu
javax.swing.JCheckBoxMenuItem _ShowAttsMenu
- The Show Attribute & Unique Keys menu item
_AddEntityPopItem
javax.swing.JMenuItem _AddEntityPopItem
- The Add Entity popup menu item
_AddEdgePopItem
javax.swing.JMenuItem _AddEdgePopItem
- The Add Entity popup menu item
_AddInjEdgePopItem
javax.swing.JMenuItem _AddInjEdgePopItem
- The Add Edge popup menu item
_RenamePopItem
javax.swing.JMenuItem _RenamePopItem
- The Add Injective Edge popup menu item
_DeletePopItem
javax.swing.JMenuItem _DeletePopItem
- The Rename popup menu item
_AddAttributePopItem
javax.swing.JMenuItem _AddAttributePopItem
- The Delete popup menu item
_AddUniqueKeyPopItem
javax.swing.JMenuItem _AddUniqueKeyPopItem
- The Add Unique Key popup menu item
_HideConstraintPopItem
javax.swing.JMenuItem _HideConstraintPopItem
- The Hide Constraint popup menu item
_NextPopItem
javax.swing.JMenuItem _NextPopItem
- The Next popup menu item
_FinishPopItem
javax.swing.JMenuItem _FinishPopItem
- The Finish popup menu item
_CancelPopItem
javax.swing.JMenuItem _CancelPopItem
- The cancel popup menu item
_AddPathPopItem
javax.swing.JMenuItem _AddPathPopItem
- The add paths popup menu item
_ProgramSettingsItem
javax.swing.JMenuItem _ProgramSettingsItem
- The Program Settings menu item
_basicPanel
javax.swing.JPanel _basicPanel
- The basic settings panel (This one has components)
_colorPanel
javax.swing.JPanel _colorPanel
- The color settings panel (This one has components)
_buttonPane
javax.swing.JPanel _buttonPane
- The bottom button pane
_okButton
javax.swing.JButton _okButton
- The "Ok" button
_cancelButton
javax.swing.JButton _cancelButton
- The "Cancel" button
_basicTab
javax.swing.JScrollPane _basicTab
- The basic settings tab scroll pane
_colorTab
javax.swing.JScrollPane _colorTab
- The color settings tab scoll pane
_mainPane
javax.swing.JTabbedPane _mainPane
- The main tabbed pane
_folder
javax.swing.ButtonGroup _folder
- The radio button group for default folder options
_folderLast
javax.swing.JRadioButton _folderLast
- Radio button for Last Used Folder option
_folderRunning
javax.swing.JRadioButton _folderRunning
- Radio button for Running Directory option
_folderSpecific
javax.swing.JRadioButton _folderSpecific
- Radio button for Specific Folder option
_folderSpecificLoc
javax.swing.JTextField _folderSpecificLoc
- The text feild for the specific folder
_folderSpecificButton
javax.swing.JButton _folderSpecificButton
- The button to set the specific folder
_showAttsAndUniqueKeys
javax.swing.JCheckBox _showAttsAndUniqueKeys
- The show all attributes and unique keys load value check box
_colorSettingPanes
java.util.ArrayList<E> _colorSettingPanes
- ArrayList to keep track of colorSetting panes
|
Class easik.ui.SketchUI extends org.jgraph.plaf.basic.BasicGraphUI implements Serializable |
|
Package easik.ui.datatype |
_dataType
DataType _dataType
- The data type associated with the pane
_controller
DataTypeController _controller
- The data type controller
_dataTypesUI
DatatypesUI _dataTypesUI
- The data type user interface
_removeButton
javax.swing.JButton _removeButton
- The remove button
_editButton
javax.swing.JButton _editButton
- The edit button
_buttonPane
javax.swing.JPanel _buttonPane
- The button pane
_typesPane
javax.swing.JPanel _typesPane
- The types pane
_typeInfoPane
javax.swing.JPanel _typeInfoPane
- The data type information pane
_UserDefinedPane
javax.swing.JPanel _UserDefinedPane
- The User Defined platform pane
_MySQLPane
PlatformTypePane _MySQLPane
- The MySQL platform pane
_OraclePane
PlatformTypePane _OraclePane
- The Oracle platform pane
_DB2Pane
PlatformTypePane _DB2Pane
- The DB2 platform pane
_XMLPane
PlatformTypePane _XMLPane
- The XML platform pane
_dataTypeNameBox
javax.swing.JTextField _dataTypeNameBox
- The data type name text box
_dataTypeDescBox
javax.swing.JTextField _dataTypeDescBox
- The data type description text box
_userDefinedBox
javax.swing.JTextField _userDefinedBox
- The User Defined platform text box
_isEditable
boolean _isEditable
- True if the data type is editable, false otherwise
_me
javax.swing.JFrame _me
- A self reference to be used by inner classes
_mainPane
javax.swing.JPanel _mainPane
- The main pane
_labelPane
javax.swing.JPanel _labelPane
- The labels pane
_labelAdjusterPane
javax.swing.JPanel _labelAdjusterPane
- The extra pane used to push over the labels
_dataPane
javax.swing.JPanel _dataPane
- The data types pane
_buttonPane
javax.swing.JPanel _buttonPane
- The bottom button pane
_dataPaneWithLabels
javax.swing.JPanel _dataPaneWithLabels
- The data types pane with the labels pane
_MySQLLabel
javax.swing.JLabel _MySQLLabel
- Label for MySQL platform
_OracleLabel
javax.swing.JLabel _OracleLabel
- Label for Oracle platform
_DB2Label
javax.swing.JLabel _DB2Label
- Label for DB2 platform
_XMLLabel
javax.swing.JLabel _XMLLabel
- Label for XML platform
_UserDefinedLabel
javax.swing.JLabel _UserDefinedLabel
- Label for User Defined platform
_controller
DataTypeController _controller
- The data type controller
_dataTypePanes
java.util.ArrayList<E> _dataTypePanes
- A list of the data type panes
_dataScrollPane
javax.swing.JScrollPane _dataScrollPane
- The data types scroll pane
_platformOptions
java.lang.String[] _platformOptions
- The platform options available
_otherLabel
javax.swing.JLabel _otherLabel
- The label for the OTHER box
_typeBox
javax.swing.JComboBox _typeBox
- The box holding all possible datatypes
_otherBox
javax.swing.JTextField _otherBox
- The JTextField to allow for input into the OTHER field
_theSketch
Sketch _theSketch
- The current sketch
_appFrame
javax.swing.JFrame _appFrame
- The application frame
_file
java.lang.String _file
- String representation of the file
|
Package easik.ui.menu.popup |
_newPoint
java.awt.Point _newPoint
- The point at which to place the new entity
_infoTree
javax.swing.JTree _infoTree
- The information tree
_infoTreeModel
javax.swing.tree.DefaultTreeModel _infoTreeModel
- The information tree model
_topNode
javax.swing.tree.DefaultMutableTreeNode _topNode
- The top node of the tree
_tree_entities
NonLeafNode _tree_entities
- The entities tree node
_tree_constraints
NonLeafNode _tree_constraints
- The constraints tree node
_tree_constraints_commutative
NonLeafNode _tree_constraints_commutative
- The commutative diagram tree node
_tree_constraints_product
NonLeafNode _tree_constraints_product
- The product constraint tree node
_tree_constraints_pullback
NonLeafNode _tree_constraints_pullback
- The pullback constraint tree node
_tree_constraints_sum
NonLeafNode _tree_constraints_sum
- The sum constraint tree node
_popupMenu
javax.swing.JPopupMenu _popupMenu
- The popup menu for the tree
_popupPosition
java.awt.Point _popupPosition
- The tree popup menu position
_addAttributeItem
javax.swing.JMenuItem _addAttributeItem
- Tree popup menu item
_editAttributeItem
javax.swing.JMenuItem _editAttributeItem
- Tree popup menu item
_deleteAttributeItem
javax.swing.JMenuItem _deleteAttributeItem
- Tree popup menu item
_addUniqueKeyItem
javax.swing.JMenuItem _addUniqueKeyItem
- Tree popup menu item
_editUniqueKeyItem
javax.swing.JMenuItem _editUniqueKeyItem
- Tree popup menu item
_deleteUniqueKeyItem
javax.swing.JMenuItem _deleteUniqueKeyItem
- Tree popup menu item
_showConstraintItem
javax.swing.JMenuItem _showConstraintItem
- Tree popup menu item
_hideConstraintItem
javax.swing.JMenuItem _hideConstraintItem
- Tree popup menu item
_deleteConstraintItem
javax.swing.JMenuItem _deleteConstraintItem
- Tree popup menu item
_addEntityItem
javax.swing.JMenuItem _addEntityItem
- Tree popup menu item
_renameEntityItem
javax.swing.JMenuItem _renameEntityItem
- Tree popup menu item
_deleteEntityItem
javax.swing.JMenuItem _deleteEntityItem
- Tree popup menu item
_addCommutativeItem
javax.swing.JMenuItem _addCommutativeItem
- Tree popup menu item
_addProductItem
javax.swing.JMenuItem _addProductItem
- Tree popup menu item
_addPullbackItem
javax.swing.JMenuItem _addPullbackItem
- Tree popup menu item
_addSumItem
javax.swing.JMenuItem _addSumItem
- Tree popup menu item
_addPathItem
javax.swing.JMenuItem _addPathItem
- Tree popup menu item
_deletePathItem
javax.swing.JMenuItem _deletePathItem
- Tree popup menu item
|
Package easik.ui.tree.popup |