ProjectTreeNode¶

class Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode¶

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

Public Functions

override bool Equals (object other)¶

override int GetHashCode ()¶

Cocotec.CocoPlatform.Coco.Ide.Project Project ()¶

The project that contains this node.

Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode Parent ()¶

List<Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode> Children ()¶

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

Cocotec.CocoPlatform.Coco.Ide.ProjectCounterexample Counterexamples ()¶

The counterexamples associated with the given ProjectTreeNode.

Properties

long UniqueId { }¶

An integer that uniquely identifies this node.

Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNodeKind Kind { }¶

The kind of element that this node represents.

string DisplayName { }¶

A short human-readable description of this node.

string Tooltip { }¶

A longer more elaborate description.

Cocotec.CocoPlatform.Coco.SourceRange Position { }¶

A source code position that is relevant to this node.

Cocotec.CocoPlatform.Coco.Ide.LoadingStatus LoadingStatus { }¶

The outcome of the last load performed on this node.

Cocotec.CocoPlatform.Coco.Ide.SortMode ShouldSortChildren { }¶

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

int SortIndex { }¶

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

Cocotec.CocoPlatform.Coco.VerificationStatus VerificationStatus { }¶

The verification status of this node.

bool VerificationStatusStale { }¶

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