common_finput.hh 1.95 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53
// -*- coding: utf-8 -*-
// Copyright (C) 2012 Laboratoire de Recherche et Développement de
// l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
//
// Spot is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
// License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Spot; see the file COPYING.  If not, write to the Free
// Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.

#ifndef SPOT_BIN_COMMON_FINPUT_HH
#define SPOT_BIN_COMMON_FINPUT_HH

#include "common_sys.hh"

#include <argp.h>
#include <vector>
#include "ltlparse/public.hh"

struct job
{
  const char* str;
  bool file_p;	// true if str is a filename, false if it is a formula

  job(const char* str, bool file_p)
    : str(str), file_p(file_p)
  {
  }
};

typedef std::vector<job> jobs_t;
extern jobs_t jobs;
extern bool lbt_input;

extern const struct argp finput_argp;

int parse_opt_finput(int key, char* arg, struct argp_state* state);

const spot::ltl::formula*
parse_formula(const std::string& s, spot::ltl::parse_error_list& error_list);


54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
class job_processor
{
public:
  virtual ~job_processor()
  {
  }

  virtual int
  process_formula(const spot::ltl::formula* f,
		  const char* filename = 0, int linenum = 0) = 0;

  virtual int
  process_string(const std::string& str,
		 const char* filename = 0, int linenum = 0);
  virtual int
  process_stream(std::istream& is, const char* filename);

  virtual int
  process_file(const char* filename);

  virtual int
  run();
};



80
#endif // SPOT_BIN_COMMON_FINPUT_HH