parameters: (self, option)
docstring: Public interface into debugger options
docstring_summary: Public interface into debugger options
docstring_tokens: Public interface into debugger options
function: def get_option(self, option):
  		"""Public interface into debugger options
  		"""
  		try:
  			return self.options[option]
  		except KeyError:
  			raise error("Option %s is not a valid option" % option)
function_tokens: def get_option ( self , option ) : try : return self . options [ option ] except KeyError : raise error ( "Option %s is not a valid option" % option )