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.

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.