GDCT: Java Source Files
Below are all of the Java Source Files for the Graphical Database for Category Theory. To download all of the Java source files go to the GDCT Download page located at http://cs.mta.ca/research/rosebrugh/gdct/download.htm. Below is a complete alphabetical listing of all of the Java source files.
| Java File Name | Description |
| AboutAuthors.java | This file is displayed when the user selects the "About Authors" menu option in the main window. It displays basic information about authors of the project. [89 lines] |
| AboutFrame.java | his file is displayed when the user selects the "About GDCT" menu option in the main window. It displays basic information about the project. [105 lines] |
| AddDataFrame.java | This file is displayed when the user selects the "Add Object", "Add Arrow", or "Add Relation" menu option in the main window. It displays a list of objects in categories that are presently in memory. The user can select a category file(*.CAT) and chose add an object, arrow, or relation. [560 lines] |
| AngleControl.java | A class that allows control of a 3D viewpoint angle in polar coordinates (phi, theta). [319 lines] |
| AngleControlPanel.java | An AngleControl, along with a label that allows the user to manipulate the 3D viewpoint. Also includes buttons for viewing a category in the XY plane, YZ plane, XZ plane. [91 lines] |
| BiconnectData.java | Data object for storing node information used in implementing J.E. Hopcroft's depth-first traversal of a graph to determine the Articulation Points of the graph. Basically, this is a data object for generic information field in Graph class. It is used by the class BiconnectGraph. [51 lines] |
| BiconnectGraph.java | This file implements a BiconnectGraph class that is created from a Graph object. The Graph object is modified if neccessary so that it is a biconnected graph. Basically, this is a class to transform the given graph to a biconnected graph. [398 lines] |
| BugFrame.java | This file contains contact information for bugs encountered during the operation of the Graphical Database for Category Theory program. [92 lines] |
| Category.java | This class stores all information relevant to a category and has many functions available to operate within the category. [668 lines] |
| CategoryList.java | This class implements a list of ListNode classes which contain categories. [177 lines] |
| CategoryModified.java | This class remembers whether a category was was modified, and if so, how it was modified. Used to confirm closing of unsaved categories. [83 lines] |
| CategoryNode.java | This is a class that contains a category and another ListNode called next. It also contains a boolean variable to indicate if the category file has been modified and not saved. [42 lines] |
| CatFunctor.java | This class is equivalent to a struct in C/C++. It contains all of the information that is needed to create a functor node. [17 lines] |
| ChangeNameFrame.java | This file is displayed when the user selects the "Change Name of Category" menu option in the main window. The user can select a category from a choice menu and then enter a new name in the text field below it. [160 lines] |
| Clan.java | A "Clan" class for CGD. [105 lines] |
| ClanTree.java | A "Clan" tree class for CGD. [151 lines] |
| CoequalizerFrame.java | This class implements a frame which allows the user to run the category tool "Coequalizer" on the current category. [495 lines] |
| DDimension.java | A class for holding a real dimension of the visual display in the graph class canvas. [53 lines] |
| DDimension3.java | A class for holding a real 3D dimension of the visual display in the graph class canvas. [40 lines] |
| DPoint.java | A class for holding a real position. [66 lines] |
| DPoint3.java | A class for holding a real 3D position. [84 lines] |
| DragFix.java | Drag fix queues events and eliminates repeated mouse drag events and scrollbar events (most annoying on Win95). Be sure the Component doesn't post an event to itself every mouse drag or scrollbar event, or this will do no good. I suggest getParent().postEvent() instead. [192 lines] |
| DRect.java | A class for holding a real rectangle. [23 lines] |
| DualCategoryFrame.java | This file is displayed when the user selects the "Create Dual Category" menu option in the main window. The user can select a category file from a choice menu and then enter the name of its dual category in the text field below it. [356 lines] |
| Edge.java | This file is a heavily modified version of the original developed at Auburn University for the VGJ (Visualizing Graphs with Java) applet. This class draws an edge of a graph(category). [1069 lines] |
| EdgePropertiesDialog.java | A dialog class for changing the properties of an edge. If the edge is null, the dialog is modeless and does not have fields for changing properties, such as label, without defaults. Otherwise, the dialog is modal. [313 lines] |
| EmptyListException.java | This class contains an Empty List Exception class for the DefList class which contains a list of categories. [16 lines] |
| EndomorphismFrame.java | This file is displayed when the user selects the "Endomorphism Limit". It allows the user to select a new maximum order of endomorphism. [206 lines] |
| EpiFrame.java | This class implements a frame which allows the user to run the category tool "Epimorphism" on the current category. [327 lines] |
| EqualityComposites.java | This class implements a frame that tests paths in a given category for equality. [668 lines] |
| EqualizerFrame.java | This class implements a frame which allows the user to run the category tool "Equalizer" on the current category. [490 lines] |
| FileProcessing.java | This class contains methods for opening and downloading category (*.CAT and *.CGL) and functor (*.FUN and *.FGL) files [1445 lines] |
| FontPropDialog.java | A dialog class that allows the user to specify font properites. [105 lines] |
| FuncNameDialog.java | This class displays a dialog box that prompts the user for a new name if the name of the functor file being loaded, created, or opened already exists in the open functor list. [120 lines] |
| FunctorList.java | This class a list of functors. [138 lines] |
| FunctorNode.java | This class contains the information about a functor that is later stored in a linked list. [45 lines] |
| GBConstraintsEditor.java | This class provides a method to easily fill in the values of the GridBagConstraints class that are necessary to add an element to a panel or frame with a GridBagLayout. The values in the GridBagConstraints that are dealt with in this class are int gridx, int gridy, int gridwidth, int gridheight, double weightx, double weighty, int anchor, int fill, Insets insets, int ipadx ,and int ipady. [48 lines] |
| GDCT.java | This file creates the application GDCT and displayes the intro graphic frame (GDCTIntro.java) and displayes the main frame (MainWindow.java). [43 lines] |
| GDCTIntro.java | This frame displays an intro image for GDCT as a "splash screen" when the application is first opened. [39 lines] |
| GMLEditor.java | This is a class that allows for the addition and removal of objects, arrows, and relations to a given gml representation of a category. [488 lines] |
| GMLlexer.java | A GML lexer. No distinction is made between Integer and Real (all numbers are real). [224 lines] |
| GMLobject.java | A GML object that does nothing but create itself and write itself. [497 lines] |
| Graph.java | A class for representing a graph abstractly. [1050 lines] |
| GraphCanvas.java | A window class for editing and displaying Graphs. [2103 lines] |
| GraphEdit.java | Graph File Viewer & Editing Utility. GraphEdit is a text editing window for Graphs. It can be accessed in GDCT through the "View GML" menu option in the "Edit Category" submenu of the "Categories" menu. [384 lines] |
| GroupControl.java | A dialog class that allows the user to enter group commands. [89 lines] |
| HelpFrame.java | This file is displayed when the user selects the "Help Topics" menu option in the main window. It displays a list help files that are available in text format(as .DAT files). [303 lines] |
| HomNode.java | A node for the HomTree class [17 lines] |
| HomTree.java | This class implements a HomTree, used for constructing groups of paths in algorithms such as "Sum" and "Isomorphism" [407 lines] |
| IniFile.java | A generic initialization file class which reads and writes settings to a *.INI file. [419 lines] |
| IniFileNode.java | A set of items to be stored under one header inside an initialization file. This class is used only by the IniFile class. [176 lines] |
| IniSettings.java | In effect a wrapper class that uses the IniFile class and provides specific functions for various settings in the GDCT Program. [1447 lines] |
| InitialObjectFrame.java | This file is displayed when the user selects the "Initial Object" menu option in the main window. The user can select a category from a choice menu and then chose to check if one or all of the categories are intial. The information on each object tested will be displayed in the text area. [458 lines] |
| InputDialog.java | A dialog class for user input of a single string. [69 lines] |
| IsoFrame.java | This class implements a frame which allows the user to run the category tool "Isomorphism" on the current category. [520 lines] |
| LoadCATFrame.java | This class creates a frame that allows the user to select the desired category file (*.CAT) to load from the server. [218 lines] |
| LoadCGLFrame.java | This class creates a frame that allows the user to select the desired category file (*.CGL) to load from the server. [215 lines] |
| LoadFUNFrame.java | This class creates a frame that allows the user to select the desired functor file (*.FUN) to load from the server. [215 lines] |
| LoadFGLFrame.java | This class creates a frame that allows the user to select the desired functor file (*.FGL) to load from the server. [215 lines] |
| LPanel.java | A panel class with convenience functions for dealing with the VGJ (Graphing panel) attributes. [242 lines] |
| MainWindow.java | This class contains the main window that is displayed when the GDCT application is opened. It contains the GUI for the text-based and graphical manipulation of categories and functors as well as an extensive menu system that allows the user to easily access all of the tools and options available. [5723 lines] |
| MakeConfluentFrame.java | This file is displayed when the user selects the "Make Confluent " menu option in the main window. The user can select a category from a choice menu and then changes made to the category to make it confluent will be displayed in the text area. To save the changes to the current category press "ok". [859 lines] |
| Matrix44.java | A 4x4 Matrix class used in the visual display side of GDCT. [65 lines] |
| MessageDialog.java | This dialog is displayed whenever a message is given to the user. [65 lines] |
| MonoFrame.java | This class implements a frame which allows the user to run the category tool "Monomorphism" on the current category. [327 lines] |
| NameDialog.java | This class displays a dialog box that prompts the user for a new name if the name of the category file being loaded, created, or opened already exists in the open categories list. [119 lines] |
| Node.java | This file is a modified version of the original developed at Auburn University for the VGJ (Visualizing Graphs with Java) applet. This class draws a node of a graph(object of a category). [1534 lines] |
| NodeList.java | A NodeList class for use in a Graph. [266 lines] |
| NodePropertiesDialog.java | A dialog class for changing the properties of a node. If the node is Node.defaults, the dialog is modeless and does not have fields for changing properties, such as label, without defaults. Otherwise, the dialog is modal. [342 lines] |
| OffsetCanvas.java | This abstract class is used inside a ScrolledPanel, and implements the required functionality to communicate with it. [60 lines] |
| ParseError.java | A parse error Exception. [19 lines] |
| Partition.java | A partition class for CGD. [112 lines] |
| printCategory.java | This class is implemented to print a text version or a graphical version of the current category. [303 lines] |
| printFunctor.java | This class is implemented to print a text version of the current functor along with the categories associated with it. [263 lines] |
| ProductFrame.java | This class implements a frame which allows the user to run the category tool "Product" on the current category. [758*************** lines] |
| PSdialog.java | The purpose of this class is to display a dialog that allows for the printing of the graph of the current category to postscript. [276 lines] |
| Queue.java | Class to implement a simple queue of integers. [43 lines] |
| Relation.java | This class is equivalent to a struct in C/C++ and stores the lhs and rhs of the relations of a category. [17 lines] |
| RemoveDataFrame.java | This file is displayed when the user selects the "Remove Data" menu option in the "Edit Category" menu of the main window. It allows the user to remove objects, arrows, and relations from the current category. [620 lines] |
| SaveDialog.java | This class displays the dialog that is displayed upon close when a category is found that has not been saved or has been modified since it has last been saved. [273 lines] |
| ScrolledPanel.java | This is a panel that contains an OffsetCanvas, a Label, and two Scrollbars. When the OffsetCanvas is resized, the Scrollars will adjust so that the image can be completely viewed, and no more (you can scroll just to the edge of the image). If the OffsetCanvas is larger than the image, the image gets centered inside it. the Label displays the current cursor location in the OffsetCanvas, relative to the contents of the OffsetCanvas. [305 lines] |
| Set.java | This class is similar to Java's BitSet class. It is used to represent an ordered set of non-negative integers. The set automatically grows as more spaces are needed. [442 lines] |
| SettingsAnimation.java | This class creates a frame that allows the user to change the speed of the auto animate functor as well as allows the user to select the desired color for the highlighted objects and arrows in both category A and category B. [198 lines] |
| SettingsFuncGraphical.java | This file creates a frame that allows the user to change the graphical settings associated with the display of categories A and B in the current functor. [598 lines] |
| SettingsGraphical.java | This file creates a frame that allows the user to change certain graphical settings in the display of a category. [294 lines] |
| SettingsServer.java | This class displays a frame which allows the user to change the default server, default server category directory, and the default server functor directory, which are used in the loading of files. [213 lines] |
| This class displays a frame that allows the user to change the font as well as change the style and size of the font. [238 lines] | |
| Spring.java | Class to implement Kamada and Kawai's spring algorithm with modifications). [609 lines] |
| SumFrame.java | This class implements a frame which allows the user to run the category tool "Sum" on the current category. [758 lines] |
| TerminalObjectFrame.java | This file is displayed when the user selects the "Terminal Object" menu option in the main window. The user can select a category from a choice menu and then chose to check if one or all of the categories are terminal. The information on each object tested will be displayed in the text area. [422 lines] |
| TextOutDialog.java | A dialog class for output of a single string. [91 lines] |
| ViewportScroller.java | A ViewportScroller is a window used to scroll a window through a larger area of content. The content is shown as a white rectangle, with the window being represented by a black rectangle outline within it. A SCROLL event is sent when the user drags the "window" with the mouse. [362 lines] |
| 93 Files Total | Lines of Code Total 35151 |
| Documentation Page | Main Page |