CasoLineNode* Parser::CasoLine()
{
vector<ExpressionNode*> conditions=LiteralList();
if(currenttoken->type != Colon)
throw invalid_argument("Se esperaba :. Row:"+to_string(currenttoken->row)+"Column:"+to_string(currenttoken->column));
ConsumeToken();
vector<StatementNode*> code=InstructionList();
return new CasoLineNode(conditions,code);
}
// build literal list from a kernel literal list
// 28/09/2002 Manchester
LiteralList::LiteralList (const VampireKernel::Literal* literal,
const VampireKernel& kernel)
{
if (! literal) {
_data = 0;
return;
}
_data = new LstData<Literal> ( Literal (literal, kernel),
LiteralList (literal->next(), kernel) );
} // Literal::Literal (const VampireKernel::Literal* lit, ...)
