---

StateVar Class Reference

Inheritance diagram for StateVar:[legend]Collaboration diagram for StateVar:[legend]List of all members.

Public Methods
	StateVar (String name, BirThread thread, Type type, Expr initVal, TransSystem system)
void	apply (Switch sw)
int	getActualBaseTypeExtent ()
int	getActualBaseTypeSize ()
int	getActualSize ()
Expr	getInitVal ()
String	getName ()
int	getOffset ()
TransSystem	getSystem ()
BirThread	getThread ()
Type	getType ()
boolean	isConstant ()
boolean	isLocal ()
void	print ()
void	setActualBaseTypeExtent (int actualBaseTypeExtent)
void	setActualBaseTypeSize (int actualBaseTypeSize)
void	setActualSize (int actualSize)
void	setConstant (boolean constant)
void	setInitVal (Expr val)
void	setOffset (int offset)
void	setThread (BirThread thread)
String	toString ()
Private Attributes
int	id
String	name
BirThread	thread
boolean	constant
Type	type
Expr	initVal
TransSystem	system
int	offset
int	actualSize
int	actualBaseTypeSize
int	actualBaseTypeExtent
Static Private Attributes
int	varCount = 0

---

Detailed Description

State variable.

Definition at line 44 of file StateVar.java.

---

Constructor & Destructor Documentation

StateVar::StateVar (  String   name, BirThread   thread, Type   type, Expr   initVal, TransSystem   system )  [inline]

Create a state variable. Parameters: name   name of variable thread   enclosing thread (if null, then var is global) type   type of variable initVal   the initial value (if null, default for type is used) Definition at line 68 of file StateVar.java.

---

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

• StateVar.java

---