ProjectTreeNode

public class ProjectTreeNode

A single node in the tree of information about a project.

Fields

client

protected final APIClient client

handle

protected long handle

Constructors

ProjectTreeNode

protected ProjectTreeNode(APIClient client)

Internal constructor

Methods

children

public java.util.ArrayList<io.cocotec.coco.platform.coco.ide.ProjectTreeNode> children()

The children of this node. These should be displayed in exactly this order unless should_sort_children is true.

counterexamples

public io.cocotec.coco.platform.coco.ide.ProjectCounterexample counterexamples()

The counterexamples associated with the given ProjectTreeNode.

dynamicTooltip

public String dynamicTooltip()

A dynamically-updated tooltip that should be shown after tooltip(). Don’t cache.

equals

public boolean equals(Object other)

fromProtobuf

public static ProjectTreeNode fromProtobuf(APIClient client, Out.CocoIdeProjectTreeNode inputValue)

Internal constructor

getDisplayName

public final String getDisplayName()

A short human-readable description of this node.

getHandle

public final long getHandle()

getKind

public final io.cocotec.coco.platform.coco.ide.ProjectTreeNodeKind getKind()

The kind of element that this node represents.

getLoadingStatus

public final io.cocotec.coco.platform.coco.ide.LoadingStatus getLoadingStatus()

The outcome of the last load performed on this node.

getPosition

public final io.cocotec.coco.platform.coco.SourceRange getPosition()

A source code position that is relevant to this node.

getShouldSortChildren

public final io.cocotec.coco.platform.coco.ide.SortMode getShouldSortChildren()

How a GUI should sort the children of this node alphabetically.

getSortIndex

public final int getSortIndex()

If the parent’s SortMode is SortIndex, the index of this in the sort order.

getTooltip

public final String getTooltip()

A longer more elaborate description.

getUniqueId

public final long getUniqueId()

An integer that uniquely identifies this node.

getVerificationStatus

public final io.cocotec.coco.platform.coco.VerificationStatus getVerificationStatus()

The verification status of this node.

getVerificationStatusStale

public final boolean getVerificationStatusStale()

True if the verification_status does not reflect the current file. This could happen if a file is verified but then modified.

hashCode

public int hashCode()

parent

public io.cocotec.coco.platform.coco.ide.ProjectTreeNode parent()

project

public io.cocotec.coco.platform.coco.ide.Project project()

The project that contains this node.