---

AbstractBanderaExprSwitch Class Reference

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

Public Methods
void	caseChooseExpr (ChooseExpr v)
void	caseComplementExpr (ComplementExpr expr)
void	caseInExpr (InExpr v)
void	caseLocalExpr (LocalExpr v)
void	caseLocationTestExpr (LocationTestExpr e)
void	caseLogicalAndExpr (LogicalAndExpr expr)
void	caseLogicalOrExpr (LogicalOrExpr expr)

---

Detailed Description

The extension to the expr switch to handle the choose expression.

Author:

Shawn Laubach

Version:

0.1

Definition at line 43 of file AbstractBanderaExprSwitch.java.

---

Member Function Documentation

void AbstractBanderaExprSwitch::caseComplementExpr (  ComplementExpr   expr )  [inline]

Parameters: expr   edu.ksu.cis.bandera.jext.ComplementExpr Definition at line 53 of file AbstractBanderaExprSwitch.java.

void AbstractBanderaExprSwitch::caseInExpr (  InExpr   v )  [inline]

This method was created in VisualAge. Parameters: v   edu.ksu.cis.bandera.jext.InExpr Definition at line 60 of file AbstractBanderaExprSwitch.java.

void AbstractBanderaExprSwitch::caseLocalExpr (  LocalExpr   v )  [inline]

Parameters: v   edu.ksu.cis.bandera.jext.LocalExpr Definition at line 67 of file AbstractBanderaExprSwitch.java.

void AbstractBanderaExprSwitch::caseLocationTestExpr (  LocationTestExpr   e )  [inline]

Parameters: e   edu.ksu.cis.bandera.jext.LocationTestExpr Definition at line 74 of file AbstractBanderaExprSwitch.java.

void AbstractBanderaExprSwitch::caseLogicalAndExpr (  LogicalAndExpr   expr )  [inline]

Parameters: expr   edu.ksu.cis.bandera.jext.LogicalAndExpr Definition at line 81 of file AbstractBanderaExprSwitch.java.

void AbstractBanderaExprSwitch::caseLogicalOrExpr (  LogicalOrExpr   expr )  [inline]

Parameters: expr   edu.ksu.cis.bandera.jext.LogicalOrExpr Definition at line 88 of file AbstractBanderaExprSwitch.java.

---

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

• AbstractBanderaExprSwitch.java

---