---

ChooseExpr Class Reference

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

Public Methods
	ChooseExpr (Expr firstChoice)
void	addChoice (Expr choice)
void	apply (Switch sw)
Object	clone ()
Literal	getChoice (int choiceNum)
Vector	getChoices ()
Type	getType ()
void	print ()
	ChooseExpr (List l)
	ChooseExpr (Vector v)
void	apply (Switch sw)
boolean	equals (Constant c)
List	getChoices ()
Type	getType ()
List	getUseBoxes ()
void	setType (Type t)
String	toBriefString ()
String	toString ()
Protected Attributes
List	choices
Private Attributes
Vector	choices
Type	type

---

Detailed Description

An expression value representing a nondeterministic choice among a (nonempty) set of values of a given type.

Definition at line 44 of file bir/ChooseExpr.java.

---

Constructor & Destructor Documentation

ChooseExpr::ChooseExpr (  List   l )  [inline]

Constructs a new ChooseExpr. Parameters: l   the list of choices. Definition at line 60 of file jext/ChooseExpr.java.

ChooseExpr::ChooseExpr (  Vector   v )  [inline]

Constructs a new ChooseExpr. Parameters: l   the list of choices. Definition at line 73 of file jext/ChooseExpr.java.

---

Member Function Documentation

boolean ChooseExpr::equals (  Constant   c )  [inline, virtual]

Insert the method's description here. Creation date: (4/13/00 2:05:35 PM) Returns: boolean Parameters: c   ca.mcgill.sable.soot.jimple.Constant Reimplemented from Constant. Definition at line 92 of file jext/ChooseExpr.java.

List ChooseExpr::getChoices (    )  [inline]

Gets the list of choices. Definition at line 98 of file jext/ChooseExpr.java. Referenced by SpinTrans::caseChooseExpr(), SmvTrans::caseChooseExpr(), and ExprExtractor::caseChooseExpr().

Type ChooseExpr::getType (    )  [inline]

Gets the type. Reimplemented from Constant. Definition at line 105 of file jext/ChooseExpr.java.

List ChooseExpr::getUseBoxes (    )  [inline]

Gets the use boxes. Reimplemented from Constant. Definition at line 112 of file jext/ChooseExpr.java.

void ChooseExpr::setType (  Type   t )  [inline]

Sets the type. Definition at line 119 of file jext/ChooseExpr.java.

String ChooseExpr::toString (    )  [inline]

Returns: String representation. Reimplemented from Constant. Definition at line 127 of file jext/ChooseExpr.java.

---

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

• bir/ChooseExpr.java
• jext/ChooseExpr.java

---