Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members  

scv_expression Class Reference

#include <scv_expression.h>

Inheritance diagram for scv_expression:

Inheritance graph
[legend]
Collaboration diagram for scv_expression:

Collaboration graph
[legend]
List of all members.

Public Types

enum  operatorT {
  EMPTY, EXTENSION, INT_CONSTANT, BOOLEAN_CONSTANT,
  UNSIGNED_CONSTANT, DOUBLE_CONSTANT, SC_BIGINT_CONSTANT, SC_BIGUINT_CONSTANT,
  SC_BV_CONSTANT, STRING_CONSTANT, SC_STRING_CONSTANT, SC_SIGNAL,
  EQUAL, NOT_EQUAL, GREATER_THAN, LESS_THAN,
  GREATER_OR_EQUAL, LESS_OR_EQUAL, AND, OR,
  NOT, PLUS, MINUS, MULTIPLY
}

Public Methods

 scv_expression (scv_expression_core_base *core=NULL)
 scv_expression (const scv_expression &rhs)
 scv_expression (bool b)
 scv_expression (int i)
 scv_expression (long long i)
 scv_expression (unsigned u)
 scv_expression (unsigned long long i)
 scv_expression (double d)
 scv_expression (string)
 scv_expression (sc_string)
virtual ~scv_expression ()
scv_expression & operator= (bool)
scv_expression & operator &= (const scv_expression &e)
bool evaluate (void) const
long long get_int_value (void) const
bool get_bool_value (void) const
unsigned long long get_unsigned_value (void) const
double get_double_value (void) const
int get_bit_width (void) const
scv_extensions_ifget_extension (void) const
sc_interfaceget_signal (void) const
void get_extension_list (list< scv_extensions_if * > &ext_list)
void get_signal_list (list< sc_interface * > &sig_list)
void get_value (bool &) const
void get_value (char &) const
void get_value (short &) const
void get_value (unsigned short &) const
void get_value (int &) const
void get_value (unsigned int &) const
void get_value (long &) const
void get_value (unsigned long &) const
void get_value (long long &) const
void get_value (unsigned long long &) const
void get_value (float &) const
void get_value (double &) const
void get_value (string &) const
void get_value (sc_string &) const
void get_value (sc_bv_base &) const
void get_value (sc_lv_base &) const
const scv_expression & get_left (void) const
const scv_expression & get_right (void) const
scv_expression::operatorT get_operator (void) const
const char * get_expression_string (void) const
const char * get_name () const
const char * kind () const
void print (ostream &o=scv_out, int details=0, int indent=0) const
void show (int details=0, int indent=0) const

Static Public Methods

template<int W> scv_expression create_constant (const sc_int< W > &v)
template<int W> scv_expression create_constant (const sc_uint< W > &v)
template<int W> scv_expression create_constant (const sc_bigint< W > &v)
template<int W> scv_expression create_constant (const sc_biguint< W > &v)
template<int W> scv_expression create_constant (const sc_bv< W > &v)
template<class T> scv_expression create_reference (sc_signal_in_if< T > &s)
int get_debug ()
void set_debug (int i)
template<class T> scv_expression create (sc_signal_in_if< T > &s)

Friends

scv_expression operator== (const scv_expression &a, const scv_expression &b)
scv_expression operator!= (const scv_expression &a, const scv_expression &b)
scv_expression operator> (const scv_expression &a, const scv_expression &b)
scv_expression operator< (const scv_expression &a, const scv_expression &b)
scv_expression operator>= (const scv_expression &a, const scv_expression &b)
scv_expression operator<= (const scv_expression &a, const scv_expression &b)
scv_expression operator && (const scv_expression &a, const scv_expression &b)
scv_expression operator|| (const scv_expression &a, const scv_expression &b)
scv_expression operator! (const scv_expression &a)
scv_expression operator+ (const scv_expression &a, const scv_expression &b)
scv_expression operator- (const scv_expression &a, const scv_expression &b)
scv_expression operator * (const scv_expression &a, const scv_expression &b)
void _scv_update_signal_value (const scv_expression &e)

Member Enumeration Documentation

enum scv_expression::operatorT
 

Enumeration values:
EMPTY 
EXTENSION 
INT_CONSTANT 
BOOLEAN_CONSTANT 
UNSIGNED_CONSTANT 
DOUBLE_CONSTANT 
SC_BIGINT_CONSTANT 
SC_BIGUINT_CONSTANT 
SC_BV_CONSTANT 
STRING_CONSTANT 
SC_STRING_CONSTANT 
SC_SIGNAL 
EQUAL 
NOT_EQUAL 
GREATER_THAN 
LESS_THAN 
GREATER_OR_EQUAL 
LESS_OR_EQUAL 
AND 
OR 
NOT 
PLUS 
MINUS 
MULTIPLY 

