/// <summary>
///
/// </summary>
public Interpreter()
{
// initialize parser objects
scanner=new Scanner();
parser=new Parser(scanner);
//highlighter = new TextHighlighter(richTextBox, scanner, parser);
// read configuration file and item files now
readConfiguration();
Logger.DBLog.InfoFormat(" _______________________________________");
Logger.DBLog.InfoFormat(" ___-|: Darkfriend's Item Rules 2 :|-___");
Logger.DBLog.InfoFormat(" ___________________Rel.-v {0}_______", version);
}
public TextHighlighter(RichTextBox textbox, Scanner scanner, Parser parser)
{
Textbox = textbox;
Scanner = scanner;
Parser = parser;
ClearUndo();
//Tree = Parser.Parse(Textbox.Text);
Textbox.TextChanged += Textbox_TextChanged;
textbox.KeyDown += textbox_KeyDown;
Textbox.SelectionChanged += Textbox_SelectionChanged;
Textbox.Disposed += Textbox_Disposed;
SwitchContext = null;
currentContext = Tree;
threadAutoHighlight = new Thread(AutoHighlightStart);
threadAutoHighlight.Start();
}