| 
 | ref_send API 2.17 defensive programming in Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Selfless | |
|---|---|
| org.joe_e | Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system. | 
| org.joe_e.array | Read-only arrays. | 
| org.ref_send | A pass-by-construction interface. | 
| org.ref_send.brand | An opaque, globally unique identifier. | 
| org.ref_send.log | A log file format. | 
| org.ref_send.promise | A promise interface. | 
| org.ref_send.scope | A pass-by-copy interface. | 
| org.waterken.bang | A simple demonstration and test of eventual operations. | 
| org.waterken.bounce | An argument passing test. | 
| org.waterken.serial | An infinite series of elements. | 
| org.waterken.syntax | A marshalling interface. | 
| org.waterken.syntax.json | JSON <=> Java conversion. | 
| org.waterken.trace | An event logging implementation. | 
| Uses of Selfless in org.joe_e | 
|---|
| Classes in org.joe_e that implement Selfless | |
|---|---|
|  class | StructThis abstract class contains implementations of the equals() and hashCode() methods that satisfy the Selfless interface. | 
| Uses of Selfless in org.joe_e.array | 
|---|
| Classes in org.joe_e.array that implement Selfless | |
|---|---|
|  class | BooleanArrayAn immutable array of boolean. | 
|  class | ByteArrayAn immutable array of byte. | 
|  class | CharArrayAn immutable array of char. | 
|  class | ConstArray<E>A read-only array containing elements of an arbitrary type. | 
|  class | DoubleArrayAn immutable array of double. | 
|  class | FloatArrayAn immutable array of float. | 
|  class | ImmutableArray<E>An immutable array containing immutable objects. | 
|  class | IntArrayAn immutable array of int. | 
|  class | LongArrayAn immutable array of long. | 
|  class | PowerlessArray<E>An immutable array containing powerless objects. | 
|  class | ShortArrayAn immutable array of short. | 
| Uses of Selfless in org.ref_send | 
|---|
| Subinterfaces of Selfless in org.ref_send | |
|---|---|
|  interface | RecordA pass-by-construction object. | 
| Uses of Selfless in org.ref_send.brand | 
|---|
| Classes in org.ref_send.brand that implement Selfless | |
|---|---|
|  class | Amount<T>A typed longvalue. | 
| Uses of Selfless in org.ref_send.log | 
|---|
| Classes in org.ref_send.log that implement Selfless | |
|---|---|
|  class | AnchorA marker for a point in an event loop turn where an event originated. | 
|  class | CallSiteA source code location. | 
|  class | CommentLogs a comment. | 
|  class | EventLogs an event. | 
|  class | FulfilledLogs fulfillment of a promise. | 
|  class | GotLogs receipt of a message. | 
|  class | PipelinedLogs a conditional send of a message processed at the callee's site. | 
|  class | ProblemLogs an uncaught exception. | 
|  class | ProgressedLogs progress towards resolution of a promise. | 
|  class | RejectedLogs rejection of a promise. | 
|  class | ResolvedLogs resolution of a condition. | 
|  class | ReturnedLogs sending of a return value. | 
|  class | SentLogs a message send. | 
|  class | SentIfLogs a conditional message send. | 
|  class | TraceA stack trace. | 
|  class | TurnAn event loop turn identifier. | 
| Uses of Selfless in org.ref_send.promise | 
|---|
| Classes in org.ref_send.promise that implement Selfless | |
|---|---|
|  class | Deferred<T>A return from an explicit promise creation. | 
|  class | Do<P,R>An eventual conditional code block. | 
|  class | EventualThe eventual operator. | 
|  class | Vat<T>A return from a vat creation. | 
| Uses of Selfless in org.ref_send.scope | 
|---|
| Classes in org.ref_send.scope that implement Selfless | |
|---|---|
|  class | Layout<T>Structural type of a Scope. | 
|  class | Scope<T>A { name : value }record. | 
| Uses of Selfless in org.waterken.bang | 
|---|
| Classes in org.waterken.bang that implement Selfless | |
|---|---|
|  class | DrumFactoryA Drumfactory. | 
| Uses of Selfless in org.waterken.bounce | 
|---|
| Classes in org.waterken.bounce that implement Selfless | |
|---|---|
|  class | AllTypesA record containing a field of each type. | 
| Uses of Selfless in org.waterken.serial | 
|---|
| Classes in org.waterken.serial that implement Selfless | |
|---|---|
|  class | Link<T>A resolved element of a series. | 
|  class | SeriesFactoryA Seriesfactory. | 
| Uses of Selfless in org.waterken.syntax | 
|---|
| Classes in org.waterken.syntax that implement Selfless | |
|---|---|
|  class | ExportA exported value. | 
|  class | SyntaxA serialization syntax. | 
| Uses of Selfless in org.waterken.syntax.json | 
|---|
| Classes in org.waterken.syntax.json that implement Selfless | |
|---|---|
|  class | JSONDeserializerDeserializes a JSON byte stream. | 
|  class | JSONSerializerSerializes an array of Java objects to a JSON byte stream. | 
| Uses of Selfless in org.waterken.trace | 
|---|
| Classes in org.waterken.trace that implement Selfless | |
|---|---|
|  class | TurnCounterAn event loop turn counter. | 
|  class | VerbosePrints comments to an output stream. | 
| 
 | ref_send API 2.17 defensive programming in Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
Copyright 1998-2009 Waterken Inc. under the terms of the MIT X license.