Esempio n. 1
0
        public MainForm()
        {
            InitializeComponent();

            OpenFileDialog openFileDialog = new OpenFileDialog();
            openFileDialog.Filter = "NxDSL files|*.nxdsl";
            openFileDialog.Title = "Load DSL File";

            if (DialogResult.OK == openFileDialog.ShowDialog(this)) {
                string dslFile = openFileDialog.FileName;
                string definitionFile = dslFile + ".defs";

                Definitions definitions = new Definitions(definitionFile);

                HtmlBuilderTokenSource hbts =
                            new HtmlBuilderTokenSource(
                                new InferenceRules_ENLexer(
                                    new ANTLRFileStream(dslFile)),
                                definitions);

                InferenceRules_ENParser ipr = new InferenceRules_ENParser(new CommonTokenStream(hbts));

                ipr.rbb = new RuleBaseBuilder(definitions);

                try {
                    ipr.rulebase();
                } catch(Exception re) {
                    hbts.PrependToHtml("<font color='#FF0000'><b>" + re.Message + "</b></font><br/><br/>");
                }

                this.Html = hbts.Html;
            } else {
                this.Html = "Next time, select a DSL file!";
            }
        }
Esempio n. 2
0
 public HtmlBuilderTokenSource(ITokenSource source, Definitions definitions)
 {
     this.source = source;
     this.definitions = definitions;
     this.htmlBuffer = new StringBuilder();
 }
Esempio n. 3
0
 public RuleBaseBuilder(Definitions definitions)
 {
     this.definitions = definitions;
     PurgeAccumulators();
 }
Esempio n. 4
0
 public RuleBaseBuilder(Definitions definitions)
 {
     this.definitions = definitions;
     PurgeAccumulators();
 }