Definition at line 64 of file scv_expression.h.

Referenced by scv_expression_core::scv_expression_core().


Constructor & Destructor Documentation

scv_expression::scv_expression scv_expression_core_base   core = NULL
 

Definition at line 51 of file scv_expression.cpp.

Referenced by operator=().

scv_expression::scv_expression const scv_expression &    rhs
 

Definition at line 53 of file scv_expression.cpp.

scv_expression::scv_expression bool    b
 

Definition at line 59 of file scv_expression.cpp.

scv_expression::scv_expression int    i
 

Definition at line 55 of file scv_expression.cpp.

scv_expression::scv_expression long long    i
 

Definition at line 57 of file scv_expression.cpp.

scv_expression::scv_expression unsigned    u
 

Definition at line 61 of file scv_expression.cpp.

scv_expression::scv_expression unsigned long long    i
 

Definition at line 63 of file scv_expression.cpp.

scv_expression::scv_expression double    d
 

Definition at line 65 of file scv_expression.cpp.

scv_expression::scv_expression string   
 

Definition at line 69 of file scv_expression.cpp.

References s.

scv_expression::scv_expression sc_string   
 

Definition at line 67 of file scv_expression.cpp.

References s.

scv_expression::~scv_expression   [virtual]
 

Definition at line 71 of file scv_expression.cpp.


Member Function Documentation

template<class T>
scv_expression scv_expression::create sc_signal_in_if< T > &    s [inline, static]
 

Definition at line 198 of file scv_expression.h.

References _scv_create_expression(), and s.

template<int W>
scv_expression scv_expression::create_constant const sc_bv< W > &    v [inline, static]
 

Definition at line 118 of file scv_expression.h.

References _scv_create_expression().

template<int W>
scv_expression scv_expression::create_constant const sc_biguint< W > &    v [inline, static]
 

Definition at line 114 of file scv_expression.h.

References _scv_create_expression().

template<int W>
scv_expression scv_expression::create_constant const sc_bigint< W > &    v [inline, static]
 

Definition at line 110 of file scv_expression.h.

References _scv_create_expression().

template<int W>
scv_expression scv_expression::create_constant const sc_uint< W > &    v [inline, static]
 

Definition at line 106 of file scv_expression.h.

References _scv_create_expression().

template<int W>
scv_expression scv_expression::create_constant const sc_int< W > &    v [inline, static]
 

Definition at line 102 of file scv_expression.h.

References _scv_create_expression().

template<class T>
scv_expression scv_expression::create_reference sc_signal_in_if< T > &    s [inline, static]
 

Definition at line 122 of file scv_expression.h.

References _scv_create_expression(), and s.

bool scv_expression::evaluate void    const
 

Definition at line 159 of file scv_expression.cpp.

References assert, and _scv_message::message().

int scv_expression::get_bit_width void    const
 

Definition at line 203 of file scv_expression.cpp.

bool scv_expression::get_bool_value void    const
 

Definition at line 188 of file scv_expression.cpp.

int scv_expression::get_debug   [static]
 

Definition at line 264 of file scv_expression.cpp.

double scv_expression::get_double_value void    const
 

Definition at line 198 of file scv_expression.cpp.

const char * scv_expression::get_expression_string void    const
 

Definition at line 257 of file scv_expression.cpp.

Referenced by _scv_constraint_manager::init_bdd(), and print().

scv_extensions_if * scv_expression::get_extension void    const
 

Definition at line 207 of file scv_expression.cpp.

Referenced by _scv_constraint_manager::countMaxVar().

void scv_expression::get_extension_list list< scv_extensions_if * > &    ext_list
 

Definition at line 220 of file scv_expression.cpp.

long long scv_expression::get_int_value void    const
 

Definition at line 183 of file scv_expression.cpp.

const scv_expression & scv_expression::get_left void    const
 

Definition at line 235 of file scv_expression.cpp.

Referenced by _scv_constraint_manager::countMaxVar().

const char * scv_expression::get_name   [virtual]
 

Implements scv_object_if.

Definition at line 269 of file scv_expression.cpp.

scv_expression::operatorT scv_expression::get_operator void    const
 

Definition at line 245 of file scv_expression.cpp.

