Searched refs:self (Results 1 - 25 of 180) sorted by relevance

12345678

/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A DCounter.py27 def __init__(self):
28 self.value = 0
30 def set(self, value):
31 self.value = value
33 def __repr__(self):
34 return str(self.value)
36 def increment(self, offset=1):
37 self.value += offset
39 def decrement(self, offset=1):
40 self
[all...]
H A Dfrozendict.py27 def __init__(self, dictionary=None):
28 self._d = dictionary or {}
30 def __getitem__(self, key):
31 return self._d[key]
33 def __iter__(self):
34 return iter(self._d)
36 def __len__(self):
37 return len(self._d)
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py128 def __init__(self, name):
129 self.name = name
132 def get_size_bits(self):
135 def get_size(self):
136 return 1 << self.get_size_bits()
138 def is_container(self):
148 def __init__(self, name):
149 super(ContainerObject, self).__init__(name)
150 self.slots = {}
152 def is_container(self)
[all...]
H A DCap.py18 def __init__(self, referent, **kwargs):
20 self.referent = referent
21 self.read = False
22 self.write = False
23 self.grant = False
24 self.grantreply = False
25 self.guard = 0
26 self.guard_size = 0
27 self.badge = None
28 self
[all...]
/seL4-camkes-master/projects/musllibc/arch/i386/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) );
5 return self;
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) );
5 return self;
/seL4-camkes-master/projects/musllibc/arch/microblaze/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("ori %0, r21, 0" : "=r" (self) );
5 return self;
/seL4-camkes-master/projects/musllibc/arch/s390x/
H A Dpthread_arch.h3 struct pthread *self; local
8 : "=r"(self));
9 return self;
/seL4-camkes-master/projects/musllibc/arch/x86_64/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) );
5 return self;
/seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/
H A Dpthread_arch.h3 struct pthread *self; local
4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) );
5 return self;
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dlocation.py40 def __init__(self, filename, term, full_source):
42 self._filename = filename
43 self._lineno = None
44 self._min_col = None
45 self._max_col = None
46 self.term = term
47 self.full_source = full_source
50 self.precise = False
52 def _locate(self):
57 if plyplus.is_stree(self
[all...]
H A Dliftedast.py29 def __init__(self, items):
31 super(LiftedAST, self).__init__()
32 self._items = list(items or [])
33 self._assembly = None
34 self.claim_children()
37 def items(self):
38 return self._items
40 def items(self, value):
42 if self.frozen:
45 self
[all...]
H A Dbase.py34 def __init__(self, location=None):
36 self._frozen = False
37 self._location = location
38 self._parent = None
41 def frozen(self):
42 return self._frozen
44 def frozen(self, value):
46 if self._frozen and not value:
48 self._frozen = value
51 def location(self)
[all...]
/seL4-camkes-master/projects/musllibc/src/thread/
H A Dpthread_setspecific.c5 struct pthread *self = __pthread_self(); local
7 if (self->tsd[k] != x) {
8 self->tsd[k] = (void *)x;
9 self->tsd_used = 1;
H A Dtss_set.c6 struct pthread *self = __pthread_self(); local
8 if (self->tsd[k] != x) {
9 self->tsd[k] = x;
10 self->tsd_used = 1;
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage2.py32 def setUp(self):
33 super(TestStage2, self).setUp()
36 self.parser = Parse2(s1)
40 self.cpp_parser = Parse2(s1)
42 def test_empty_string(self):
43 content, read = self.parser.parse_string('')
45 self.assertEqual(content, [])
46 self.assertLen(read, 0)
48 def test_basic_entity(self):
49 content, read = self
[all...]
H A Dteststage3.py37 def setUp(self):
38 super(TestStage3, self).setUp()
42 self.parser = Parse3(s2, debug=True)
47 self.cpp_parser = Parse3(s2, debug=True)
49 def test_empty_string(self):
50 content, read = self.parser.parse_string('')
52 self.assertIsInstance(content, LiftedAST)
53 self.assertEqual(content.children, [])
54 self.assertLen(read, 0)
56 def test_basic_entity(self)
[all...]
H A Dtestreader.py30 def setUp(self):
31 super(TestReader, self).setUp()
32 self.reader = Reader()
34 def test_empty_string(self):
35 content, read = self.reader.parse_string('')
36 self.assertEqual(content, '')
37 self.assertLen(read, 0)
39 def test_basic_string(self):
40 content, read = self.reader.parse_string('hello world')
41 self
[all...]
H A Dteststage4.py38 def setUp(self):
39 super(TestStage4, self).setUp()
44 self.parser = Parse4(s3)
45 self.forward_parser = Parse4(s3, True)
51 self.cpp_parser = Parse4(s3)
53 def test_empty_string(self):
54 ast, read = self.parser.parse_string('')
56 self.assertIsInstance(ast, LiftedAST)
57 self.assertLen(ast.items, 0)
58 self
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DSave_Option_Dialog.py24 def picture_type(self):
29 return self.format_combobox.currentIndex()
32 def user_width(self):
39 return int(self.width_lineedit.text())
44 def user_height(self):
51 return int(self.height_lineedit.text())
56 def user_title(self):
62 return self.title_lineedit.text()
65 def user_description(self):
71 return self
[all...]
H A DConnection_Property_Widget.py27 def connection_widget(self):
28 assert self._connection_widget is not None
29 return self._connection_widget
32 def connection_widget(self, value):
34 self._connection_widget = value
39 def name_widget(self):
40 if self._name_widget is None:
41 self._name_widget = QtWidgets.QLabel(self.connection_widget.name)
42 return self
[all...]
/seL4-camkes-master/kernel/tools/hardware/
H A Dmemory.py16 def __init__(self, base: int, size: int, owner: 'WrappedNode'):
17 self.base = base
18 self.size = size
19 self.owner = owner
26 def __repr__(self):
27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size)
29 def __eq__(self, other):
30 return self.base == other.base and self
[all...]
H A Dfdt.py17 def __init__(self, dtb_file: IO[bytes]):
18 self.fdt = pyfdt.pyfdt.FdtBlobParse(dtb_file).to_fdt()
19 self.wrapped_root: WrappedNode
20 self.by_phandle: Dict[int, WrappedNode] = {}
21 self.by_path: Dict[str, WrappedNode] = {}
22 self.irq_controllers: Dict[int, IrqController] = {}
24 self._walk()
26 def _walk(self):
28 root = self.fdt.get_rootnode()
29 self
[all...]
H A Dconfig.py12 def __init__(self, addrspace_max):
13 self.addrspace_max = addrspace_max
15 def get_kernel_phys_align(self) -> int:
19 def get_bootloader_reserve(self) -> int:
24 def get_page_bits(self) -> int:
28 def get_device_page_bits(self) -> int:
30 return self.get_page_bits()
38 def get_kernel_phys_align(self) -> int:
40 return self.SUPERSECTION_BITS
48 def get_bootloader_reserve(self)
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/
H A Dgraph_controller.py38 def root_widget(self):
40 if self._root_widget is None:
41 self._root_widget = GraphWidget(self.property_dock_widget)
42 return self._root_widget
45 def root_widget(self, value):
47 self._root_widget = value
51 def open_action(self):
55 if self._open_action is None:
56 self
[all...]

Completed in 93 milliseconds

12345678