contract.hpp File Reference

#include "global.h"

Include dependency graph for contract.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	REQUIRE(...)
#define	REQUIRE_INITIALIZED()
#define	REQUIRE_VALID_STATE()
#define	REQUIRE_READY_STATE()
#define	REQUIRE_VALID_OR_SOLVING_STATE()
#define	REQUIRE_VALID_LIT(...)
#define	REQUIRE_STEADY_STATE()

Macro Definition Documentation

REQUIRE

#define REQUIRE

(

...

)

Value:

  do { \
  } while (0)

Definition at line 114 of file contract.hpp.

#define REQUIRE(...) \
  do { \
  } while (0)

REQUIRE_INITIALIZED

#define REQUIRE_INITIALIZED

(

)

Value:

  do { \
  } while (0)

Definition at line 117 of file contract.hpp.

#define REQUIRE_INITIALIZED() \
  do { \
  } while (0)

REQUIRE_READY_STATE

#define REQUIRE_READY_STATE

(

)

Value:

  do { \
  } while (0)

Definition at line 123 of file contract.hpp.

#define REQUIRE_READY_STATE() \
  do { \
  } while (0)

REQUIRE_STEADY_STATE

#define REQUIRE_STEADY_STATE

(

)

Value:

  do { \
  } while (0)

Definition at line 132 of file contract.hpp.

#define REQUIRE_STEADY_STATE() \
  do { \
  } while (0)

REQUIRE_VALID_LIT

#define REQUIRE_VALID_LIT

(

...

)

Value:

  do { \
  } while (0)

Definition at line 129 of file contract.hpp.

#define REQUIRE_VALID_LIT(...) \
  do { \
  } while (0)

REQUIRE_VALID_OR_SOLVING_STATE

#define REQUIRE_VALID_OR_SOLVING_STATE

(

)

Value:

  do { \
  } while (0)

Definition at line 126 of file contract.hpp.

#define REQUIRE_VALID_OR_SOLVING_STATE() \
  do { \
  } while (0)

REQUIRE_VALID_STATE

#define REQUIRE_VALID_STATE

(

)

Value:

  do { \
  } while (0)

Definition at line 120 of file contract.hpp.

#define REQUIRE_VALID_STATE() \
  do { \
  } while (0)