private void ResultButton_Click(object sender, RoutedEventArgs e)
{
string query = QueryTextBox.Text;
PqlLexer lexer = new PqlLexer(query);
PqlParser parser = new PqlParser(lexer);
PqlAst pqlAst = parser.Parse();
PqlEvaluator pqlEvaluator = new PqlEvaluator(PKB, pqlAst);
PqlOutput pqlOutput = pqlEvaluator.Evaluate();
ResultTextBox.Text = pqlOutput.ToString();
}
private void ProcessSelect()
{
PqlSelect select = QueryTree as PqlSelect;
ProcessDeclarations(select.Declarations);
ProcessTypes();
bindingsManager = new BindingsManager();
foreach (PqlWith with in select.WithClauses)
{
ProcessWith(with);
}
foreach (PqlPatternCond patternCond in select.PatternClauses)
{
ProcessPattern(patternCond);
}
foreach (PqlSuchThat suchThat in select.SuchThatClauses)
{
ProcessSuchThat(suchThat);
}
Output = ProcessResult(select.Result);
}
static void Main(string[] args)
{
if (args.Length < 1)
{
Console.Error.WriteLine("# No arguments found");
return;
}
if (!File.Exists(args[0]))
{
Console.Error.WriteLine($"# Passed file not exists: {args[0]}");
return;
}
string programCode;
IProgramKnowledgeBase PKB;
PKB = ImplementationFactory.CreateProgramKnowledgeBase();
try
{
programCode = File.ReadAllText(args[0]);
}
catch (Exception)
{
Console.Error.WriteLine($"# Error during reading file: {args[0]}");
return;
}
try
{
PKB.LoadData(programCode);
}
catch (LexerException e)
{
Console.Error.WriteLine($"# Error during parsing: {args[0]} in line: {e.Line}/ row: {e.Row} msg: {e.Message}");
return;
}
catch (TreeBuildingException e)
{
Console.Error.WriteLine($"# Error during tree building: {args[0]} in line: {e.Line}/ row: {e.Row} msg: {e.Message}");
return;
}
catch (ParserException e)
{
Console.Error.WriteLine($"# Error during processing: {args[0]} in line: {e.Line}/ row: {e.Row} msg: {e.Message}");
return;
}
catch (Exception e)
{
Console.Error.WriteLine($"# Unhandled error during PKB building: {e.Message}");
return;
}
Console.WriteLine("READY");
while (true)
{
var declarations = Console.ReadLine();
var query = Console.ReadLine();
var sqlStatement = declarations + " " + query;
try
{
PqlLexer lexer = new PqlLexer(sqlStatement);
PqlParser parser = new PqlParser(lexer);
PqlAst pqlAst = parser.Parse();
PqlEvaluator pqlEvaluator = new PqlEvaluator(PKB, pqlAst);
PqlOutput pqlOutput = pqlEvaluator.Evaluate();
Console.WriteLine(pqlOutput.ToString(forConsole: true));
}
catch (Exception e)
{
Console.Error.WriteLine($"#{e.Message}");
}
}
}