libretto-examples
libretto-examples
libretto.examples
CoffeeMachine
Beverage
CoffeeMachine
Flavor
ShotCount
Size
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
BorrowedMicroscope
Name
libretto.examples.coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
Beverage
CoffeeMachine
Flavor
ShotCount
Size
libretto.examples.diningPhilosophers
DiningPhilosophers
Forks
ForksProvider
Philosophers
Philosophers
libretto.examples.supermarket
AbstractGoods
Customers
Customers
Goods
GoodsConsumer
GoodsProducer
Supermarket
SupermarketInterface
SupermarketProvider
baskets
money
libretto-examples
/
libretto.examples.coffeemachine
/
Protocol
/
ShotCount
ShotCount
enum
ShotCount
Graph
Supertypes
trait
Enum
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Type members
Type members
Enum entries
case
Double
extends
ShotCount
case
Single
extends
ShotCount