cadical_parse.cpp File Reference

#include "global.h"
#include "internal.hpp"

Include dependency graph for cadical_parse.cpp:

Go to the source code of this file.

Namespaces
namespace	CaDiCaL

Macros
#define	PER(...)

Macro Definition Documentation

PER

#define PER

(

...

)

Value:

  do { \
    internal->error_message.init ( \
        "%s:%" PRIu64 ": parse error: ", file->name (), \
        (uint64_t) file->lineno ()); \
    return internal->error_message.append (__VA_ARGS__); \
  } while (0)

Definition at line 15 of file cadical_parse.cpp.

#define PER(...) \
  do { \
    internal->error_message.init ( \
        "%s:%" PRIu64 ": parse error: ", file->name (), \
        (uint64_t) file->lineno ()); \
    return internal->error_message.append (__VA_ARGS__); \
  } while (0)