---

VisibleExtractor Class Reference

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

Public Methods
void	caseAddExpr (AddExpr expr)
void	caseAndExpr (AndExpr expr)
void	caseArrayExpr (ArrayExpr expr)
void	caseAssignAction (AssignAction assign)
void	caseDerefExpr (DerefExpr expr)
void	caseDivExpr (DivExpr expr)
void	caseEqExpr (EqExpr expr)
void	caseLeExpr (LeExpr expr)
void	caseLengthExpr (LengthExpr expr)
void	caseLockAction (LockAction lockAction)
void	caseLockTest (LockTest lockTest)
void	caseLtExpr (LtExpr expr)
void	caseMulExpr (MulExpr expr)
void	caseNeExpr (NeExpr expr)
void	caseNewExpr (NewExpr expr)
void	caseNotExpr (NotExpr expr)
void	caseNullExpr (NullExpr expr)
void	caseOrExpr (OrExpr expr)
void	casePrintAction (PrintAction printAction)
void	caseRecordExpr (RecordExpr expr)
void	caseRefExpr (RefExpr expr)
void	caseRemExpr (RemExpr expr)
void	caseStateVar (StateVar expr)
void	caseSubExpr (SubExpr expr)
void	caseThreadAction (ThreadAction threadAction)
void	caseThreadTest (ThreadTest threadTest)
boolean	isVisible ()
void	reset ()
Private Attributes
boolean	visible = false

---

Detailed Description

Jimple statement switch to determine if statement is visible.

Currently, any statement that touches a heap variable, a lock, or a thread is visible.

Definition at line 46 of file VisibleExtractor.java.

---

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

• VisibleExtractor.java

---