---

DSpinTypeInit Class Reference

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

Public Methods
	DSpinTypeInit (DSpinTrans spinTrans, PrintWriter out)
void	caseArray (Array type, Object o)
void	caseBool (Bool type, Object o)
void	caseCollection (Collection type, Object o)
void	caseEnumerated (Enumerated type, Object o)
void	caseField (Field type, Object o)
void	caseLock (Lock type, Object o)
void	caseRange (Range type, Object o)
void	caseRecord (Record type, Object o)
void	caseRef (Ref type, Object o)
void	defaultCase (Object obj)
Private Methods
Expr	initValue (Type type, Object context)
void	simpleInit (Type type, Object o)
String	varName (Object context)
Private Attributes
DSpinTrans	spinTrans
PrintWriter	out

---

Detailed Description

TypeSwitch to initialize a variable of a BIR type in PROMELA.

Definition at line 46 of file DSpinTypeInit.java.

---

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

• DSpinTypeInit.java

---