Resource File

The purpose of the Resource file is to establish a default list of input file names, so you do not have to specify every file name on every run. Danish will use any given Resource file to find the default names of input files.

Any file names you specify directly from the user interface will override the file names in your Resource file.

The format of the Resource file is

-[option] [filename]

where [option] is:

"j" for Java Class file
"x" for Axiom file
"a" for Alias file
"s" for Signature file
"v" for Vector file
"i" for Additional file

and only one -[option][filename] tuple appears on each line.

The (optional) Resource file name can only be specified from the User Interface.

The file names in the Resource file are relative to the directory where your Resource file is located. For example, the Resource file

/home/test/.daistishrc

containing the text

-x myaxiom

will cause Java Tester to look for the axiom file

/home/test/myaxiom

Previous Topic Goto

Next Topic

Created 02/11/98 by knight
Revised 04/29/98