def clear_doc()

in src/ext/guac.py [0:0]


    def clear_doc(self, docname):

        # Clear all cached data associated with the given document
        instruction_list = self.data['instruction']
        for inst, doc in list(instruction_list.items()):
            if doc == docname:
                del instruction_list[inst]