Searched refs:section_type (Results 1 – 2 of 2) sorted by relevance
25 section_type = '.'.join(section_path.split('/'))26 return section_type38 def get_section_str(section_type, section_name): argument42 section_type = '/'.join(section_type.strip().split('.'))45 section_str = '[' + section_type
14 # [<section_type> "<section_name_identifier>"]