ShadowProjectTree.Node¶

public static class Node extends NodeData¶: An individual node in the shadow tree

Methods¶

counterexamples¶

public ProjectCounterexample counterexamples()¶: Computes the counterexamples to any failing assertions within this tree

getASTNode¶

public io.cocotec.coco.platform.coco.Node getASTNode(ProjectContext context)¶

getChild¶

public Node getChild(int index)¶

getChildren¶

public Object[] getChildren()¶: The children of this node

getDynamicTooltip¶

public String getDynamicTooltip()¶

Retrieves an additional tooltip, if one is available. This should be printed after getTooltip().

This is more expensive as it requires a round-trip to the server, so it should be used lazily.

getParent¶

public Node getParent()¶: The parent node of this

getProject¶

public Project getProject()¶: The project this node lies within

parentIndex¶

public int parentIndex()¶: The index of this node in its parent’s children

startCreateSimulator¶

public void startCreateSimulator()¶: Starts creation of a simulator for this node

startVerification¶

public void startVerification()¶: Starts verification on this node and contained items

startVerification¶

public void startVerification(boolean ignoreCache)¶: Starts verification on this node and contained items

versionHash¶

public String versionHash(ProjectContext context)¶