#NEWLINE# def lint( self , view_id , hit_time = None , callback = None ) : #NEWLINE# #INDENT# '\n        Lint the view with the given id.\n\n        This method is called asynchronously by queue.Daemon when a lint\n        request is pulled off the queue.\n\n        If provided, hit_time is the time at which the lint request was added\n        to the queue. It is used to determine if the view has been modified\n        since the lint request was queued. If so, the lint is aborted, since\n        another lint request is already in the queue.\n\n        callback is the method to call when the lint is finished. If not\n        provided, it defaults to highlight().\n\n        ' #NEWLINE# if ( ( hit_time is not None ) and ( persist . last_hit_times . get ( view_id , 0 ) > hit_time ) ) : #NEWLINE# #INDENT# return #NEWLINE# #UNINDENT# view = Linter . get_view ( view_id ) #NEWLINE# if ( view is None ) : #NEWLINE# #INDENT# return #NEWLINE# #UNINDENT# filename = view . file_name ( ) #NEWLINE# code = Linter . text ( view ) #NEWLINE# callback = ( callback or self . highlight ) #NEWLINE# Linter . lint_view ( view , filename , code , hit_time , callback )