Searched refs:in_file (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/tools/
H A Dumm.py102 in_file = open(file, 'r')
104 lines = map(lambda x: x.rstrip(), in_file.readlines())
106 in_file.close()
H A Dbitfield_gen.py2577 in_file = sys.stdin variable
2609 in_file = open(in_filename) variable
2643 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)
/seL4-mcs-10.1.1/libsel4/tools/
H A Dbitfield_gen.py2577 in_file = sys.stdin variable
2609 in_file = open(in_filename) variable
2643 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2577 in_file = sys.stdin variable
2609 in_file = open(in_filename) variable
2643 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)

Completed in 37 milliseconds