Protocol
libretto.examples.coffeemachine.Protocol$
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- Protocol.type
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
object CoffeeMachine
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- CoffeeMachine.type
enum Flavor
Attributes
- Graph
- Supertypes
- trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
enum ShotCount
Attributes
- Graph
- Supertypes
- trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
enum Size
Attributes
- Graph
- Supertypes
- trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Types
Interface between the coffee machine service (on the left) and client (on the right),
i.e. the service is the producer of this interface (service: X -⚬ CoffeeMachine),
whereas the client is the consumer of this interface (client: CoffeeMachine -⚬ Y).
Interface between the coffee machine service (on the left) and client (on the right),
i.e. the service is the producer of this interface (service: X -⚬ CoffeeMachine),
whereas the client is the consumer of this interface (client: CoffeeMachine -⚬ Y).
The service offers the client a choice (|&|) between espresso, latte, and ending the interaction.