Class TextExplorer

java.lang.Object

visualizer.TextExplorer

public class TextExplorer
extends Object

This class allows the manual exploration of trees. Either change the main method to select a different tree, or use a different file or jshell to access this class for the exploration of trees in the console.

Constructor Summary

Constructors

Constructor	Description
TextExplorer(GameTreeNode<?,?> root, int depth)

Method Summary

Modifier and Type	Method	Description
void	addMetrics(MetricKeeper... metrics)
String	currentToString()
void	depthCommand(String command)
void	diveCommand(String command)
void	exitCommand()
void	expandCommand(String command)
void	exportCommand(String command)
GameTreeNode<?,?>	getCurrent()
int	getIntFromSplit(String[] split)
MetricKeeper	getMetrics()
GameTreeNode<?,?>	getRoot()
boolean	hasAny(String main, String item1, String... items)
void	initializeTTX()
static void	main(String[] args)
void	metricCommand()
void	opt2Command()
void	optCommand()
void	pesCommand()
void	processCommand(String command)
void	rootCommand()
GameTreeNode<?,?>	selectNode(int index)
void	setDepth(int depth)
void	setMetrics(MetricKeeper m)
void	setTree(GameTreeNode<?,?> root)
void	start()
void	upCommand()

Methods inherited from class java.lang.Object

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

Constructor Details

TextExplorer

public TextExplorer(GameTreeNode<?,?> root,
 int depth)

Method Details

main

public static void main(String[] args)

setMetrics

public void setMetrics(MetricKeeper m)

getMetrics

public MetricKeeper getMetrics()

addMetrics

public void addMetrics(MetricKeeper... metrics)

setTree

public void setTree(GameTreeNode<?,?> root)

setDepth

public void setDepth(int depth)

getRoot

public GameTreeNode<?,?> getRoot()

getCurrent

public GameTreeNode<?,?> getCurrent()

start

public void start()

currentToString

public String currentToString()

processCommand

public void processCommand(String command)

exitCommand

public void exitCommand()

initializeTTX

public void initializeTTX()

exportCommand

public void exportCommand(String command)
                   throws IOException

Throws:

IOException

upCommand

public void upCommand()

rootCommand

public void rootCommand()

optCommand

public void optCommand()

opt2Command

public void opt2Command()

pesCommand

public void pesCommand()

metricCommand

public void metricCommand()

expandCommand

public void expandCommand(String command)

depthCommand

public void depthCommand(String command)

diveCommand

public void diveCommand(String command)

getIntFromSplit

public int getIntFromSplit(String[] split)

selectNode

public GameTreeNode<?,?> selectNode(int index)

hasAny

public boolean hasAny(String main,
 String item1,
 String... items)