Searched refs:ast (Results 1 - 25 of 38) sorted by relevance

12

/seL4-camkes-master/projects/camkes-tool/examples/direct-ast-access/
H A Dexample-import.py38 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 Dvisit.py25 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 Dcamkes_lint.py23 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 DAST_Model.py17 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 Dteststage6.py26 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 Dteststage7.py26 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 Dteststage10.py26 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 Dteststage5.py26 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 Dteststage4.py26 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 Dteststage8.py51 ast, _ = self.parser.parse_string('''
86 self.assertLen(ast.items, 6)
87 C, P, Foo, Bar, Baz, assembly = ast.items
H A Dteststage9.py27 from camkes.ast import ASTError
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage6.py27 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__.py21 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 Dstage1.py29 from camkes.ast import SourceLocation
H A Dstage5.py28 from camkes.ast import Composition, Group, Instance, Reference, TraversalAction
H A Dbase.py20 from camkes.ast import LiftedAST
H A Dstage9.py32 from camkes.ast.objects import Connection, ConnectionEnd
51 # is a set of connections to remove from the ast, and
H A Dscope.py20 from camkes.ast import ASTObject, Instance, Reference, SimpleTraversalContext, Group, Instance
H A Dstage8.py26 from camkes.ast import AttributeReference
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/
H A Dtestvisualcamkes.py28 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 Dtestobjects.py23 # 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 Dtestckeywords.py26 from camkes.ast.ckeywords import C_KEYWORDS
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/
H A Dtestmacros.py23 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 Dalltests.py23 import camkes.ast namespace
36 TESTS = ['ast', 'internal', 'parser','runner','templates']
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py21 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...]

Completed in 200 milliseconds

12