act_spec Class Reference

The specification sub-language. More...

#include <lang.h>

Public Attributes
int	isrequires
int	type
int	count
	the number of ids; -1 = all nodes in the process
ActId **	ids
	the array of identifiers in the spec directive
int *	extra
struct act_spec *	next

Detailed Description

The specification sub-language.

Member Data Documentation

count

int act_spec::count

the number of ids; -1 = all nodes in the process

extra

int* act_spec::extra

Flags for timing directives

• 0x03 : 0 = no dir, 1 = +, 2 = -
• 0x04 : 1 = ?, 0 = nothing
• 0x08 : 1 = +1, 0 = current iteration. Can only be set for ids[1] and ids[2].

ids

ActId** act_spec::ids

the array of identifiers in the spec directive

isrequires

int act_spec::isrequires

1 if this is a requires clause; otherwise it is ensures or there's no flag

next

struct act_spec* act_spec::next

type

int act_spec::type

The type field. For values 0..n, this is the index into the table of valid spec directives specified in the ACT global configuration file.

When type = -1/-2, it is a timing fork. In that case, given a directive of the form timing lhs : first < [expr] second,

• count = 4
• ids[0] = lhs, ids[1] = first, ids[2] = second
• ids[3] = NULL or an Expr * for the timing margin

---

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

• act/lang.h