ref_send API 1.16

Defensive programming in Java.

See:
Description

Joe-E Language

org.joe_e

Core Joe-E language features such as the Joe-E verified interfaces and methods for access to the overlay type system.

Pass-By-Construction

org.ref_send

A pass-by-construction interface.

Eventual Control Flow

org.ref_send.promise	A promise interface.
org.ref_send.promise.eventual	Event loop operations.

Example Applications

org.ref_send.test	A simple test interface.
org.waterken.all	Runs all tests.
org.waterken.bang	A simple demonstration and test of eventual operations.
org.waterken.bounce	An argument passing test.
org.waterken.eq	Checks invariants of the ref_send API.
org.waterken.factorial	A tail recursive factorial implementation.
org.waterken.put	A Variable test.
org.waterken.serial	An infinite series of elements.

Collection

org.joe_e.array	Read-only arrays.
org.ref_send.list	A linked list.
org.ref_send.var	A variable implementation.

Reflection

org.joe_e.reflect	The reflection interface.
org.joe_e.taming	The taming database.
org.ref_send.type	Type definition manipulation.

I/O

org.joe_e.charset	This package provides access to functions that require the use of Java character sets.
org.joe_e.file	The filesystem interface.

Web Datatypes

org.web_send	Inter-model messaging.
org.web_send.graph	A reference graph interface.
org.web_send.split	A helper API for spawning models.

Application Widgets

org.waterken.menu

An editable list of Variables.

Defensive programming in Java.

This library provides defensive programming primitives for the Java language similar to those defined in Mark Miller's dissertation: "Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control". Through clever use of naming conventions and Java 1.5 language features, ref_send provides a syntactically convenient language for implementing defensively consistent Java classes. By using ref_send in tandem with the Joe-E verifier, developers can program in the object-capability paradigm using their preferred Java IDE and deploy their applications on stock JVMs with the performance characteristics of code written in the Java language.