Record Class ServiceRouteDetails

java.lang.Object
java.lang.Record
org.ek9lang.compiler.ir.data.ServiceRouteDetails
Record Components:
serviceFqn - Fully qualified service name (e.g., "example.services::DataService")
baseUri - Service base URI (e.g., "/data")
routes - One entry per service operation
debugInfo - Source location of the service declaration

public record ServiceRouteDetails(String serviceFqn, String baseUri, List<ServiceRouteDetails.RouteEntry> routes, DebugInfo debugInfo) extends Record
Complete route table for a single EK9 service.

Contains all HTTP metadata needed by backends to generate request routing, parameter extraction, and handler registration — without any symbol table access. All type references are FQN strings, following the same pattern as AspectProxyDetails.

  • Constructor Details

  • Method Details

    • routeCount

      public int routeCount()
      Get the number of routes in this service.
    • 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
    • baseUri

      public String baseUri()
      Returns the value of the baseUri record component.
      Returns:
      the value of the baseUri record component
    • routes

      Returns the value of the routes record component.
      Returns:
      the value of the routes record component
    • debugInfo

      public DebugInfo debugInfo()
      Returns the value of the debugInfo record component.
      Returns:
      the value of the debugInfo record component