Module option

Predicates for operating command-line options

Contents

Predicate

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

Predicate

lilfes_flag/2

Formatlilfes_flag(+OPT,-ARG)
Arguments
+OPTstd:string :option mode
-ARGbot argument of option
NoteList of option
abbreviation name context
'n' "no_initialize" Do not interpret global initialize files
'u' "no_user_initialize" Do not interpret user initialize files
'w' "warning" Display all warnings
'q' "quiet" Suppress verbose messages
"warn-module-override" Warn module override (same module name with different paths)
'l' "load" Load module
'I' "include-path" Add search path of modules
'a' "argv" Set command-line arguments
'e' "eval" Exec a LiLFeS program from command-line
'h' "help" Show this help
Get an argument of option.

lilfes_flag/3

Formatlilfes_flag(+OPT, -OLD, -NEW)
Arguments
+OPTstring option mode
-OLDbot an old value of the option
-NEWbot a new value of the option
Set option.

get_argc/1

Formatget_argc(-ARGC)
Arguments
-ARGCinteger the number of arguments
Get the number of command-line arguments.
 % lilfes -a arg1 arg2
  > ?- get_argc(X).
  X: 2

get_argv/2

Formatget_argv(+IND, -ARG)
Arguments
+INDinteger index
-ARGstring commandline argument
Get a commandline argument.
 % lilfes -a arg1 arg2
  > ?- get_argv(2, X).
  X: "arg2"
Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory
This document is automatically created by lildoc on Fri Sep 24 14:13:58 2004