io.sarl.lang.util
Enumeration TypeParameterStatus
All Superinterfaces:
java.io.Serializable, java.lang.Comparable<T>, java.lang.constant.Constable
Enclosing class:
Utils
static sealed enum TypeParameterStatus
extends java.lang.Object
Status of parsing the type parameters.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.14
Enumeration Constant Summary
Constant and description
DEFINITION_ROOT_BOUND
A type parameter is not explicitly specified and the root bound type from the original type declaration is kept.
EXPLICIT_BOUNDED_WILDCARD
A type parameter is explicitly provided as a wild card with bound.
EXPLICIT_DIRECT_TYPE
A type parameter is specified with a direct type, without wildcard.
NO_TYPE_PARAMETER
No type parameter in the given type.
Action Summary
Modifier and type Action and description
abstract boolean isBoundInFunctionName
Replies if this status enables to put the type parameter bounds in the generated function names.
TypeParameterStatus or(TypeParameterStatus)
Replies the more precise status between the current and given statuses.
static TypeParameterStatus valueOf(String)
static TypeParameterStatus values
Enumeration Constant Details
DEFINITION_ROOT_BOUND 
static val DEFINITION_ROOT_BOUND : TypeParameterStatus
A type parameter is not explicitly specified and the root bound type from the original type declaration is kept.
EXPLICIT_BOUNDED_WILDCARD 
static val EXPLICIT_BOUNDED_WILDCARD : TypeParameterStatus
A type parameter is explicitly provided as a wild card with bound.
EXPLICIT_DIRECT_TYPE 
static val EXPLICIT_DIRECT_TYPE : TypeParameterStatus
A type parameter is specified with a direct type, without wildcard.
NO_TYPE_PARAMETER 
static val NO_TYPE_PARAMETER : TypeParameterStatus
No type parameter in the given type.
Action Details
isBoundInFunctionName 
def isBoundInFunctionName : boolean
Replies if this status enables to put the type parameter bounds in the generated function names.
Returns:
true if the bounds should be included in the function names.
or(TypeParameterStatus) 
def or(TypeParameterStatus) : TypeParameterStatus
Replies the more precise status between the current and given statuses.
Parameters:
status - the second status.
Returns:
the more precise status.
valueOf(String) 
def valueOf(String) : TypeParameterStatus
values 
def values : TypeParameterStatus