Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
DvePropertyEditorPanel used to show and change Dve Property, contains only one textarea
DwiServerServer part of the project, listens on the specified port and creates new instances of DwiSocket
ExtensionFilterFilter that accepts regular files with given extension
GlobalProvides often used static methods;
JobLogViewerDerived from code by xforejt
PropertyProperties are (usually) LTL formulae concerning some model
PropertyEditorPanel used to display and change the content of the property
SpringUtilitiesA 1.4 file that provides utility methods for creating form- or grid-style layouts with SpringLayout
VTextIconVTextIcon is an Icon implementation which draws a short string vertically

Reference Manual, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University