Searched refs:filename (Results 1 - 11 of 11) sorted by relevance

/hets/utils/header_script/
H A Dheader_script44 #reading filename
45 read filename
46 #testing if filename exists
47 if [ -e $filename ];
49 #testing if filename defines a directory instead of a file
50 if [ -d $filename ];
52 echo "Skipping directory $filename"
55 THISFORMAT=`echo $filename | grep -o '\.[^.]*$'`
59 if [ -w $filename ];
63 START=`fgrep -n -i -e "$START_HADDOCK_HEADER" $filename | hea
[all...]
/hets/FreeCAD/BrepConversion/src/
H A Dmain.cxx9 char filename[50] = "./test/input.brp"; local
11 strcpy(filename,argv[1]);
16 btx.read_brep(filename);
28 btx.read_brep(filename);
/hets/OWL2/tests/
H A DSimpleOWLRenderer.java28 String filename = "";
36 filename = args[1];
37 out = new BufferedWriter(new FileWriter(filename));
61 System.err.println("Error: can not build file: " + filename);
/hets/HolLight/OcamlTools/exportTools/
H A Doverload_loadfile.ml69 let file_of_string filename s =
70 let fd = Pervasives.open_out filename in
77 (let filename = Filename.temp_file "read_global_vals" ".ml" in
78 file_of_string filename exptext;
79 use_file filename;
80 Sys.remove filename) in
133 then let filename = Filename.temp_file "rebind" ".ml"
134 in (file_of_string filename "type_invention_warning:=false";
135 use_file filename;
136 Sys.remove filename)
[all...]
/hets/DMU/
H A DOntoDMU.jar ... .lang.String, java.lang.String) String filename String input java.io.File ausgabedatei java. ...
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...
/hets/CSL/
H A DCSLMode.el211 (defun openspec (filename)
213 filename)
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java187 + " - - - fn <- filename\n"
209 + "insufficient arguments (-o [format] [filename])");
312 void add(OPTION op, String filename) throws Exception { argument
313 writer.add(new OWLOntologyWriter(filename, op));
/hets/doc/
H A DUserGuideCommonLogic.tex618 filename extension & default logic & structuring language\\\hline
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 69 milliseconds