trait
MethodicType
extends
Type
with
TermType
A trait that mixes in functionality for signature caching
Constructors
Members
private
var
mySignature
: Signature
private
var
mySignatureRunId
: Int
protected
def
computeSignature
(
implicit
ctx:
Context
)
: Signature
private
def
mySignatureRunId_=
(
x$1:
Int
)
: Unit
private
def
mySignature_=
(
x$1:
Signature
)
: Unit
protected
def
resultSignature
(
implicit
ctx:
Context
)
: Signature
override final
def
signature
(
implicit
ctx:
Context
)
: Signature
The signature of this type. This is by default NotAMethod, but is overridden for PolyTypes, MethodTypes, and TermRefWithSignature types. (the reason why...
The signature of this type. This is by default NotAMethod, but is overridden for PolyTypes, MethodTypes, and TermRefWithSignature types. (the reason why we deviate from the "final-method-with-pattern-match-in-base-class" pattern is that method signatures use caching, so encapsulation is improved using an OO scheme).