Index

A C D E H N S T V W
All Classes and Interfaces|All Packages

A

assemble(AssembleRequest) - Method in class network.ike.knowledge.provider.ChronologyStoreAssembler

C

ChronologyStoreAssembler - Class in network.ike.knowledge.provider

Assembles a knowledge base in a Spined Array store — the chronology-store KnowledgeBaseAssembler: an optional store-seed layer, ordered entity loads inside the bulk-load bracket, the stated navigation derived from the loaded stated definitions (StatedNavigationDeriver), and, by default, a full classification whose inferred axiom and navigation semantics make the assembled KB navigable the moment a browser opens it.

ChronologyStoreAssembler() - Constructor for class network.ike.knowledge.provider.ChronologyStoreAssembler

Creates the provider (ServiceLoader requirement).

ChronologyStoreExporter - Class in network.ike.knowledge.provider

Exports a knowledge set's change-set artifact from its ledger source — the chronology-store KnowledgeExporter: discovers the KnowledgeSetSource, replays the composed session into a fresh in-memory store, exports the store by real time (which excludes the store's startup sentinel stamp), and optionally extracts the koncept definitions from the same materialized store — one materialization, both artifacts.

ChronologyStoreExporter() - Constructor for class network.ike.knowledge.provider.ChronologyStoreExporter

Creates the provider (ServiceLoader requirement).

ChronologyStoreVerifier - Class in network.ike.knowledge.provider

The chronology-store KnowledgeVerifier: assembles a pristine throwaway store from the declared base plus the artifact under verification and runs the requested checks against it — never against the store that produced the artifact (IKE-Network/ike-issues#852, #951).

ChronologyStoreVerifier() - Constructor for class network.ike.knowledge.provider.ChronologyStoreVerifier

Creates the provider (ServiceLoader requirement).

conceptsConsidered() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Returns the value of the conceptsConsidered record component.

D

derive(ViewCoordinateRecord) - Static method in class network.ike.knowledge.provider.StatedNavigationDeriver

Derives and writes the stated navigation of every concept in the open store.

E

equals(Object) - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Indicates whether some other object is "equal to" this one.

export(ExportRequest) - Method in class network.ike.knowledge.provider.ChronologyStoreExporter

H

hashCode() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Returns a hash code value for this object.

N

network.ike.knowledge.provider - module network.ike.knowledge.provider

The chronology-store implementation of the IKE knowledge-pipeline SPI.

network.ike.knowledge.provider - package network.ike.knowledge.provider

Chronology-store providers for the IKE knowledge-pipeline SPI (network.ike.knowledge.spi).

S

semanticsCreated() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Returns the value of the semanticsCreated record component.

semanticsUpdated() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Returns the value of the semanticsUpdated record component.

StatedNavigationDeriver - Class in network.ike.knowledge.provider

Derives the stated navigation of every concept from its stated definition and writes it into the open store (IKE-Network/ike-issues#1123).

StatedNavigationDeriver.Summary - Record Class in network.ike.knowledge.provider

What one derivation did.

Summary(int, int, int) - Constructor for record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Creates an instance of a Summary record class.

T

toString() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Returns a string representation of this record class.

V

verify(VerifyRequest) - Method in class network.ike.knowledge.provider.ChronologyStoreVerifier

W

wroteAnything() - Method in record class network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Whether the derivation wrote anything.

A C D E H N S T V W
All Classes and Interfaces|All Packages