def _loadGrammarTools(originaldic): """Converts {"channelname","type"} into {"channelname",instance}""" from pydsl.Memory.Loader import load_grammar_tool result = {} for key in originaldic: result[key] = load_grammar_tool(str(originaldic[key])) return result
def _slice(maingt, inputdata): totallen = len(inputdata) from pydsl.Memory.Loader import load_grammar_tool currenttype = load_grammar_tool(CURRENTGRAMMAR) try: maxl = currenttype.maxsize except NotImplementedError: maxl = totallen try: minl = currenttype.minsize except NotImplementedError: minl = 1 maxwsize = maxl - minl + 1 result = [] for i in range(totallen): for j in range(i+minl, min(i+maxwsize+1, totallen+1)): check = maingt({"input":inputdata[i:j]})["output"] if check == "True": result.append((i,j, inputdata[i:j])) return result