object DefSites
Extractor to get the definition site of an expression's/statement's value.
This extractor may fail (i.e., throw an exception), when the expr is not a DVar or a Const; this decision was made to capture programming failures as early as possible (flat).
- Source
- DUVar.scala
To get a return value's definition sites (unless the value is constant).
val tac.ReturnValue(pc,tac.DefSites(defSites)) = code.stmts(5)
Example:
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DefSites
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- def toString(defSites: IntTrieSet): Iterator[String]
- def unapply(valueExpr: Expr[DUVar[_]]): Some[IntTrieSet]
Defines an extractor to get the definition site of an expression's/statement's value.
Defines an extractor to get the definition site of an expression's/statement's value. Returns the empty set if the value is a constant.