---

Location Class Reference

List of all members.

Public Methods
	Location (BirThread thread)
Transformation	addTrans (Location toLoc, Expr guard, ActionVector actions)
int	getId ()
TransVector	getInTrans ()
String	getLabel ()
StateVarVector	getLiveVars ()
int	getMark ()
TransVector	getOutTrans ()
BirThread	getThread ()
boolean	isVisible ()
void	setId (int id)
void	setLabel (String label)
void	setLiveVars (StateVarVector liveVars)
void	setMark (int mark)
String	toString ()
Static Public Methods
int	getNewMark ()
Private Attributes
int	id
BirThread	thread
TransVector	inTrans
TransVector	outTrans
StateVarVector	liveVars
int	mark
String	label
Static Private Attributes
int	markCount = 0
int	locCount = 0

---

Detailed Description

A Location represents a control point in a thread from which guarded transformations may be taken.

Each location has:

• An integer id (this is negative before the locations are numbered, positive afterwards).
• An optional label for printing (constructed from the id if absent).
• The thread to which it belongs.
• An integer mark for use in searches.
• Vectors of transformations into and out of the location.
• A vector of local state variables that are live at the location.

Definition at line 56 of file Location.java.

---

Member Function Documentation

Transformation Location::addTrans (  Location   toLoc, Expr   guard, ActionVector   actions )  [inline]

Add a transformation out of the location. Parameters: toLoc   target of transformation guard   guard expression actions   vector of actions Returns: the new transformation Definition at line 83 of file Location.java. Referenced by TransExtractor::makeTrans().

boolean Location::isVisible (    )  [inline]

A location is visible if: it has no incoming transformations, or it has no outgoing transformations, or some incoming transformation is visible. Definition at line 109 of file Location.java. Referenced by SpinTrans::translateLocation().

---

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

• Location.java

---