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, ...)