private AtomicSentence parseAtomicSentence()
{
Token t = lookAhead(1);
if (t.getType() == (int)LogicTokenTypes.TRUE)
{
return parseTrue();
}
else if (t.getType() == (int)LogicTokenTypes.FALSE)
{
return parseFalse();
}
else if (t.getType() == (int)LogicTokenTypes.SYMBOL)
{
return parseSymbol();
}
else
{
throw new ApplicationException(
"Error in parseAtomicSentence with Token " + lookAhead(1));
}
}