Record Class ServiceRegistrationDetails

java.lang.Object

java.lang.Record

org.ek9lang.compiler.ir.data.ServiceRegistrationDetails

Record Components:

serviceFqn - Fully qualified service name (e.g., "example.services::DataService")

routeDetails - The complete route table for this service

debugInfo - Source location of the registration statement

public record ServiceRegistrationDetails(String serviceFqn, ServiceRouteDetails routeDetails, DebugInfo debugInfo)
extends Record

A single service registration within an application.

When an application uses register ServiceType(), the application's _prepare method needs both the service FQN and its full route table. This record pairs the application-level registration concept with the service-level route metadata.

Created during application IR generation (Step 4) when processing service registrations. The ServiceRouteDetails is looked up from the service's IRConstruct.

Constructor Summary

Constructors

Constructor	Description
ServiceRegistrationDetails(String serviceFqn, ServiceRouteDetails routeDetails, DebugInfo debugInfo)	Create service registration details with validation.

Method Summary

Modifier and Type	Method	Description
DebugInfo	debugInfo()	Returns the value of the debugInfo 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.
ServiceRouteDetails	routeDetails()	Returns the value of the routeDetails record component.
String	serviceFqn()	Returns the value of the serviceFqn record component.
String	toString()	Returns a string representation of this record class.

Methods inherited from class Object

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

Constructor Details

ServiceRegistrationDetails

public ServiceRegistrationDetails(String serviceFqn,
 ServiceRouteDetails routeDetails,
 DebugInfo debugInfo)

Create service registration details with validation.

Method Details

toString

@Nonnull
public 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.

serviceFqn

public String serviceFqn()

Returns the value of the serviceFqn record component.

Returns:

the value of the serviceFqn record component

routeDetails

public ServiceRouteDetails routeDetails()

Returns the value of the routeDetails record component.

Returns:

the value of the routeDetails record component

debugInfo

public DebugInfo debugInfo()

Returns the value of the debugInfo record component.

Returns:

the value of the debugInfo record component