public override AuthoringScope ParseSource(ParseRequest req) { Core.FStarParser parser = new Core.FStarParser(); var result = new TestAuthoringScope(); var tokens = new List <TokenInfo>(); if (req.Sink.BraceMatching || ParseReason.MatchBraces == req.Reason || ParseReason.HighlightBraces == req.Reason) { var scanner = GetScanner(null); scanner.SetSource(req.Text, 0); var line = 0; var col = 0; req.View.GetCaretPos(out line, out col); (scanner as VisualFStar.Core.FStarScanner).MatchPair(req.Sink, req.Text, line, col); } else { parser.Parse(req); } if (ParseReason.Check == req.Reason) { Console.WriteLine("!!!!"); } return(result); }
public override AuthoringScope ParseSource(ParseRequest req) { Core.FStarParser parser = new Core.FStarParser(); var result = new TestAuthoringScope(); var tokens = new List<TokenInfo>(); if (req.Sink.BraceMatching || ParseReason.MatchBraces == req.Reason || ParseReason.HighlightBraces == req.Reason) { var scanner = GetScanner(null); scanner.SetSource(req.Text, 0); var line = 0; var col = 0; req.View.GetCaretPos(out line, out col); (scanner as VisualFStar.Core.FStarScanner).MatchPair(req.Sink, req.Text, line, col); } else parser.Parse(req); if (ParseReason.Check == req.Reason) { Console.WriteLine("!!!!"); } return result; }