Searched refs:Parameter (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | __init__.py | 25 Method, Mutex, Parameter, Procedure, Provides, Reference, Semaphore, \ 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 873 all(isinstance(x, Parameter) for x in p)) 943 class Parameter(ASTObject): class in inherits:ASTObject 945 super(Parameter, self).__init__(location) 957 super(Parameter, self).freeze()
|
/seL4-camkes-master/projects/camkes-tool/examples/traversal/ |
H A D | visit.py | 42 elif isinstance(node, ast.Parameter) and state.get('infunction', False): 56 if not isinstance(node, ast.Parameter) and not isinstance(node, ast.Type): 64 elif isinstance(node, ast.Parameter) or isinstance(node, ast.Type) and state['infunction'] is not None:
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 22 from camkes.ast import Composition, Instance, Parameter, Struct namespace 379 assert isinstance(t, (Parameter,) + six.string_types) 381 if isinstance(t, Parameter):
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 214 class Parameter(object): class in inherits:object 887 input_params = [Parameter("_service", type_names[interface_name])] 906 input_params.append(Parameter(param_name, param_type)) 908 output_params.append(Parameter(param_name, param_type))
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 214 class Parameter(object): class in inherits:object 887 input_params = [Parameter("_service", type_names[interface_name])] 906 input_params.append(Parameter(param_name, param_type)) 908 output_params.append(Parameter(param_name, param_type))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 31 LiftedAST, Method, Mutex, normalise_type, Parameter, Procedure, Provides, \ 155 return Parameter(scalar_parameter.name, scalar_parameter.direction, 669 return Parameter(id, direction, type, location=location) 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
Completed in 87 milliseconds