Class TimeOutputTool

source code

      object --+    
               |    
shell.tools.Tool --+
                   |
                  TimeOutputTool

Toggles full time output.

Instance Methods

[hide private]

run(self, args, state)
Main operation of tool, taking arguments in args and reading and potentially manipulating the shell state.

source code

Inherited from shell.tools.Tool: process_option_list

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __init__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __sizeof__, __str__, __subclasshook__

Class Variables

[hide private]

name = 'Time Output'
hash(x)

commands = ['timeoutput']

usage = ('timeoutput', 'toggle output of times associated with...

help = '\nToggles display of times in output. By default times...

Inherited from shell.tools.Tool: tool_options

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

run(self, args, state)

source code

Main operation of tool, taking arguments in args and reading and potentially manipulating the shell state.

By the time this is called, the options dict is available in self.options.

Overrides: shell.tools.Tool.run: (inherited documentation)

Class Variable Details

[hide private]

usage

Value:

('timeoutput',
 'toggle output of times associated with every semantic object, or jus
t tonal denotations.')

help

Value:

'''
Toggles display of times in output. By default times are only displaye
d 
alongside semantic literals, but times are stored for other items in 
the semantics. If time output is turned on, times will be displayed fo
r 
every semantic object that stores a time.

...