Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

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

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