abst_ext.hpp File Reference

Implements the Absent-extended values. More...

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

Go to the source code of this file.

Classes

class  ForSyDe::abst_ext< T >
 Absent-extended data types. More...
 

Namespaces

 ForSyDe
 The namespace for ForSyDe.
 

Macros

#define CHECK_PRESENCE(VAL)   if (is_absent(VAL)) SC_REPORT_ERROR(this->name(),"Unexpected absent value received in");
 Check for presence in run time. More...
 

Detailed Description

Implements the Absent-extended values.

Macro Definition Documentation

#define CHECK_PRESENCE (   VAL)    if (is_absent(VAL)) SC_REPORT_ERROR(this->name(),"Unexpected absent value received in");

Check for presence in run time.

This macro is used mainly in the strict version of synchronous processes to ensure that the received inputs are not absent.