BehavioralView

Type Members

case class *() extends RoleQueryStrategy with Product with Serializable

Definition Classes
QueryStrategies
trait DispatchType extends AnyRef

Definition Classes
Compartment
trait DynamicType extends Dynamic

Definition Classes
Compartment
implicit class Player[T] extends DynamicType with DispatchType

Implicit wrapper class to add basic functionality to roles and its players as unified types.
Implicit wrapper class to add basic functionality to roles and its players as unified types.
T
type of wrapped

Definition Classes
Compartment
implicit class Reflective extends AnyRef

Definition Classes
ReflectiveHelper
class Relationship[L, R] extends AnyRef

Definition Classes
Compartment
implicit class RoleQueryStrategy extends AnyRef

Definition Classes
QueryStrategies
case class ServiceRole() extends Product with Serializable
case class WithProperty[T](name: String, value: T) extends RoleQueryStrategy with Product with Serializable

Definition Classes
QueryStrategies
case class WithResult[T](name: String, result: T) extends RoleQueryStrategy with Product with Serializable

Definition Classes
QueryStrategies
type nor[T, U] = AnyRef { type λ[X] = shapeless.<:!<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

Definition Classes
RoleUnionTypes
type or[T, U] = AnyRef { type λ[X] = <:<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

Definition Classes
RoleUnionTypes
type |∨|[T, U] = AnyRef { type λ[X] = <:<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

Definition Classes
CurryHowardUnionTypes
type ¬[A] = (A) ⇒ Nothing

Definition Classes
CurryHowardUnionTypes
type ¬|∨|[T, U] = AnyRef { type λ[X] = shapeless.<:!<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

Definition Classes
CurryHowardUnionTypes
type ¬¬[A] = (¬[A]) ⇒ Nothing

Definition Classes
CurryHowardUnionTypes
type ∨[T, U] = (¬[T] with ¬[U]) ⇒ Nothing

Definition Classes
CurryHowardUnionTypes

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
object Relationship

Definition Classes
Compartment
def addPlaysRelation(core: Any, role: Any): Unit

Adds a play relation between core and role.
Adds a play relation between core and role.
core
the core to add the given role at
role
the role that should added to the given core

Definition Classes
Compartment
def all[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): Seq[T]

Query the role playing graph for all player instances that do conform to the given function.
Query the role playing graph for all player instances that do conform to the given function.
T
the type of the player instance to query for
matcher
the matching function that should match the queried player instance in the role playing graph
returns
all player instances as Seq, that do conform to the given matcher

Definition Classes
Compartment
def all[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): Seq[T]

Query the role playing graph for all player instances that do conform to the given matcher.
Query the role playing graph for all player instances that do conform to the given matcher.
T
the type of the player instance to query for
matcher
the matcher that should match the queried player instance in the role playing graph
returns
all player instances as Seq, that do conform to the given matcher

Definition Classes
Compartment
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
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 hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def notPartOf(other: Compartment): Unit

Removing is-part-of relation between compartments.
Removing is-part-of relation between compartments.

Definition Classes
Compartment
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def one[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): T

Query the role playing graph for all player instances that do conform to the given function and return the first found.
Query the role playing graph for all player instances that do conform to the given function and return the first found.
T
the type of the player instance to query for
matcher
the matching function that should match the queried player instance in the role playing graph
returns
the first player instances, that do conform to the given matcher

Definition Classes
Compartment
def one[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): T

Query the role playing graph for all player instances that do conform to the given matcher and return the first found.
Query the role playing graph for all player instances that do conform to the given matcher and return the first found.
T
the type of the player instance to query for
matcher
the matcher that should match the queried player instance in the role playing graph
returns
the first player instances, that do conform to the given matcher

Definition Classes
Compartment
def partOf(other: Compartment): Unit

Declaring a is-part-of relation between compartments.
Declaring a is-part-of relation between compartments.

Definition Classes
Compartment
val plays: ScalaRoleGraph

Definition Classes
Compartment
def removePlaysRelation(core: Any, role: Any): Unit

Removes the play relation between core and role.
Removes the play relation between core and role.
core
the core the given role should removed from
role
the role that should removed from the given core

Definition Classes
Compartment
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def transferRole(coreFrom: Any, coreTo: Any, role: Any): Unit

Transfers a role from one core to another.
Transfers a role from one core to another.
coreFrom
the core the given role should removed from
coreTo
the core the given should attached to
role
the role that should be transferred

Definition Classes
Compartment
def transferRoles(coreFrom: Any, coreTo: Any, roles: Set[Any]): Unit

Transfers a Set of roles from one core to another.
Transfers a Set of roles from one core to another.
coreFrom
the core all roles should removed from
coreTo
the core the given roles in the Set should attached to
roles
the Set of roles that should be transferred

Definition Classes
Compartment
def union(other: Compartment): Compartment

Declaring a bidirectional is-part-of relation between compartment.
Declaring a bidirectional is-part-of relation between compartment.

Definition Classes
Compartment
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( ... )

Related Doc: package RobotExample

object BehavioralView extends Compartment

Type Members

case class *() extends RoleQueryStrategy with Product with Serializable

trait DispatchType extends AnyRef

trait DynamicType extends Dynamic

implicit class Player[T] extends DynamicType with DispatchType

implicit class Reflective extends AnyRef

class Relationship[L, R] extends AnyRef

implicit class RoleQueryStrategy extends AnyRef

case class ServiceRole() extends Product with Serializable

case class WithProperty[T](name: String, value: T) extends RoleQueryStrategy with Product with Serializable

case class WithResult[T](name: String, result: T) extends RoleQueryStrategy with Product with Serializable

type nor[T, U] = AnyRef { type λ[X] = shapeless.<:!<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

type or[T, U] = AnyRef { type λ[X] = <:<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

type |∨|[T, U] = AnyRef { type λ[X] = <:<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

type ¬[A] = (A) ⇒ Nothing

type ¬|∨|[T, U] = AnyRef { type λ[X] = shapeless.<:!<[scroll.examples.RobotExample.BehavioralView.¬¬[X],scroll.examples.RobotExample.BehavioralView.∨[T,U]] }

type ¬¬[A] = (¬[A]) ⇒ Nothing

type ∨[T, U] = (¬[T] with ¬[U]) ⇒ Nothing

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Relationship

def addPlaysRelation(core: Any, role: Any): Unit

def all[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): Seq[T]

def all[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): Seq[T]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def notPartOf(other: Compartment): Unit

final def notify(): Unit

final def notifyAll(): Unit

def one[T](matcher: (T) ⇒ Boolean)(implicit arg0: Manifest[T]): T

def one[T](matcher: RoleQueryStrategy = *())(implicit arg0: Manifest[T]): T

def partOf(other: Compartment): Unit

val plays: ScalaRoleGraph

def removePlaysRelation(core: Any, role: Any): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def transferRole(coreFrom: Any, coreTo: Any, role: Any): Unit

def transferRoles(coreFrom: Any, coreTo: Any, roles: Set[Any]): Unit

def union(other: Compartment): Compartment

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Compartment

Inherited from RoleUnionTypes

Inherited from CurryHowardUnionTypes

Inherited from QueryStrategies

Inherited from ReflectiveHelper

Inherited from AnyRef

Inherited from Any

Ungrouped