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

Class DerivationTraceExplorerTool

source code

object --+    
         |    
      Tool --+
             |
            DerivationTraceExplorerTool

Shell tool for exploring large derivation traces in more detail.

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 Explorer'
hash(x)
  commands = ['derivex', 'de']
  usage = ('derivex <res>', 'explore derivation of numbered resu...
  help = '\nExplores the derivation trace of a particular 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]

usage

Value:
('derivex <res>', 'explore derivation of numbered result.')

help

Value:
'''
Explores the derivation trace of a particular result.

Unlike deriv, which shows the full derivation trace, this shows just 
one level at a time, from the top of the tree. It then recurses 
interactively.
'''