act_chp_gc Class Reference

Data structure for guarded commands. More...

#include <lang.h>

Public Attributes
const char *	id
	the loop id for syntactic replication
Expr *	lo
Expr *	hi
Expr *	g
	the guard
struct act_chp_lang *	s
	the statement
struct act_chp_gc *	next
	next pointer for linked-list

Detailed Description

Data structure for guarded commands.

id = NULL : normal guard id != NULL : syntactic replication, where "id" is the variable, lo and hi are the low and high values for the range

g : guard expression, NULL means "else" for selection statements, and true for loops.

s : statement (might be NULL in the case of [g]

next : used to construct list of guard -> statement, NULL terminated list.

Member Data Documentation

g

Expr* act_chp_gc::g

the guard

hi

Expr * act_chp_gc::hi

id

const char* act_chp_gc::id

the loop id for syntactic replication

lo

Expr* act_chp_gc::lo

next

struct act_chp_gc* act_chp_gc::next

next pointer for linked-list

s

struct act_chp_lang* act_chp_gc::s

the statement

---

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

• act/lang.h