1
<html><head><TITLE>Toolkit</TITLE></head>
3
<H2><A HREF ="#DOC.DOCU" > <IMG BORDER=0 SRC=down.gif></A> class Toolkit </H2><BLOCKQUOTE>
4
information about the different tools.
10
<DT><h3>Public Classes</h3><DD><TR><TD VALIGN=top><A HREF="#DOC.387.2"> <IMG BORDER=0 SRC=icon1.gif></A> enum </TD><TD><B>ToolType</B> <br>
11
<I> Definitions of the different editors (tools) that are implemented.</I>
12
</TD></TR></TABLE><TABLE>
13
<DT><h3>Public Fields</h3><DD><TR><TD VALIGN=top><A HREF="#DOC.387.1"> <IMG BORDER=0 SRC=icon1.gif></A> static const char </TD><TD><B>TOOLKIT_NAME</B> []<br>
14
<I> The application (toolkit) name.</I>
15
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.13"> <IMG BORDER=0 SRC=icon1.gif></A> static const char </TD><TD><B>STARTUP_TOOL_NAME</B> []<br>
16
<I> The name (in upper case) of the startup tool.</I>
17
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.14"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>TOOL_TITLES</B> []<br>
18
<I> Window titles for the different tools.</I>
19
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.15"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>TOOL_NAMES</B> []<br>
20
<I> Short names (in upper case) of the editing tools.</I>
21
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.16"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>EXECUTABLE_NAMES</B> []<br>
22
<I> Names of the tool executables.</I>
23
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.17"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>DOCUMENT_TYPES</B> []<br>
24
<I> The full names of the document types.</I>
25
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.18"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>DOCUMENT_SUFFIXES</B> []<br>
26
<I> Document name suffixes. </I>
27
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.19"> <IMG BORDER=0 SRC=icon1.gif></A> static const char </TD><TD><B>DOCUMENT_DEFAULT</B> []<br>
28
<I> Default document name.</I>
29
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.20"> <IMG BORDER=0 SRC=icon1.gif></A> static const char* </TD><TD><B>DOCUMENT_TYPES_INFO</B> []<br>
30
<I> The help info of the document types.</I>
31
</TD></TR></TABLE><TABLE>
32
<DT><h3>Public Methods</h3><DD><TR><TD VALIGN=top><A HREF="#DOC.387.3"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>TableEditor</B> (int tool)<br>
33
<I> is tool table editor.</I>
34
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.4"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>DiagramEditor</B> (int tool)<br>
35
<I> is tool diagram editor.</I>
36
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.5"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>TreeEditor</B> (int tool)<br>
37
<I> is tool tree editor.</I>
38
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.6"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>TextEditor</B> (int tool)<br>
39
<I> is tool text editor.</I>
40
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.7"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>EditorWithoutCurves</B> (int tool)<br>
41
<I> tool can not have curved edges.</I>
42
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.8"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>EditorWithoutDuplicates</B> (int tool)<br>
43
<I> tool can not have duplicate shapes.</I>
44
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.9"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>HierarchicEditor</B> (int tool)<br>
45
<I> tool can edit hierarchic documents.</I>
46
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.10"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>GenericEditor</B> (int tool)<br>
47
<I> tool has no soft constraints</I>
48
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.11"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>EditorWithInterEdgeConnections</B> (int tool)<br>
49
<I> tool is diagram editor in which edges can connect to edges</I>
50
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.387.12"> <IMG BORDER=0 SRC=icon1.gif></A> static bool </TD><TD><B>EditorWithModelChecker</B> (int tool)<br>
51
<I> tool is diagram editor with model checking facilities </I>
52
</TD></TR></TABLE></DL>
55
<h2> Documentation </h2>
57
information about the different tools.
62
<A NAME="TOOLKIT_NAME">
64
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char TOOLKIT_NAME[]</B></TT>
65
<DD> The application (toolkit) name.
69
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> enum ToolType</B></TT>
70
<DD> Definitions of the different editors (tools) that are implemented.
72
<A NAME="TableEditor">
74
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool TableEditor(int tool)</B></TT>
75
<DD> is tool table editor.
77
<A NAME="DiagramEditor">
79
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool DiagramEditor(int tool)</B></TT>
80
<DD> is tool diagram editor.
84
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool TreeEditor(int tool)</B></TT>
85
<DD> is tool tree editor.
89
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool TextEditor(int tool)</B></TT>
90
<DD> is tool text editor.
92
<A NAME="EditorWithoutCurves">
94
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool EditorWithoutCurves(int tool)</B></TT>
95
<DD> tool can not have curved edges.
97
<A NAME="EditorWithoutDuplicates">
99
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool EditorWithoutDuplicates(int tool)</B></TT>
100
<DD> tool can not have duplicate shapes.
102
<A NAME="HierarchicEditor">
103
<A NAME ="DOC.387.9">
104
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool HierarchicEditor(int tool)</B></TT>
105
<DD> tool can edit hierarchic documents.
107
<A NAME="GenericEditor">
108
<A NAME ="DOC.387.10">
109
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool GenericEditor(int tool)</B></TT>
110
<DD> tool has no soft constraints
112
<A NAME="EditorWithInterEdgeConnections">
113
<A NAME ="DOC.387.11">
114
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool EditorWithInterEdgeConnections(int tool)</B></TT>
115
<DD> tool is diagram editor in which edges can connect to edges
117
<A NAME="EditorWithModelChecker">
118
<A NAME ="DOC.387.12">
119
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static bool EditorWithModelChecker(int tool)</B></TT>
120
<DD> tool is diagram editor with model checking facilities
122
<A NAME="STARTUP_TOOL_NAME">
123
<A NAME ="DOC.387.13">
124
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char STARTUP_TOOL_NAME[]</B></TT>
125
<DD> The name (in upper case) of the startup tool.
127
<A NAME="TOOL_TITLES">
128
<A NAME ="DOC.387.14">
129
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* TOOL_TITLES[]</B></TT>
130
<DD> Window titles for the different tools.
132
<A NAME="TOOL_NAMES">
133
<A NAME ="DOC.387.15">
134
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* TOOL_NAMES[]</B></TT>
135
<DD> Short names (in upper case) of the editing tools.
137
<A NAME="EXECUTABLE_NAMES">
138
<A NAME ="DOC.387.16">
139
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* EXECUTABLE_NAMES[]</B></TT>
140
<DD> Names of the tool executables.
142
<A NAME="DOCUMENT_TYPES">
143
<A NAME ="DOC.387.17">
144
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* DOCUMENT_TYPES[]</B></TT>
145
<DD> The full names of the document types.
147
<A NAME="DOCUMENT_SUFFIXES">
148
<A NAME ="DOC.387.18">
149
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* DOCUMENT_SUFFIXES[]</B></TT>
150
<DD> Document name suffixes.
152
<A NAME="DOCUMENT_DEFAULT">
153
<A NAME ="DOC.387.19">
154
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char DOCUMENT_DEFAULT[]</B></TT>
155
<DD> Default document name.
157
<A NAME="DOCUMENT_TYPES_INFO">
158
<A NAME ="DOC.387.20">
159
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> static const char* DOCUMENT_TYPES_INFO[]</B></TT>
160
<DD> The help info of the document types.
163
<DL><DT><B>This class has no child classes.</B></DL>
164
<DL></DL><P><I><A HREF="aindex.html"> alphabetic index</A></I> <I><A HREF="HIER.html"> hierarchy of classes</A></I><P><hr>
165
<A HREF="http://www.zib.de/Visual/software/doc++/index.html"><IMG BORDER=0 ALIGN=RIGHT SRC=logo.gif></A>
166
<P Align=Center><I>this page has been generated automatically by doc++</I>
167
<P Align=Center><I>(c)opyright by <A HREF="http://www.zib.de/zoeckler/"> Malte Zöckler</A>, <A HREF="mailto:wunderling@zib.de"> Roland Wunderling </A><br>contact: <A HREF="mailto:doc++@zib.de"> doc++@zib.de</a></I>