---

AssertAction Class Reference

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

Public Methods
	AssertAction (Expr cond)
void	apply (Switch sw)
Expr	getCondition ()
Private Attributes
Expr	cond

---

Detailed Description

Assert a condition (cause fatal exception if false)

Definition at line 41 of file AssertAction.java.

---

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

• AssertAction.java

---