ActBody_Assertion Class Reference

This is used to store assertions in the body. There are two types of assertions: More...

#include <body.h>

Inheritance diagram for ActBody_Assertion:

Public Member Functions
	ActBody_Assertion (int line, Expr *_e, const char *_msg=NULL)
	ActBody_Assertion (int line, ActId *_id1, ActId *_id2, int op, const char *_msg=NULL)
	~ActBody_Assertion ()
void	Expand (ActNamespace *, Scope *)
ActBody *	Clone ()
Public Member Functions inherited from ActBody
	ActBody (int line)
virtual	~ActBody ()
void	Append (ActBody *b)
void	insertNext (ActBody *b)
ActBody *	Tail ()
ActBody *	Next ()
virtual ActBody *	Clone ()
virtual void	Expand (ActNamespace *, Scope *)
void	Expandlist (ActNamespace *, Scope *)
virtual void	Print (FILE *)
void	updateInstType (list_t *namelist, InstType *it)
int	getLine ()

Private Attributes
union {
struct {
Expr *   e
const char *   msg
}   t0
struct {
int   op
ActId *   id1
ActId *   id2
const char *   msg
}   t1
}	u
int	type

Additional Inherited Members
Protected Attributes inherited from ActBody
int	_line
	saved away line number information

Detailed Description

This is used to store assertions in the body. There are two types of assertions:

1. A boolean expression is true (with an optional message)
2. id1 === id2 or id1 !== id2 : check for connections

Constructor & Destructor Documentation

ActBody_Assertion() [1/2]

ActBody_Assertion::ActBody_Assertion ( int  line, Expr *  _e, const char *  _msg = NULL  )

inline

Parameters

line	is the line number
_e	is the Boolean expression asserted
_msg	is any user-specified message

ActBody_Assertion() [2/2]

ActBody_Assertion::ActBody_Assertion ( int  line, ActId *  _id1, ActId *  _id2, int  op, const char *  _msg = NULL  )

inline

Parameters

line	is the line number
_id1	is one identifier
_id2	is the second identifier
op	is 0 to asserting connectivity, 1 to assert disconnections
_msg	is any user-specified message

~ActBody_Assertion()

ActBody_Assertion::~ActBody_Assertion ( )

inline

Member Function Documentation

Clone()

ActBody * ActBody_Assertion::Clone ( )

virtual

Returns

a deep copy of the body item list

Reimplemented from ActBody.

Expand()

void ActBody_Assertion::Expand ( ActNamespace *  , Scope *    )

virtual

Expand out the current body item, updating the necessary data structures as the expansion process proceeds.

Reimplemented from ActBody.

Member Data Documentation

e

Expr* ActBody_Assertion::e

id1

ActId* ActBody_Assertion::id1

id2

ActId * ActBody_Assertion::id2

msg

const char* ActBody_Assertion::msg

op

int ActBody_Assertion::op

struct { ... } ActBody_Assertion::t0

struct { ... } ActBody_Assertion::t1

type

int ActBody_Assertion::type

private

union { ... } ActBody_Assertion::u

---

The documentation for this class was generated from the following file:

• act/body.h