Data is a value that can be fully represented by bits.
It can be serialized for persistent storage or transfer
over the network. The fields of the data object must
also be data. Most entities in a typical program--such
as integers and strings--are data.
The library provides a lot of functionality for subtypes of data,
such as equivalence predicates, hash functions, and serializers.
Examples of values that are not data are a clock or a file
descriptor--since they refer to entities that cannot be packaged and
sent over the network.
Related concepts in Java are Serializable and Cloneable.
concept data
Declaration: data
Announcements: data
Direct supertypes: value
All supertypes: entity
Direct subtypes: void / boolean / sign / integer / null / function / character / string / identifier / character handler / text fragment / access option / extension / message / graph / gregorian day / gregorian month / test1 / underline style / my data / my data2 / edge / json token
All subtypes: nonnegative / missing / predicate / relation / equivalence relation / equivalence with hash / order / pattern / reversible pattern / matcher / attribute fragment / text node / text element / list text node / list attribute fragment / special text / string text node / element id / attribute id / text namespace / resource identifier / log message / base string / number order / base pattern / one pattern / singleton pattern / predicate pattern / base repeat element / repeat element / sequence pattern / procedure matcher / sequence matcher / option pattern / repeat pattern / option matcher / repeat matcher / list pattern / base namespace / base element id / base attribute id / text entity / base element / base list text node / base list attribute fragment / base extension / base resource identifier / make catalog option / simple message / base graph / base gregorian month
Use: graph / graph / test runtime util / test runtime util / test runtime util / test runtime util / base graph / base graph / base graph / base graph / json parser / json parser / json parser / json parser