ProjectContext¶

class Cocotec.CocoPlatform.Coco.Ide.ProjectContext : public Cocotec.CocoPlatform.Coco.Context¶

A view onto a project’s contents at a particular moment in time.

Public Functions

Cocotec.CocoPlatform.Coco.Node NodeForTreeNode (Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode node)¶

Returns the AST node that corresponds to the ProjectTreeNode, if any.

Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode TreeNodeForAssertion (Cocotec.CocoPlatform.Coco.Counterexample counterexample)¶

Given the counterexample, computes the node that the counterexample corresponds to.

Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode TreeNodeForNode (Cocotec.CocoPlatform.Coco.Node node)¶

Given the declaration, attempts to computes the node corresponds to.

string VersionHash (Cocotec.CocoPlatform.Coco.Ide.ProjectTreeNode node)¶

Computes a hash to identify the version of that is loaded into this Isolate. The hash has no semantic meaning other than hash(n1) == hash(n2) implying that the underlying data is identical.

void StartCreateSimulator (Cocotec.CocoPlatform.Coco.Counterexample counterexample, Cocotec.CocoPlatform.Coco.BehaviouralInstance targetInstance)¶

Starts the process of creating a simulator for a counterexample of this ProjectCounterexample.

string ExecuteCoco1SyntaxTransform ()¶

Executes the Coco version 1 syntax transform.

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

The project this is a context for.