SyntaxDirectedOperationHead

case
class SyntaxDirectedOperationHead(target: Option[SdoHeadTarget], methodName: String, isStatic: Boolean, withParams: List[Param], retTy: Type) extends Head

syntax-directed operation (SDO) heads

Companion
object
trait Serializable
trait Product
trait Equals
trait Head
trait SpecElem
class Object
trait Matchable
class Any

Value members

Inherited methods

def fname: String

get function name

get function name

Inherited from
Head
def funcParams: List[Param]

get function parameters

get function parameters

Inherited from
Head

get original parameters

get original parameters

Inherited from
Head
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
override
def toString: String
Definition Classes
SpecElem -> Any
Inherited from
SpecElem