io.sarl.lang.core
Record Bound
Enclosing class:
Event
static final record Bound
extends java.lang.Object
Definition of a bound for generic types.
Parameters:
type - the type associated to this generic type bound.
direction - the type of bound for the record.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
core
Since:
0.14
Action Summary
Modifier and type Action and description
BoundType direction
final boolean equals(Object)
final int hashCode
static io.sarl.lang.core.Event.Bound of(Class<T>,BoundType)
Creation a bound with the given type and direction.
final java.lang.String toString
java.lang.Class<T> type
Action Details
direction
def direction : BoundType
equals(Object)
def equals(Object) : boolean
hashCode
def hashCode : int
of(Class<T>,BoundType)
def of(Class<T>,BoundType) : io.sarl.lang.core.Event.Bound
Creation a bound with the given type and direction. If the arguments are null, then the default values are considered (see the documentation of each argument).
Parameters:
type - the type associated to this generic type bound. If it is null, Object is assumed.
direction - the type of bound for the record. If it is null, UPPER_BOUND is assumed.
Returns:
the bound.
toString
def toString : java.lang.String
type
def type : java.lang.Class<T>