Python Location.Location Examples

Example #1

File: event_notification_test.py Project: CorinnaBuerger/dotfiles

 def DiagnosticResponse( *args ):
   start = Location( 2, 2, 'TEST_BUFFER' )
   end = Location( 2, 4, 'TEST_BUFFER' )
   extent = Range( start, end )
   diagnostic = Diagnostic( [], start, extent, 'cast', 'WARNING' )
   return [ BuildDiagnosticData( diagnostic ) ]

Example #2

File: event_notification_test.py Project: CorinnaBuerger/dotfiles

 def DiagnosticResponse( *args ):
   start = Location( 1, 2, 'TEST_BUFFER' )
   end = Location( 1, 4, 'TEST_BUFFER' )
   extent = Range( start, end )
   diagnostic = Diagnostic( [], start, extent, 'expected ;', 'ERROR' )
   return [ BuildDiagnosticData( diagnostic ) ]