Envision
A visual programming IDE for object-oriented languages
List of all members | Static Public Member Functions
Alloy::AlloyExporter Class Reference

The AlloyExporter class saves the generated Alloy code to disk. More...

Static Public Member Functions

static void exportTree (Model::Node *aNode, const QString &path)
 

Detailed Description

The AlloyExporter class saves the generated Alloy code to disk.

It also defines some layout rules used in the export.

Member Function Documentation

◆ exportTree()

void Alloy::AlloyExporter::exportTree ( Model::Node aNode,
const QString &  path 
)
static