Check list element - later called "topic" on screen
Contains the text shown in the tree, information on what kind
of element it is (original Checklist topic or a DesignFactor),
level in tree and a pointer to the corresponding tree node.
The CheckList extends the DefaultTreeModel and contains a table of topics/CLEelements (checklist elements)
Contains a constructor, gets, add, boolean isDF()
The constructor contains 5 parameters :
1 StringTokenizer - for reading the information from file,
1 myIO - for handling the file IO,
1 myTree - into which the CLL information goes to create the tree,
1 Tool - to retrive information on designFactors and such,
1 myDynamicTreeNode - the root of the tree
class constructor using strings for label, text, rationale,
doc, place in tree, int Status and int key-value
useful when getting a DesignFactor from an inputstream (file)
This class contains the methods needed for handeling of
the simple entering and changing of a DesignFactor
The constructor is used to generate the interface, to
add or modify : use fillDFFrame(...)
the constructor and fillDFFrame are the only methods of
importance to the outside world
class constructor
order of parameters : Toolbase : label, text, rationale, document, place in tree, status,
extention : id of DesignFactor from, id of DesignFactor To, relationship type
DITFileChoser.java to choose an input or output file
When the user is giving in a file name, different hardware reacts differently,
so there are two constructors, one which asks once and one which
dubbelchecks if no legal input is given the first time.
class constructor - add one filter for *.dit
in Echo useful for getting an output file
If no valid file is chosen, the user is queried before the method gives up.
File filter - show only data files of the Isabelle Tool :
*.dit = any file with extention D(ata for) I(sabelle's) T(ool)
The file extention is kept though the software has got a more grownup name : Echo
*.tpl is the other extention used by Echo - for templates
A convenience implementation of FileFilter that filters out
all files except for those type extensions that it knows about.
used for showing/changing existing Design Factors
ext is short of extended/extensive as all DesignFactors related
to the DesignFactor to me modified, are also shown.
show the frame and get a name, dubbel check legality if (dubbelTest)
dubbeltest is set in the constructor (true if constructor with string parameter was used)
A class to simplify making pulldown menus with the Designfactors
The pulldown menus are in use by the DesignRelationUI to chose
designfactor from and To.
class myIO contains methods for opening and closing files,
getting a String from an input file using the parameters as delimiters
and to convert a number given in string format to int.
returns the number of data elements entered based on the template specification
The number is the number of actual elements in this DesignFactor, not a theoretical one
readFromFile gets the input, makes a StringTokenizer
based on the input and passes it on to the analyzer
When the work is done, the table is filled with information from the file