class JavaMethodType extends Forest.MethodType
- Alphabetic
- By Inheritance
- JavaMethodType
- MethodType
- Serializable
- Serializable
- Product
- Equals
- Type
- AbsTypeImpl
- AbsType
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new JavaMethodType(ps: List[Forest.Symbol], rt: Forest.Type)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
decls: List[Forest.Tree]
For a classtype or refined type, its defined or declared members; inherited by subtypes and typerefs.
For a classtype or refined type, its defined or declared members; inherited by subtypes and typerefs. The empty scope for all other types.
- Definition Classes
- Type
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalResultType: Forest.Type
For a curried/nullary method or poly type its non-method result type, the type itself for all other types
For a curried/nullary method or poly type its non-method result type, the type itself for all other types
- Definition Classes
- MethodType → Type
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
isHigherKinded: Boolean
Is this type higher-kinded, i.e., is it a type constructor
Is this type higher-kinded, i.e., is it a type constructor
- Definition Classes
- Type
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isJava: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
normalize: Forest.Type
Reduce to beta eta-long normal form.
Reduce to beta eta-long normal form. Expands type aliases and converts higher-kinded TypeRefs to PolyTypes. Functions on types are also implemented as PolyTypes.
Example: (in the below, <List> is the type constructor of List) TypeRef(pre, <List>, List()) is replaced by PolyType(X, TypeRef(pre, <List>, List(X)))
- Definition Classes
- Type
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
objectPrefix: String
- Attributes
- protected
- Definition Classes
- Type
-
def
packagePrefix: String
- Attributes
- protected
- Definition Classes
- Type
-
val
params: List[Forest.Symbol]
- Definition Classes
- MethodType → Type
-
def
parents: List[Forest.Type]
For a class or intersection type, its parents.
For a class or intersection type, its parents. For a TypeBounds type, the parents of its hi bound. inherited by typerefs, singleton types, and refinement types, The empty list for all other types
- Definition Classes
- Type
-
def
prefix: Forest.Type
For a typeref or single-type, the prefix of the normalized type (@see normalize).
For a typeref or single-type, the prefix of the normalized type (@see normalize). NoType for all other types.
- Definition Classes
- Type
-
def
prefixChain: List[Forest.Type]
A chain of all typeref or singletype prefixes of this type, longest first.
A chain of all typeref or singletype prefixes of this type, longest first. (Only used from safeToString.)
- Definition Classes
- Type
-
def
prefixString: String
The string representation of this type used as a prefix
The string representation of this type used as a prefix
- Definition Classes
- Type
-
val
resultType: Forest.Type
- Definition Classes
- MethodType → Type
-
def
safeToString: String
Method to be implemented in subclasses.
Method to be implemented in subclasses. Converts this type to a string in calling toString for its parts.
- Definition Classes
- Type
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
termSymbol: Forest.Symbol
The term symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize)
The term symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize)
- Definition Classes
- Type
-
def
toString(): String
Convert toString avoiding infinite recursions by cutting off after
maxTostringRecursions
recursion levels.Convert toString avoiding infinite recursions by cutting off after
maxTostringRecursions
recursion levels. UsessafeToString
to produce a string on each level.- Definition Classes
- Type → AnyRef → Any
-
def
trimPrefix(str: String): String
- Definition Classes
- Type
-
def
typeArgs: List[Forest.Type]
For a typeref, its arguments.
For a typeref, its arguments. The empty list for all other types
- Definition Classes
- Type
-
def
typeParams: List[Forest.Symbol]
For a (potentially wrapped) poly type, its type parameters, the empty list for all other types
For a (potentially wrapped) poly type, its type parameters, the empty list for all other types
- Definition Classes
- Type
-
def
typeSymbol: Forest.Symbol
The type symbol associated with the type Note that the symbol of the normalized type is returned (@see normalize)
-
def
underlying: Forest.Type
The base type underlying a type proxy, identity on all other types
The base type underlying a type proxy, identity on all other types
- Definition Classes
- Type
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
widen: Forest.Type
Widen from singleton type to its underlying non-singleton base type by applying one or more
underlying
dereferences, identity for all other types.Widen from singleton type to its underlying non-singleton base type by applying one or more
underlying
dereferences, identity for all other types.class Outer { class C ; val x: C } val o: Outer <o.x.type>.widen = o.C
- Definition Classes
- Type