Lines Matching defs:call
54 call = lhs_pars.Call()
58 call.filename = find_source(bits[1])
59 call.all_bits = 'all_bits' in bits
60 call.decls_only = 'decls_only' in bits
61 call.instanceproofs = 'instanceproofs' in bits
62 call.bodies_only = 'bodies_only' in bits
63 call.moduletranslations = dict([bit.split('=')
68 call.current_context.append(bits[n + 1])
73 call.restr = lambda x: x.defined in m
77 call.restr = lambda x: not x.defined in m
79 call.body = True
82 call.restr = lambda x: x.defined == fn
85 parsed = lhs_pars.parse(call)
90 bad_type_assignment |= call.bad_type_assignment