Allows to call a function with arguments.
Allows to call a function with arguments.
return type
argument type
the function name
the arguments handed over to the given function
the dispatch rules that should be applied
the result of the function call or an appropriate error
Allows to call a function with named arguments.
Allows to call a function with named arguments.
return type
the function name
tuple with the the name and argument handed over to the given function
the dispatch rules that should be applied
the result of the function call or an appropriate error
For multi-argument dispatch.
For multi-argument dispatch.
the return type of method m
the type of the argument values
the instance to dispatch the given method m on
the method to dispatch
the arguments to pass to method m
the resulting return value of the method invocation or an appropriate error
For empty argument list dispatch.
For empty argument list dispatch.
the return type of method m
the instance to dispatch the given method m on
the method to dispatch
the resulting return value of the method invocation or an appropriate error
Removes the play relation between core and role.
Removes the play relation between core and role.
the role that should be removed
this
Checks of this Player is playing a role of the given type.
Adds a play relation between core and role.
Adds a play relation between core and role.
type of role
the role that should played
this
Returns the player of this player instance if this is a role, or this itself.
Returns the player of this player instance if this is a role, or this itself.
provide this to sort the resulting instances if a role instance is played by multiple core objects
the player of this player instance if this is a role, or this itself or an appropriate error
Adds a play relation between core and role but always returns the player instance.
Adds a play relation between core and role but always returns the player instance.
type of role
the role that should played
the player instance
Allows to read a field.
Allows to read a field.
return type
of the field
the dispatch rules that should be applied
the result of the field access or an appropriate error
Transfers a role to another player.
Transfers a role to another player.
type of role
the role to transfer
Applies lifting to Player
Applies lifting to Player
an lifted Player instance with the calling object as wrapped.
Allows to write field updates.
Allows to write field updates.
of the field
the new value to write
the dispatch rules that should be applied
the player or role that is wrapped into this dynamic type
Implicit wrapper class to add basic functionality to roles and its players as unified types.
type of wrapped object