Record Class KonceptDefinition

java.lang.Object

java.lang.Record

network.ike.docs.koncept.KonceptDefinition

Record Components:

identifier - CamelCase identifier used in markup (e.g., "HeartFailure")

label - Human-readable label (e.g., "Heart Failure")

definition - Natural language definition text

axiom - Description logic axiom string using Unicode DL symbols

sctid - Optional SNOMED CT concept identifier

iri - Optional OWL IRI for the concept

uuids - Optional explicit Tinkar PublicId UUIDs, in datastore order, used to compute the Komet identicon; when absent the identicon is derived from sctid

kind - Optional component kind (concept, description, semantic, pattern, stamp, unknown); null or absent means concept (the bare default)

public record KonceptDefinition(String identifier, String label, String definition, String axiom, String sctid, String iri, List<String> uuids, String kind)
extends Record

Immutable definition of a Koncept, including natural language definition, description logic axiom, and optional terminology identifiers.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	KonceptDefinition.Builder	Builder for constructing KonceptDefinition instances from parsed YAML or programmatic sources.

Constructor Summary

Constructors

Constructor	Description
KonceptDefinition(String identifier, String label, String definition, String axiom, String sctid, String iri, List<String> uuids, String kind)	Creates an instance of a KonceptDefinition record class.

Method Summary

Modifier and Type	Method	Description
String	axiom()	Returns the value of the axiom record component.
static KonceptDefinition.Builder	builder()	Creates a new builder for constructing KonceptDefinition instances.
String	definition()	Returns the value of the definition record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
final int	hashCode()	Returns a hash code value for this object.
String	identifier()	Returns the value of the identifier record component.
String	iri()	Returns the value of the iri record component.
String	kind()	Returns the value of the kind record component.
String	label()	Returns the value of the label record component.
String	sctid()	Returns the value of the sctid record component.
final String	toString()	Returns a string representation of this record class.
List<String>	uuids()	Returns the value of the uuids record component.

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

KonceptDefinition

public KonceptDefinition(String identifier,
 String label,
 String definition,
 String axiom,
 String sctid,
 String iri,
 List<String> uuids,
 String kind)

Creates an instance of a KonceptDefinition record class.

Parameters:

identifier - the value for the identifier record component

label - the value for the label record component

definition - the value for the definition record component

axiom - the value for the axiom record component

sctid - the value for the sctid record component

iri - the value for the iri record component

uuids - the value for the uuids record component

kind - the value for the kind record component

Method Details

builder

public static KonceptDefinition.Builder builder()

Creates a new builder for constructing KonceptDefinition instances.

Returns:

a new builder

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

identifier

public String identifier()

Returns the value of the identifier record component.

Returns:

the value of the identifier record component

label

public String label()

Returns the value of the label record component.

Returns:

the value of the label record component

definition

public String definition()

Returns the value of the definition record component.

Returns:

the value of the definition record component

axiom

public String axiom()

Returns the value of the axiom record component.

Returns:

the value of the axiom record component

sctid

public String sctid()

Returns the value of the sctid record component.

Returns:

the value of the sctid record component

iri

public String iri()

Returns the value of the iri record component.

Returns:

the value of the iri record component

uuids

public List<String> uuids()

Returns the value of the uuids record component.

Returns:

the value of the uuids record component

kind

public String kind()

Returns the value of the kind record component.

Returns:

the value of the kind record component