Searched refs:buffer (Results 1 - 25 of 152) sorted by relevance

1234567

/seL4-l4v-master/HOL4/tools/vim/
H A Dholabs.vim1 iab <buffer> /\ ���
3 iab <buffer> \/ ���
5 iab <buffer> ~ ��
8 iab <buffer> ==> ���
10 iab <buffer> <= ���
12 iab <buffer> >= ���
14 iab <buffer> <=> ���
16 iab <buffer> <> ���
18 iab <buffer> ! ���
20 iab <buffer>
[all...]
/seL4-l4v-master/seL4/include/64/mode/api/
H A Dipc_buffer.h12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument
14 return getSyscallArg(i, buffer);
17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
19 return setMR(thread, buffer, i, time);
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Disabelle_encoding.scala12 import org.gjt.sp.jedit.buffer.JEditBuffer
17 def is_active(buffer: JEditBuffer): Boolean =
18 buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle"
20 def perhaps_decode(buffer: JEditBuffer, s: String): String =
21 if (is_active(buffer)) Symbol.decode(s) else s
H A Dfold_handling.scala16 import org.gjt.sp.jedit.buffer.{JEditBuffer, FoldHandler}
31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0
35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] =
37 val structure = Token_Markup.Line_Context.after(buffer, line).structure
41 map(i => Token_Markup.Line_Context.after(buffer, i).structure).
62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
75 val range = JEdit_Lib.line_range(buffer, line - 1)
76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
H A Dtoken_markup.scala20 import org.gjt.sp.jedit.buffer.JEditBuffer
32 def before(buffer: JEditBuffer, line: Int): Line_Context =
33 if (line == 0) init(JEdit_Lib.buffer_mode(buffer))
34 else after(buffer, line - 1)
36 def after(buffer: JEditBuffer, line: Int): Line_Context =
38 val line_mgr = JEdit_Lib.buffer_line_manager(buffer)
45 buffer.markTokens(line, DummyTokenHandler.INSTANCE)
46 context getOrElse init(JEdit_Lib.buffer_mode(buffer))
71 private def try_line_tokens(syntax: Outer_Syntax, buffer: JEditBuffer, line: Int)
74 val line_context = Line_Context.before(buffer, lin
[all...]
H A Djedit_lib.scala22 import org.gjt.sp.jedit.buffer.{JEditBuffer, LineManager}
108 def buffer_text(buffer: JEditBuffer): String =
109 buffer_lock(buffer) { buffer.getText(0, buffer.getLength) }
111 def buffer_reader(buffer: JEditBuffer): CharSequenceReader =
112 Scan.char_reader(buffer.getSegment(0, buffer.getLength))
114 def buffer_mode(buffer: JEditBuffer): String =
116 val mode = buffer
[all...]
H A Djedit_resources.scala4 Resources for theories and auxiliary files, based on jEdit buffer
51 def node_name(buffer: Buffer): Document.Node.Name =
52 node_name(JEdit_Lib.buffer_name(buffer))
54 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] =
56 val name = node_name(buffer)
94 case Some(model: Buffer_Model) => Some(JEdit_Lib.buffer_text(model.buffer))
104 JEdit_Lib.buffer_lock(model.buffer) { Some(f(JEdit_Lib.buffer_reader(model.buffer))) }
119 private class File_Content_Output(buffer: Buffer) extends
120 ByteArrayOutputStream(buffer
[all...]
H A Disabelle.scala18 import org.gjt.sp.jedit.buffer.JEditBuffer
63 def buffer_syntax(buffer: JEditBuffer): Option[Outer_Syntax] =
64 if (buffer == null) None
66 (JEdit_Lib.buffer_mode(buffer), Document_Model.get(buffer)) match {
81 def buffer_token_marker(buffer: Buffer): Option[TokenMarker] =
83 val mode = JEdit_Lib.buffer_mode(buffer)
84 if (mode == "isabelle") Some(new Token_Markup.Marker(mode, Some(buffer)))
247 def indent_enabled(buffer: JEditBuffer, option: String): Boolean =
248 indent_rule(JEdit_Lib.buffer_mode(buffer))
[all...]
H A Dplugin.scala31 val buffer = JEdit_Lib.jedit_view(view).getBuffer
32 Document_Model.get(buffer).map(_.snapshot)
42 maybe_snapshot(view) getOrElse error("No document model for current buffer")
235 buffers.foreach(buffer =>
236 JEdit_Lib.buffer_lock(buffer) {
237 JEdit_Lib.jedit_text_areas(buffer).foreach(Document_View.exit)
238 Document_Model.exit(buffer)
249 buffer <- JEdit_Lib.jedit_buffers()
250 if buffer != null && !buffer
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Disabelle_encoding.scala12 import org.gjt.sp.jedit.buffer.JEditBuffer
17 def is_active(buffer: JEditBuffer): Boolean =
18 buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle"
20 def perhaps_decode(buffer: JEditBuffer, s: String): String =
21 if (is_active(buffer)) Symbol.decode(s) else s
H A Dfold_handling.scala16 import org.gjt.sp.jedit.buffer.{JEditBuffer, FoldHandler}
31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0
35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] =
37 val structure = Token_Markup.Line_Context.after(buffer, line).structure
41 map(i => Token_Markup.Line_Context.after(buffer, i).structure).
62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
75 val range = JEdit_Lib.line_range(buffer, line - 1)
76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
H A Dtoken_markup.scala20 import org.gjt.sp.jedit.buffer.JEditBuffer
32 def before(buffer: JEditBuffer, line: Int): Line_Context =
33 if (line == 0) init(JEdit_Lib.buffer_mode(buffer))
34 else after(buffer, line - 1)
36 def after(buffer: JEditBuffer, line: Int): Line_Context =
38 val line_mgr = JEdit_Lib.buffer_line_manager(buffer)
45 buffer.markTokens(line, DummyTokenHandler.INSTANCE)
46 context getOrElse init(JEdit_Lib.buffer_mode(buffer))
71 private def try_line_tokens(syntax: Outer_Syntax, buffer: JEditBuffer, line: Int)
74 val line_context = Line_Context.before(buffer, lin
[all...]
H A Djedit_lib.scala22 import org.gjt.sp.jedit.buffer.{JEditBuffer, LineManager}
108 def buffer_text(buffer: JEditBuffer): String =
109 buffer_lock(buffer) { buffer.getText(0, buffer.getLength) }
111 def buffer_reader(buffer: JEditBuffer): CharSequenceReader =
112 Scan.char_reader(buffer.getSegment(0, buffer.getLength))
114 def buffer_mode(buffer: JEditBuffer): String =
116 val mode = buffer
[all...]
H A Djedit_resources.scala4 Resources for theories and auxiliary files, based on jEdit buffer
51 def node_name(buffer: Buffer): Document.Node.Name =
52 node_name(JEdit_Lib.buffer_name(buffer))
54 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] =
56 val name = node_name(buffer)
94 case Some(model: Buffer_Model) => Some(JEdit_Lib.buffer_text(model.buffer))
104 JEdit_Lib.buffer_lock(model.buffer) { Some(f(JEdit_Lib.buffer_reader(model.buffer))) }
119 private class File_Content_Output(buffer: Buffer) extends
120 ByteArrayOutputStream(buffer
[all...]
H A Disabelle.scala18 import org.gjt.sp.jedit.buffer.JEditBuffer
63 def buffer_syntax(buffer: JEditBuffer): Option[Outer_Syntax] =
64 if (buffer == null) None
66 (JEdit_Lib.buffer_mode(buffer), Document_Model.get(buffer)) match {
81 def buffer_token_marker(buffer: Buffer): Option[TokenMarker] =
83 val mode = JEdit_Lib.buffer_mode(buffer)
84 if (mode == "isabelle") Some(new Token_Markup.Marker(mode, Some(buffer)))
247 def indent_enabled(buffer: JEditBuffer, option: String): Boolean =
248 indent_rule(JEdit_Lib.buffer_mode(buffer))
[all...]
H A Dplugin.scala31 val buffer = JEdit_Lib.jedit_view(view).getBuffer
32 Document_Model.get(buffer).map(_.snapshot)
42 maybe_snapshot(view) getOrElse error("No document model for current buffer")
235 buffers.foreach(buffer =>
236 JEdit_Lib.buffer_lock(buffer) {
237 JEdit_Lib.jedit_text_areas(buffer).foreach(Document_View.exit)
238 Document_Model.exit(buffer)
249 buffer <- JEdit_Lib.jedit_buffers()
250 if buffer != null && !buffer
[all...]
/seL4-l4v-master/seL4/include/32/mode/api/
H A Dipc_buffer.h13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument
15 return (((time_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer));
18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
20 setMR(thread, buffer, i, (uint32_t) time);
21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu));
/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_utilisation.c16 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local
33 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */
34 buffer[BENCHMARK_TCB_NUMBER_SCHEDULES] = tcb->benchmark.number_schedules; /* Number of times scheduled */
35 buffer[BENCHMARK_TCB_KERNEL_UTILISATION] = tcb->benchmark.kernel_utilisation; /* Utilisation spent in kernel */
36 buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of kernel entries */
39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE(
42 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread,
45 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION];
48 buffer[BENCHMARK_IDLE_NUMBER_SCHEDULE
[all...]
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp49 wchar_t buffer[ASCII_SEQ_MAX + 1]; local
55 buffer[index++] = c;
57 if ((index == 1 && buffer[0] != '\\') ||
58 (index == 2 && buffer[1] != '<') ||
59 (index == 3 && buffer[2] == '^')) {
60 /* Dump the buffer. */
61 buffer[index] = '\0';
62 out << buffer; local
64 } else if (buffer[index - 1] == '>') {
65 buffer[inde
82 out << buffer; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dinterrupt.c23 word_t *buffer)
37 word_t irq_w = getSyscallArg(0, buffer);
39 bool_t trigger = !!getSyscallArg(1, buffer);
40 word_t index = getSyscallArg(2, buffer);
41 word_t depth = getSyscallArg(3, buffer);
65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
74 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq));
82 word_t irq_w = getSyscallArg(0, buffer);
83 bool_t trigger = !!getSyscallArg(1, buffer);
84 word_t index = getSyscallArg(2, buffer);
21 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c35 word_t *buffer)
49 word_t irq_w = getSyscallArg(0, buffer);
51 bool_t trigger = !!getSyscallArg(1, buffer);
52 word_t index = getSyscallArg(2, buffer);
53 word_t depth = getSyscallArg(3, buffer);
71 getExtraCPtr(buffer, 0), (int)irq);
80 getExtraCPtr(buffer, 0), (int)irq);
33 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
/seL4-l4v-master/seL4/include/object/
H A Dschedcontrol.h14 word_t *buffer);
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dinterrupt.h22 word_t *buffer);
/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Diospace.h17 word_t *buffer);
19 word_t *buffer);
35 extra_caps_t excaps, word_t *buffer)
41 extra_caps_t excaps, word_t *buffer)
34 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
40 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
H A Dsmmu.h19 bool_t call, word_t *buffer);
23 bool_t call, word_t *buffer);
27 bool_t call, word_t *buffer);
31 bool_t call, word_t *buffer);

Completed in 283 milliseconds

1234567