Package jazzparser :: Package shell :: Module tools :: Class DerivationTraceTool
[hide private]
[frames] | no frames]

Class DerivationTraceTool

source code

object --+    
         |    
      Tool --+
             |
            DerivationTraceTool

Shell tool for outputing derivation traces.

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 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 = 'Derivation Trace'
hash(x)
  commands = ['deriv', 'd']
  usage = ('deriv <res>', 'show derivation of numbered result.')
  help = '\nShows a full derivation trace for a specific result....

Inherited from 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: Tool.run
(inherited documentation)

Class Variable Details [hide private]

help

Value:
'''
Shows a full derivation trace for a specific result.
This includes all possible derivations of the sign. In order to use th\
is,
the parser must have been run with the -d option, so that it stored 
the traces during parsing.
Specify the result by its enumeration in the result list.
'''