equal
deleted
inserted
replaced
191 section_name = words[1] |
191 section_name = words[1] |
192 else: |
192 else: |
193 section_name = fields[0] |
193 section_name = fields[0] |
194 Current_section = {"name": section_name, "list": []} |
194 Current_section = {"name": section_name, "list": []} |
195 Standard_Functions_Decl.append(Current_section) |
195 Standard_Functions_Decl.append(Current_section) |
196 Function_decl_list = [] |
|
197 if Current_section: |
196 if Current_section: |
198 Function_decl = dict([(champ, val) for champ, val in zip(fonctions, fields[1:]) if champ]) |
197 Function_decl = dict([(champ, val) for champ, val in zip(fonctions, fields[1:]) if champ]) |
199 baseinputnumber = int(Function_decl.get("baseinputnumber", 1)) |
198 baseinputnumber = int(Function_decl.get("baseinputnumber", 1)) |
200 Function_decl["baseinputnumber"] = baseinputnumber |
199 Function_decl["baseinputnumber"] = baseinputnumber |
201 for param, value in Function_decl.iteritems(): |
200 for param, value in Function_decl.iteritems(): |