cfg_generator.py 文件源码

def visit_Subscript(self, node):
        pp = ProgramPoint(node.lineno, node.col_offset)
        if isinstance(node.slice, ast.Index):
            return IndexStmt(pp, self._ensure_stmt_visit(node.value, pp), self._ensure_stmt_visit(node.slice.value, pp))
        elif isinstance(node.slice, ast.Slice):
            return SliceStmt(pp, self._ensure_stmt_visit(node.value, pp),
                             self._ensure_stmt_visit(node.slice.lower, pp),
                             self._ensure_stmt_visit(node.slice.step, pp) if node.slice.step else None,
                             self._ensure_stmt_visit(node.slice.upper, pp))
        else:
            raise NotImplementedError(f"The statement {str(type(node.slice))} is not yet translatable to CFG!")