Referenced by _scv_constraint_manager::countMaxVar().

const scv_expression & scv_expression::get_right void    const
 

Definition at line 240 of file scv_expression.cpp.

Referenced by _scv_constraint_manager::countMaxVar().

sc_interface * scv_expression::get_signal void    const
 

Definition at line 212 of file scv_expression.cpp.

void scv_expression::get_signal_list list< sc_interface * > &    sig_list
 

Definition at line 229 of file scv_expression.cpp.

unsigned long long scv_expression::get_unsigned_value void    const
 

Definition at line 193 of file scv_expression.cpp.

void scv_expression::get_value sc_lv_base &    const
 

Definition at line 347 of file scv_expression.cpp.

void scv_expression::get_value sc_bv_base &    const
 

Definition at line 344 of file scv_expression.cpp.

void scv_expression::get_value sc_string   const
 

Definition at line 341 of file scv_expression.cpp.

void scv_expression::get_value string &    const
 

Definition at line 338 of file scv_expression.cpp.

void scv_expression::get_value double &    const
 

Definition at line 335 of file scv_expression.cpp.

void scv_expression::get_value float &    const
 

Definition at line 332 of file scv_expression.cpp.

void scv_expression::get_value unsigned long long &    const
 

Definition at line 329 of file scv_expression.cpp.

void scv_expression::get_value long long &    const
 

Definition at line 326 of file scv_expression.cpp.

void scv_expression::get_value unsigned long &    const
 

Definition at line 323 of file scv_expression.cpp.

void scv_expression::get_value long &    const
 

Definition at line 320 of file scv_expression.cpp.

void scv_expression::get_value unsigned int &    const
 

Definition at line 317 of file scv_expression.cpp.

void scv_expression::get_value int &    const
 

Definition at line 314 of file scv_expression.cpp.

void scv_expression::get_value unsigned short   const
 

Definition at line 311 of file scv_expression.cpp.

void scv_expression::get_value short   const
 

Definition at line 308 of file scv_expression.cpp.

void scv_expression::get_value char &    const
 

Definition at line 305 of file scv_expression.cpp.

void scv_expression::get_value bool &    const
 

Definition at line 302 of file scv_expression.cpp.

const char * scv_expression::kind   [virtual]
 

Implements scv_object_if.

Definition at line 274 of file scv_expression.cpp.

scv_expression & scv_expression::operator &= const scv_expression &    e
 

Definition at line 149 of file scv_expression.cpp.

scv_expression & scv_expression::operator= bool   
 

Definition at line 144 of file scv_expression.cpp.

References scv_expression().

void scv_expression::print ostream &    o = scv_out,
int    details = 0,
int    indent = 0
const [virtual]
 

Implements scv_object_if.

Definition at line 280 of file scv_expression.cpp.

References get_expression_string().

Referenced by show().

void scv_expression::set_debug int    i [static]
 

Definition at line 285 of file scv_expression.cpp.

References scv_debug::RANDOMIZATION, and scv_debug::set_facility_level().

void scv_expression::show int    details = 0,
int    indent = 0
const [virtual]
 

Reimplemented from scv_object_if.

Definition at line 292 of file scv_expression.cpp.

References print(), and scv_out.


Friends And Related Function Documentation

void _scv_update_signal_value const scv_expression &    e [friend]
 

Definition at line 250 of file scv_expression.cpp.

scv_expression operator && const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 109 of file scv_expression.cpp.

scv_expression operator * const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 138 of file scv_expression.cpp.

scv_expression operator! const scv_expression &    a [friend]
 

Definition at line 121 of file scv_expression.cpp.

scv_expression operator!= const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 79 of file scv_expression.cpp.

scv_expression operator+ const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 126 of file scv_expression.cpp.

scv_expression operator- const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 132 of file scv_expression.cpp.

scv_expression operator< const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 91 of file scv_expression.cpp.

scv_expression operator<= const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 103 of file scv_expression.cpp.

scv_expression operator== const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 73 of file scv_expression.cpp.

scv_expression operator> const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 85 of file scv_expression.cpp.

scv_expression operator>= const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 97 of file scv_expression.cpp.

scv_expression operator|| const scv_expression &    a,
const scv_expression &    b
[friend]
 

Definition at line 115 of file scv_expression.cpp.


The documentation for this class was generated from the following files:
Generated on Fri Jan 14 08:32:15 2005 for SystemC2.1beta11(excludingMSLib)(IncludingSCV)\nProvidedby:www.openverificationfoundation.org by doxygen1.2.18