Variable

de.uni_luebeck.isp.tessla.instrumenter.CInstrumentation$.Variable
final case class Variable(functionName: Option[String], name: String) extends Pattern

Describes a variable, optionally prepended by a function name. E.g. foo::x or y.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Pattern
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Any

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product