libretto-examples
libretto-examples
libretto.examples
CoffeeMachine
ShotCount
Size
Flavor
Beverage
CoffeeMachine
DiningPhilosophers
Forks
Philosopher
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
Name
BorrowedMicroscope
Supermarket
money
baskets
goods
supermarket
libretto.examples.coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
ShotCount
Size
Flavor
Beverage
libretto-examples
/
libretto.examples.coffeemachine
/
Protocol
/
Beverage
Beverage
case
class
Beverage
(description:
String
)
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product