analysis/org.polystat.odin.analysis.utils.inlining/Call

Call

final case class Call(depth: BigInt, methodName: String, callSite: PathToCallSite, callLocation: PathToCall, args: NonEmptyVector[EOBnd[EOExprOnly]])
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product