Example #1
0
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);
}
Example #2
0
// 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, ...)