public PEParser()
{
lookAheadBuffer = new Token[_lookAhead];
}
protected bool isEndOfInput(Token t)
{
return (t.getType() == (int)LogicTokenTypes.EOI);
}
private bool notToken(Token t)
{
if ((t.getType() == (int)LogicTokenTypes.CONNECTOR)
&& (t.getText().Equals("NOT")))
{
return true;
}
else
{
return false;
}
}
private bool predicate(Token t)
{
if ((t.getType() == (int)LogicTokenTypes.PREDICATE))
{
return true;
}
else
{
return false;
}
}
private bool term(Token t)
{
if ((t.getType() == (int)LogicTokenTypes.FUNCTION)
|| (t.getType() == (int)LogicTokenTypes.CONSTANT)
|| (t.getType() == (int)LogicTokenTypes.VARIABLE))
{
return true;
}
else
{
return false;
}
}
private bool lParen(Token t)
{
if (t.getType() == (int)LogicTokenTypes.LPAREN)
{
return true;
}
else
{
return false;
}
}
private bool binaryConnector(Token t)
{
if ((t.getType() == (int)LogicTokenTypes.CONNECTOR)
&& (!(t.getText().Equals("NOT"))))
{
return true;
}
else
{
return false;
}
}