C# Class clafer.org.ir.ClaferIR.ClaferToXML

The class provides functions to convert the text clafer model to Clafer IR XML . The clafer.exe compiler is used for the conversion.
Show file Open project: gsdlab/Clafer-IR-API

Public Methods

Method Description
loadFromCfr ( string claferFile ) : Module

Loads a module containing xml from a clafer model file
readIRXml ( string clafer ) : string

The function uses the clafer compiler to get the clafer IR for the input text clafer model.

Private Methods

Method Description
ErrorHandler ( object sendingProcess, DataReceivedEventArgs errLine ) : void

handles errors from the clafer2xml tool

Method Details

loadFromCfr() public static method

Loads a module containing xml from a clafer model file
public static loadFromCfr ( string claferFile ) : Module
claferFile string the name of the .cfr file
return System.Reflection.Module

readIRXml() public static method

The function uses the clafer compiler to get the clafer IR for the input text clafer model.
public static readIRXml ( string clafer ) : string
clafer string text of the clafer model
return string