class Toolkit

information about the different tools.

Public Classes

enum ToolType
Definitions of the different editors (tools) that are implemented.

Public Fields

static const char TOOLKIT_NAME []
The application (toolkit) name.
static const char STARTUP_TOOL_NAME []
The name (in upper case) of the startup tool.
static const char* TOOL_TITLES []
Window titles for the different tools.
static const char* TOOL_NAMES []
Short names (in upper case) of the editing tools.
static const char* EXECUTABLE_NAMES []
Names of the tool executables.
static const char* DOCUMENT_TYPES []
The full names of the document types.
static const char* DOCUMENT_SUFFIXES []
Document name suffixes.
static const char DOCUMENT_DEFAULT []
Default document name.
static const char* DOCUMENT_TYPES_INFO []
The help info of the document types.

Public Methods

static bool TableEditor (int tool)
is tool table editor.
static bool DiagramEditor (int tool)
is tool diagram editor.
static bool TreeEditor (int tool)
is tool tree editor.
static bool TextEditor (int tool)
is tool text editor.
static bool EditorWithoutCurves (int tool)
tool can not have curved edges.
static bool EditorWithoutDuplicates (int tool)
tool can not have duplicate shapes.
static bool HierarchicEditor (int tool)
tool can edit hierarchic documents.
static bool GenericEditor (int tool)
tool has no soft constraints
static bool EditorWithInterEdgeConnections (int tool)
tool is diagram editor in which edges can connect to edges
static bool EditorWithModelChecker (int tool)
tool is diagram editor with model checking facilities

Documentation

information about the different tools.
static const char TOOLKIT_NAME[]
The application (toolkit) name.

enum ToolType
Definitions of the different editors (tools) that are implemented.

static bool TableEditor(int tool)
is tool table editor.

static bool DiagramEditor(int tool)
is tool diagram editor.

static bool TreeEditor(int tool)
is tool tree editor.

static bool TextEditor(int tool)
is tool text editor.

static bool EditorWithoutCurves(int tool)
tool can not have curved edges.

static bool EditorWithoutDuplicates(int tool)
tool can not have duplicate shapes.

static bool HierarchicEditor(int tool)
tool can edit hierarchic documents.

static bool GenericEditor(int tool)
tool has no soft constraints

static bool EditorWithInterEdgeConnections(int tool)
tool is diagram editor in which edges can connect to edges

static bool EditorWithModelChecker(int tool)
tool is diagram editor with model checking facilities

static const char STARTUP_TOOL_NAME[]
The name (in upper case) of the startup tool.

static const char* TOOL_TITLES[]
Window titles for the different tools.

static const char* TOOL_NAMES[]
Short names (in upper case) of the editing tools.

static const char* EXECUTABLE_NAMES[]
Names of the tool executables.

static const char* DOCUMENT_TYPES[]
The full names of the document types.

static const char* DOCUMENT_SUFFIXES[]
Document name suffixes.

static const char DOCUMENT_DEFAULT[]
Default document name.

static const char* DOCUMENT_TYPES_INFO[]
The help info of the document types.


This class has no child classes.

alphabetic index hierarchy of classes


this page has been generated automatically by doc++

(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de