class compiler::FuncType

sys::Obj
  compiler::GenericType
    compiler::FuncType

Source

FuncType models a parameterized Func type.

arity

Int arity()

Source

doParameterize

virtual override CType doParameterize(Int ch)

Source

fits

virtual override Bool fits(CType t)

Source

flags

virtual override Int flags()

Source

inferredSignature

Bool inferredSignature

Source

isGenericParameter

virtual const override Bool isGenericParameter

Source

isValid

virtual override Bool isValid()

Source

make

new make(CType[] params, Str[] names, CType ret)

Source

makeItBlock

new makeItBlock(CType itType)

Source

mostSpecific

FuncType mostSpecific(FuncType b)

Source

names

Str[] names { private set }

Source

parameterizeThis

virtual override FuncType parameterizeThis(CType thisType)

Source

Replace any occurance of "sys::This" with thisType.

params

CType[] params { private set }

Source

ret

CType ret { private set }

Source

signature

virtual const override Str signature

Source

toArity

FuncType toArity(Int num)

Source

toMostSpecific

static CType toMostSpecific(CType a, CType b)

Source

toParamDefs

ParamDef[] toParamDefs(Loc loc)

Source

unnamed

Bool unnamed

Source

usesThis

Bool usesThis()

Source

Return if this function type has This type in its signature.