nl.cwi.sen1.visbase.factbrowser
Class FBITBTest.FBMPTool

java.lang.Object
  toolbus.adapter.AbstractTool
      nl.cwi.sen1.tunit.ToolComValidator
          nl.cwi.sen1.visbase.factbrowser.FBITBTest.FBMPTool

All Implemented Interfaces:

java.lang.Runnable, toolbus.IOperations

Enclosing class:

FBITBTest

public static class FBITBTest.FBMPTool
extends nl.cwi.sen1.tunit.ToolComValidator

Field Summary

private static aterm.pure.PureFactory	factory
private nl.cwi.sen1.tunit.TUnitTestCase	testCase

Fields inherited from class toolbus.adapter.AbstractTool

DIRECTTOOL, REMOTETOOL, termFactory, toolBridge

Fields inherited from interface toolbus.IOperations

ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE

Constructor Summary

FBITBTest.FBMPTool(nl.cwi.sen1.tunit.TUnitTestCase testCase, java.lang.String name, boolean verbose)

Method Summary

private void	loadRStore()
void	run()
private void	selectFacts()
private void	selectVisualization()
private void	unloadRStore()

Methods inherited from class nl.cwi.sen1.tunit.ToolComValidator

connect, connect, connectDirectly, disconnect, expectAction, expectAction, receiveAckEvent, receiveTerminate, registerForDo, registerForEval, sendEvent, sendEvent, sendRequest, sendRequest, waitForCompletion, waitForCompletion

Methods inherited from class toolbus.adapter.AbstractTool

disconnect, getFactory, getToolBridge, pack, sendRequest, setToolBridge, terminate, unpack

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

factory

private static aterm.pure.PureFactory factory

testCase

private final nl.cwi.sen1.tunit.TUnitTestCase testCase

Constructor Detail

FBITBTest.FBMPTool

public FBITBTest.FBMPTool(nl.cwi.sen1.tunit.TUnitTestCase testCase,
                          java.lang.String name,
                          boolean verbose)

Method Detail

run

public void run()

loadRStore

private void loadRStore()

selectFacts

private void selectFacts()

selectVisualization

private void selectVisualization()

unloadRStore

private void unloadRStore()