Package | Description |
---|---|
brown.tracingplane.bdl |
Library classes used by BDL-generated objects, including the
BDLContext implementation of
BaggageContext . |
brown.tracingplane.impl |
Implementations of
BaggageContext at several different points in the Tracing Plane. |
Modifier and Type | Interface and Description |
---|---|
interface |
BaggageHandler<T extends Bag>
Provides serialization, deserialization, branch, and merge logic for a bag type.
|
Modifier and Type | Interface and Description |
---|---|
static interface |
SpecialTypes.Counter
A P-Counter CRDT, corresponding to the
counter BDL type |
Modifier and Type | Class and Description |
---|---|
class |
CounterImpl
Implements the special
SpecialTypes.Counter type based on the P-Counter CRDT; the counter BDL type uses this. |
Modifier and Type | Method and Description |
---|---|
default T |
BaggageHandler.branch(Bag from) |
boolean |
CounterImpl.Handler.isInstance(Bag bag) |
boolean |
BaggageHandler.isInstance(Bag bag) |
default T |
BaggageHandler.join(Bag first,
Bag second) |
default void |
BaggageHandler.serialize(BaggageWriter writer,
Bag bag) |
static java.lang.String |
BDLUtils.toString(Bag bag) |
Modifier and Type | Method and Description |
---|---|
static Bag |
BDLContextProvider.get(BaggageContext baggage,
BagKey key)
This method fetches the object stored in the provided
BaggageContext under the specified key, or returns
null if there is no object present. |
Bag |
BDLContext.get(BagKey key)
Get the value mapped to a key, or null if no mapping
|
Modifier and Type | Method and Description |
---|---|
BDLContext |
BDLContext.put(BagKey key,
Bag value)
Set the value for a key.
|
static int |
BDLContextUtils.serializedSize(BagKey key,
Bag bag)
Ideally, this is an instance method, but for now we're doing it here
|
static int |
BDLContextUtils.serializedSizeOfBag(Bag bag)
Ideally, this is an instance method, but for now we're doing it here
|
static BaggageContext |
BDLContextProvider.set(BaggageContext baggage,
BagKey key,
Bag value)
Maps the specified key to the provided bag value.
|