Searched refs:arg (Results 1 - 14 of 14) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java204 String arg = args[i].toLowerCase();
205 if (arg.startsWith("-")) {
206 if (arg.equals("-o")) {
212 } else if (arg.equals("-o-sys")) {
218 } else if (arg.equals("-qk") || arg.equals("-q")) {
220 } else if (arg.equals("-h") || arg.equals("--help")) {
223 throw new Exception(msg + "unknown command <" + arg + ">");
230 if (arg
[all...]
/hets/FreeCAD/BrepConversion/src/
H A Dbrep_to_xml.cxx129 * arg == 0 => the vector includes the container shape
130 * arg == 1 => it does not
131 * arg > 1 => lose data
133 vector <TopoDS_Shape> BrepToXML::get_subshapes(int arg) argument
136 if (SS.NbShapes() > arg)
138 for (int i = arg+1; i <= SS.NbShapes(); i++)
/hets/utils/el/
H A Dcasl-indent.el27 (defsubst casl-indent-get-beg-of-line (&optional arg)
29 (beginning-of-line arg)
32 (defsubst casl-indent-get-end-of-line (&optional arg)
34 (end-of-line arg)
784 (defun casl-indent-mode (&optional arg)
790 (if (null arg) (not casl-indent-mode)
791 (> (prefix-numeric-value arg) 0)))
/hets/utils/debian/auto-package/
H A Dpackage_server255 for arg in "$@"
257 case `echo $arg | tr [:upper:] [:lower:]` in
279 echo "Unknown command $arg ..."
H A Dpackage_trunk255 for arg in "$@"
257 case `echo $arg | tr [:upper:] [:lower:]` in
279 echo "Unknown command $arg ..."
/hets/
H A Dvar.mk7 # Strip off the longest prefix ending with '-' incl. of arg $1, split remaining
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/GMP/papers/conditional/
H A Dentcs.cls881 \def\collab{\@ifstar{\collab@arg}{\collab@arg}}
883 \def\collab@arg#1{\stepcounter{collab}%
/hets/GMP/papers/heterogenous/
H A Dentcs.cls881 \def\collab{\@ifstar{\collab@arg}{\collab@arg}}
883 \def\collab@arg#1{\stepcounter{collab}%
/hets/GMP/papers/optInWork/
H A Dentcs.cls881 \def\collab{\@ifstar{\collab@arg}{\collab@arg}}
883 \def\collab@arg#1{\stepcounter{collab}%
/hets/GMP/papers/optimizing/
H A Dentcs.cls881 \def\collab{\@ifstar{\collab@arg}{\collab@arg}}
883 \def\collab@arg#1{\stepcounter{collab}%
/hets/Isabelle/export/
H A Dparser.ml168 (fn (arg, x) => (Token.assign NONE arg; x));
723 fun arg (s, p) =
731 apfst (cons (arg s_p)) (xsyms_to_syms xsyms)
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 3782 milliseconds