ActBody_Select_gc Class Reference

This is used to represent the list of guards and statements for conditional circuit construction. More...

#include <body.h>

Public Member Functions
	ActBody_Select_gc (Expr *_g, ActBody *_s)
	ActBody_Select_gc (const char *_id, Expr *_lo, Expr *_hi, Expr *_g, ActBody *_s)
void	Append (ActBody_Select_gc *s)
int	isElse ()
ActBody *	getBody ()
ActBody_Select_gc *	getNext ()
ActBody_Select_gc *	Clone ()

Private Attributes
const char *	id
Expr *	lo
Expr *	hi
Expr *	g
ActBody *	s
ActBody_Select_gc *	next

Friends
class	ActBody_Select
class	ActBody_Genloop

Detailed Description

This is used to represent the list of guards and statements for conditional circuit construction.

Constructor & Destructor Documentation

ActBody_Select_gc() [1/2]

ActBody_Select_gc::ActBody_Select_gc ( Expr *  _g, ActBody *  _s  )

inline

Create a guard / ActBody combination

Parameters

_g	is the guard
_s	is the ActBody

ActBody_Select_gc() [2/2]

ActBody_Select_gc::ActBody_Select_gc ( const char *  _id, Expr *  _lo, Expr *  _hi, Expr *  _g, ActBody *  _s  )

inline

This is used to represent a guarded command with an internal loop that is unrolled to construct all the guards of the form:

( [] i : lo .. hi : G -> S )

Parameters

_id	is the loop index
_lo	is the low index (NULL if omittted)
_hi	is the high index (the high index is _hi-1 if _lo is NULL)
_g	is the guard
_s	is the body

Member Function Documentation

Append()

void ActBody_Select_gc::Append ( ActBody_Select_gc *  s )

inline

Set "s" to be the tail of the list of guarded commands

Parameters

s	is the tail

Clone()

ActBody_Select_gc * ActBody_Select_gc::Clone

(

)

Returns

a deep copy

getBody()

ActBody * ActBody_Select_gc::getBody ( )

inline

Returns

the body of this selection fragment

getNext()

ActBody_Select_gc * ActBody_Select_gc::getNext ( )

inline

Returns

the next element in the guarded command list

isElse()

int ActBody_Select_gc::isElse ( )

inline

Returns

1 if the guard is an "else", 0 otherwise

Friends And Related Function Documentation

ActBody_Genloop

friend class ActBody_Genloop

friend

ActBody_Select

friend class ActBody_Select

friend

Member Data Documentation

g

Expr* ActBody_Select_gc::g

private

guard

hi

Expr * ActBody_Select_gc::hi

private

loop range

id

const char* ActBody_Select_gc::id

private

loop index

lo

Expr* ActBody_Select_gc::lo

private

Loop range. If this is NULL, then the range is from 0 to hi-1.

next

ActBody_Select_gc* ActBody_Select_gc::next

private

rest of the selection

s

ActBody* ActBody_Select_gc::s

private

statement

---

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

• act/body.h