Package avail.interpreter.primitive.pojos

Primitive: Given a value that can be successfully marshaled to Java and a string that names an instance field of that value, bind the field to a variable such that reads and writes of this variable pass through to the bound field.

Primitive: Given a type that can be successfully marshaled to a Java type and a string that names a staticfield of that type, bind the static field to a variable such that reads and writes of this variable pass through to the bound field.

Primitive: Create a pojo array that stores and answers elements of the specified Avail type and has the specified length.

Primitive: Create a pojo array type for the specified type and range of sizes.

Primitive: Given a type that can be successfully marshaled to a Java type, and a tuple of parameter types, create a function that when applied will produce a new instance of the defining Java type. The instance is created by invoking a reflected Java Constructor with arguments conforming to the marshaling of the parameter types. If the new instance has a preferred Avail surrogate type, then marshal the value to the surrogate type prior to answering it.

Primitive: Given a type that can be successfully marshaled to a Java type, a string that names an instance method of that type, and a tuple of parameter types, create a function that when applied will invoke the instance method. The instance method is invoked with arguments conforming to the marshaling of the receiver type and then the parameter types. If the return value has a preferred Avail surrogate type, then marshal the value to the surrogate type prior to answering it.

Primitive: Given a type that can be successfully marshaled to a Java type, a string that names a staticmethod of that type, and a tuple of parameter types, create a function that when applied will invoke the static method. The static method is invoked with arguments conforming to the marshaling of the parameter types. If the return value has a preferred Avail surrogate type, then marshal the value to the surrogate type prior to answering it.

Primitive: Answer the type that represents the Java Class specified by the given fully-qualified name and type parameters. The result is either an Avail type or a pojo type.

Primitive: Convert the specified pojo array to a tuple.

Primitive: Given zero or more arguments, invoke the Callback that's in a pojo stored in the sole outer variable.

Primitive: Given arguments that start with the receiver of a Java Method, followed by the method's own arguments, invoke the method. Note that this is a late-bound invocation, so it dynamically locates the actual Java code to invoke.

Primitive: Invoke a Java Constructor, passing marshaled forms of this primitive's arguments. Unmarshal the resulting object as needed.

Primitive: Invoke a static Java Method, passing marshaled forms of this primitive's arguments. Unmarshal the resulting object as needed.

Primitive: Get the element that resides at the given subscript of the specified pojo array type.

Primitive: Answer the length of the specified pojo array.

Primitive: Overwrite the element that resides at the given subscript of the specified pojo array.

Primitive: Answer the content type of the specified pojo array type.

Primitive: Answer the cardinality restriction of the specified pojo array type.

PrimitiveHelper aggregates utility functions for reuse by the various pojo subsystem primitives.