Searched refs:MiniCilParser (Results 1 – 3 of 3) sorted by relevance
33 from mini_parser import MiniCilParser68 top_map_cil = MiniCilParser(args.top_map)69 bottom_map_cil = MiniCilParser(args.bottom_map)
11 class MiniCilParser: class129 p = MiniCilParser(f)
386 mapping = mini_parser.MiniCilParser(options.mapping)387 pubpol = mini_parser.MiniCilParser(options.base_pub_policy)