Searched refs:options (Results 1 - 25 of 268) sorted by relevance

1234567891011

/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp105 static int parse_args(int argc, char **argv, Options &options) { argument
123 options.mode = Options::TO_ASCII;
127 if (options.input.is_open())
128 options.input.close();
129 options.input.open(optarg);
130 if (!options.input.is_open())
135 if (options.output.is_open())
136 options.output.close();
137 options.output.open(optarg);
138 if (!options
164 Options options; local
[all...]
H A Dmake_tables.py23 options = parser.parse_args(argv[1:])
29 options.output.write('static map<wstring, wchar_t> ascii_to_unicode = {\n')
31 options.output.write(' { L"%s", L\'\\x%x\' },\n' %
33 options.output.write('};\n\n')
36 options.output.write('static map<wchar_t, wstring> unicode_to_ascii = {\n')
38 options.output.write(' { L\'\\x%x\', L"%s" },\n' %
40 options.output.write('};\n\n')
44 options.output.write('static const unsigned int ASCII_SEQ_MAX = %u;\n\n' %
/seL4-l4v-master/l4v/misc/scripts/
H A Dgen_isabelle_root.py40 (options, args) = parser.parse_args()
45 if options.output == None:
47 if len(options.input_dir) == 0:
49 if options.session_name == None and not options.theory_file:
51 if options.base_session == None and not options.theory_file:
53 output_dir = os.path.dirname(options.output)
56 with open(options.output, "w") as output:
59 for d in options
[all...]
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Djedit_sessions.scala5 and explicit options.
19 /* session options */
27 def session_options(options: Options): Options =
31 case "default" => options
32 case mode => options.bool.update("system_heaps", mode == "system")
44 def sessions_structure(options: Options, dirs: List[Path] = session_dirs()): Sessions.Structure =
45 Sessions.load_structure(session_options(options), dirs = dirs)
52 def logic_name(options: Options): String =
55 options.string(jedit_logic_option))
62 def logic_info(options
[all...]
H A Disabelle_options.scala4 Editor pane for plugin options.
21 val dummy_property = "options.isabelle.dummy"
42 val options = PIDE.options
45 List(JEdit_Sessions.logic_selector(options, false),
49 options.make_components(predefined,
50 (for ((name, opt) <- options.value.options.iterator if opt.public) yield name).toSet)
58 (name, opt) <- PIDE.options.value.options
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_sessions.scala5 and explicit options.
19 /* session options */
27 def session_options(options: Options): Options =
31 case "default" => options
32 case mode => options.bool.update("system_heaps", mode == "system")
44 def sessions_structure(options: Options, dirs: List[Path] = session_dirs()): Sessions.Structure =
45 Sessions.load_structure(session_options(options), dirs = dirs)
52 def logic_name(options: Options): String =
55 options.string(jedit_logic_option))
62 def logic_info(options
[all...]
H A Disabelle_options.scala4 Editor pane for plugin options.
21 val dummy_property = "options.isabelle.dummy"
42 val options = PIDE.options
45 List(JEdit_Sessions.logic_selector(options, false),
49 options.make_components(predefined,
50 (for ((name, opt) <- options.value.options.iterator if opt.public) yield name).toSet)
58 (name, opt) <- PIDE.options.value.options
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sig7 usage: arm_step options hex-opcode
9 default options: "v7,usr,le,pass,arm,it:0"
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala38 options: Options,
47 Build_Release.build_release(base_dir, options, rev = rev, afp_rev = afp_rev,
57 def build_log_database(options: Options, log_dirs: List[Path])
59 val store = Build_Log.store(options)
71 def build_status(options: Options)
74 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
H A Dbuild_doc.scala18 options: Options,
24 val sessions_structure = Sessions.load_structure(options)
30 doc = info.options.string("document_variants")
45 Build.build(options, progress, requirements = true, build_heap = true,
52 options.bool.update("browser_info", false).
77 var options = Options.init()
93 "o:" -> (arg => options = options + arg))
102 build_doc(options, progress, all_docs, max_jobs, docs)
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala38 options: Options,
47 Build_Release.build_release(base_dir, options, rev = rev, afp_rev = afp_rev,
57 def build_log_database(options: Options, log_dirs: List[Path])
59 val store = Build_Log.store(options)
71 def build_status(options: Options)
74 dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
H A Dbuild_doc.scala18 options: Options,
24 val sessions_structure = Sessions.load_structure(options)
30 doc = info.options.string("document_variants")
45 Build.build(options, progress, requirements = true, build_heap = true,
52 options.bool.update("browser_info", false).
77 var options = Options.init()
93 "o:" -> (arg => options = options + arg))
102 build_doc(options, progress, all_docs, max_jobs, docs)
/seL4-l4v-master/HOL4/src/TeX/
H A DholindexData.sml16 options : string,
31 options = "",
43 options = options,
53 options = options,
65 options = options,
75 options = options,
[all...]
/seL4-l4v-master/isabelle/src/Pure/ML/
H A Dml_console.scala22 var options = Options.init()
46 "o:" -> (arg => options = options + arg),
58 Build.build_logic(options, logic, build_heap = true, progress = progress, dirs = dirs)
65 ML_Process(options, logic = logic, args = List("-i"), dirs = dirs, redirect = true,
68 store = Some(Sessions.store(options)),
72 options, logic, dirs = dirs, include_sessions = include_sessions).check_base))
/seL4-l4v-master/l4v/isabelle/src/Pure/ML/
H A Dml_console.scala22 var options = Options.init()
46 "o:" -> (arg => options = options + arg),
58 Build.build_logic(options, logic, build_heap = true, progress = progress, dirs = dirs)
65 ML_Process(options, logic = logic, args = List("-i"), dirs = dirs, redirect = true,
68 store = Some(Sessions.store(options)),
72 options, logic, dirs = dirs, include_sessions = include_sessions).check_base))
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sig15 * and the recognition of long options with a single dash (e.g. '-help' is
19 * * To enforce a coherent description of options and arguments, there are
27 * than returning error strings while continuing processing options.
39 (* What to do with options following non-options:
41 * Permute: freely intersperse options and non-options
42 * ReturnInOrder: wrap non-options into options
65 options
[all...]
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A DGetOpt.sig18 * and the recognition of long options with a single dash (e.g. '-help' is
22 * * To enforce a coherent description of options and arguments, there are
30 * than returning error strings while continuing processing options.
42 (* What to do with options following non-options:
44 * Permute: freely intersperse options and non-options
45 * ReturnInOrder: wrap non-options into options
68 options
[all...]
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dxz.scala15 /* options */
19 def options(preset: Int = 3): Options =
H A Dmercurial.scala68 rev: String = "", options: String = "", ssh: SSH.System = SSH.Local): Repository =
70 options + " " + Bash.string(source) + " " + ssh.bash_path(root) + opt_rev(rev), ssh = ssh)
75 else clone_repository(source, root, options = "--noupdate", ssh = ssh)
87 def command(name: String, args: String = "", options: String = "",
93 " --noninteractive " + name + " " + options + " " + args
100 def archive(target: String, rev: String = "", options: String = ""): Unit =
101 hg.command("archive", opt_rev(rev) + " " + Bash.string(target), options).check
103 def heads(template: String = "{node|short}\n", options: String = ""): List[String] =
104 hg.command("heads", opt_template(template), options).check.out_lines
106 def identify(rev: String = "tip", options
[all...]
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala20 def build_grammar(options: Options, progress: Progress = No_Progress)
23 val keywords = Sessions.base_info(options, logic).check_base.overall_syntax.keywords
68 val options = Options.init()
71 build_grammar(options, progress)
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dxz.scala15 /* options */
19 def options(preset: Int = 3): Options =
H A Dmercurial.scala68 rev: String = "", options: String = "", ssh: SSH.System = SSH.Local): Repository =
70 options + " " + Bash.string(source) + " " + ssh.bash_path(root) + opt_rev(rev), ssh = ssh)
75 else clone_repository(source, root, options = "--noupdate", ssh = ssh)
87 def command(name: String, args: String = "", options: String = "",
93 " --noninteractive " + name + " " + options + " " + args
100 def archive(target: String, rev: String = "", options: String = ""): Unit =
101 hg.command("archive", opt_rev(rev) + " " + Bash.string(target), options).check
103 def heads(template: String = "{node|short}\n", options: String = ""): List[String] =
104 hg.command("heads", opt_template(template), options).check.out_lines
106 def identify(rev: String = "tip", options
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dbuild_vscode.scala20 def build_grammar(options: Options, progress: Progress = No_Progress)
23 val keywords = Sessions.base_info(options, logic).check_base.overall_syntax.keywords
68 val options = Options.init()
71 build_grammar(options, progress)
/seL4-l4v-master/isabelle/src/Pure/System/
H A Dgetopts.scala4 Support for command-line options as in GNU bash.
14 val options =
24 new Getopts(usage_text, options)
28 class Getopts private(usage_text: String, options: Map[Char, (Boolean, String => Unit)])
36 private def is_option(opt: Char): Boolean = options.isDefinedAt(opt)
37 private def is_option0(opt: Char): Boolean = is_option(opt) && !options(opt)._1
38 private def is_option1(opt: Char): Boolean = is_option(opt) && options(opt)._1
41 try { options(opt)._2.apply(opt_arg.mkString) }
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Dgetopts.scala4 Support for command-line options as in GNU bash.
14 val options =
24 new Getopts(usage_text, options)
28 class Getopts private(usage_text: String, options: Map[Char, (Boolean, String => Unit)])
36 private def is_option(opt: Char): Boolean = options.isDefinedAt(opt)
37 private def is_option0(opt: Char): Boolean = is_option(opt) && !options(opt)._1
38 private def is_option1(opt: Char): Boolean = is_option(opt) && options(opt)._1
41 try { options(opt)._2.apply(opt_arg.mkString) }

Completed in 196 milliseconds

1234567891011