/seL4-l4v-master/l4v/misc/filemerge/faster/ |
H A D | translate.cpp | 105 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 D | make_tables.py | 23 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 D | gen_isabelle_root.py | 40 (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 D | jedit_sessions.scala | 5 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 D | isabelle_options.scala | 4 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 D | jedit_sessions.scala | 5 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 D | isabelle_options.scala | 4 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 D | arm_stepLib.sig | 7 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 D | isabelle_devel.scala | 38 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 D | build_doc.scala | 18 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 D | isabelle_devel.scala | 38 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 D | build_doc.scala | 18 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 D | holindexData.sml | 16 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 D | ml_console.scala | 22 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 D | ml_console.scala | 22 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 D | GetOpt.sig | 15 * 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 D | GetOpt.sig | 18 * 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 D | xz.scala | 15 /* options */ 19 def options(preset: Int = 3): Options =
|
H A D | mercurial.scala | 68 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 D | build_vscode.scala | 20 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 D | xz.scala | 15 /* options */ 19 def options(preset: Int = 3): Options =
|
H A D | mercurial.scala | 68 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 D | build_vscode.scala | 20 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 D | getopts.scala | 4 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 D | getopts.scala | 4 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) }
|