Top

Reference-values

Reference-value

Fixtype of Java reference values [JLS14:4.3.1].

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:pointer → reference-value-pointer
:null → reference-value-null

A reference value is either a pointer (to an object) or the null reference.

Subtopics

Reference-value-fix: Fixing function for reference-value structures.
Reference-value-case: Case macro for the different kinds of reference-value structures.
Reference-value-equiv: Basic equivalence relation for reference-value structures.
Reference-valuep: Recognizer for reference-value structures.
Reference-value-pointer
Reference-value-null
Reference-value-kind: Get the kind (tag) of a reference-value structure.