/seL4-camkes-master/projects/camkes-tool/examples/direct-ast-access/ |
H A D | example-import.py | 38 ast = camkes.parse_to_ast(s) 40 # At this point, ast contains a list of objects whose types are defined in 45 # you can use resolve_imports to inline and parse these into your ast. 46 ast, _ = camkes.resolve_imports(ast, curdir) 49 # as objects of type camkes.ast.Reference. For example, in the input in 55 ast = camkes.resolve_references(ast, False) 59 sys.stdout.write('Output:\n%s\n\n' % camkes.show(ast)) 63 sys.stdout.write('Pretty printed:\n%s\n\n' % camkes.pretty(camkes.show(ast))) [all...] |
/seL4-camkes-master/projects/camkes-tool/examples/traversal/ |
H A D | visit.py | 25 import camkes.ast as ast namespace 30 return ast.TRAVERSAL_RECURSE 33 if isinstance(node, ast.Method): 41 return ast.TRAVERSAL_RECURSE 42 elif isinstance(node, ast.Parameter) and state.get('infunction', False): 47 return ast.TRAVERSAL_CONTINUE 48 return ast.TRAVERSAL_RECURSE 51 if isinstance(node, ast.Method): 53 return ast [all...] |
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | camkes_lint.py | 23 import argparse, ast, codecs, sys namespace 35 st = ast.parse(f.read().encode('utf-8')) 40 for node in (x for x in ast.walk(st) if isinstance(x, ast.FunctionDef)): 47 if not isinstance(stmt, ast.Assert): 65 if isinstance(test, ast.BoolOp) and \ 66 isinstance(test.op, ast.Or) and \ 67 isinstance(test.values[0], ast.Compare) and \ 68 isinstance(test.values[0].left, ast.Name) and \ 70 isinstance(test.values[0].ops[0], ast [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Model/ |
H A D | AST_Model.py | 17 import camkes.ast namespace 54 ast, _read = camkes_parser.parse_file(path_to_camkes_file) 56 return ast 61 Find the instance (camkes.ast.Instance object) from list of instances give. 62 :param list_of_ast_items: list of camkes.ast.* objects 64 :return: camkes.ast.Instance object if found, None otherwise. 67 if not isinstance(instance_object, camkes.ast.Instance): 69 assert isinstance(instance_object, camkes.ast.Instance) 78 Find the component (camkes.ast.Component) from list of AST objects items give. 79 :param list_of_ast_items: list of camkes.ast [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage6.py | 26 from camkes.ast import Assembly, Component, Instance 48 ast, _ = self.parser.parse_string(''' 58 self.assertLen(ast.items, 2) 59 A, assembly = ast.items 65 ast, _ = self.parser.parse_string(''' 79 self.assertLen(ast.items, 2) 80 A, ass = ast.items 96 ast, _ = self.parser.parse_string(''' 114 self.assertLen(ast.items, 2) 115 A, ass = ast [all...] |
H A D | teststage7.py | 26 from camkes.ast import Assembly 50 ast, _ = self.parser.parse_string(''' 65 self.assertLen(ast.items, 3) 66 _, _, assembly = ast.items 72 ast, _ = self.parser.parse_string(''' 85 self.assertLen(ast.items, 3) 86 Foo, Bar, assembly = ast.items 97 ast, _ = self.parser.parse_string(''' 112 self.assertLen(ast.items, 4) 113 Foo, Bar, Baz, assembly = ast [all...] |
H A D | teststage10.py | 26 from camkes.ast import ASTError 57 ast, _ = self.parser.parse_string(''' 83 self.assertLen(ast.items, 5) 84 C, P, Foo, Baz, assembly = ast.items 93 ast, _ = self.parser.parse_string(''' 120 ast, _ = self.parser.parse_string(''' 157 ast, _ = self.parser.parse_string(''' 321 ast, _ = self.parser.parse_string(spec) 323 conf = ast.assembly.configuration
|
H A D | teststage5.py | 26 from camkes.ast import Component, Composition, Connection, ConnectionEnd, \ 48 ast, _ = self.parser.parse_string(''' 59 self.assertLen(ast.items, 3) 60 comp = ast.items[2] 74 ast, _ = self.parser.parse_string(''' 88 self.assertLen(ast.items, 2) 89 comp = ast.items[1] 111 ast, _ = self.parser.parse_string(''' 131 self.assertLen(ast.items, 4) 132 _, _, A, comp = ast [all...] |
H A D | teststage4.py | 26 from camkes.ast import Assembly, AttributeReference, Component, \ 54 ast, read = self.parser.parse_string('') 56 self.assertIsInstance(ast, LiftedAST) 57 self.assertLen(ast.items, 0) 61 ast, _ = self.parser.parse_string('component foo {}') 63 self.assertIsInstance(ast, LiftedAST) 64 self.assertLen(ast.items, 1) 65 component = ast.items[0] 71 ast, read = self.parser.parse_string('component Foo {}\n' 74 self.assertLen(ast [all...] |
H A D | teststage8.py | 51 ast, _ = self.parser.parse_string(''' 86 self.assertLen(ast.items, 6) 87 C, P, Foo, Bar, Baz, assembly = ast.items
|
H A D | teststage9.py | 27 from camkes.ast import ASTError
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage6.py | 27 from camkes.ast import Assembly, Composition, Configuration, Group, \ 54 def compose_assemblies(ast): 55 assembly = ast.assembly 61 for a in [x for x in ast.items if isinstance(x, Assembly) and 75 ast.filter(lambda x: not isinstance(x, Assembly) or x is assembly)
|
H A D | __main__.py | 21 from camkes.ast import ASTError 74 parser.add_argument('--save-ast', type=argparse.FileType('wb'), 100 ast, read = parse_file(filename, options) 109 pickle.dump(ast, options.save_ast)
|
H A D | stage1.py | 29 from camkes.ast import SourceLocation
|
H A D | stage5.py | 28 from camkes.ast import Composition, Group, Instance, Reference, TraversalAction
|
H A D | base.py | 20 from camkes.ast import LiftedAST
|
H A D | stage9.py | 32 from camkes.ast.objects import Connection, ConnectionEnd 51 # is a set of connections to remove from the ast, and
|
H A D | scope.py | 20 from camkes.ast import ASTObject, Instance, Reference, SimpleTraversalContext, Group, Instance
|
H A D | stage8.py | 26 from camkes.ast import AttributeReference
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/ |
H A D | testvisualcamkes.py | 28 graph.ast = ASTModel.get_ast(os.path.join(os.path.dirname(os.path.abspath(__file__)), "../../../../apps/simple/simple.camkes")) 30 print ASTModel.find_instance(graph.ast.assembly.instances, "echo") is not None
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
H A D | testobjects.py | 23 # Make camkes.ast importable 26 from camkes.ast.base import * 27 from camkes.ast.liftedast import * 28 from camkes.ast.objects import ASTObject 29 from camkes.ast.objects import *
|
H A D | testckeywords.py | 26 from camkes.ast.ckeywords import C_KEYWORDS
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | testmacros.py | 23 import ast, fnmatch, os, re, subprocess, sys, unittest namespace 80 node = ast.parse(source, filename=macrospy) 83 for i in ast.iter_child_nodes(node): 84 if isinstance(i, ast.FunctionDef):
|
/seL4-camkes-master/projects/camkes-tool/ |
H A D | alltests.py | 23 import camkes.ast namespace 36 TESTS = ['ast', 'internal', 'parser','runner','templates']
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 21 from camkes.ast import * 108 def ast(self): member in class:GraphWidget 111 @ast.setter 112 def ast(self, value): member in class:GraphWidget 188 # Get assembly from the ast 189 ast_assembly = self.ast.assembly 233 assert isinstance(self.ast.assembly, Assembly) 234 for connection in self.ast.assembly.connections: 263 :param instance: the model camkes.ast.Instance to sync from 340 :param connection: camkes.ast [all...] |