Record Class ProgramDetails
java.lang.Object
java.lang.Record
org.ek9lang.compiler.ir.data.ProgramDetails
public record ProgramDetails(String qualifiedName, List<ParameterDetails> parameterSignature, @Nullable String applicationName)
extends Record
Represents details about an EK9 program for the PROGRAM_ENTRY_POINT_BLOCK.
Contains all information needed by backends to generate type-safe program selection
and argument conversion logic.
-
Constructor Summary
ConstructorsConstructorDescriptionProgramDetails
(String qualifiedName, List<ParameterDetails> parameterSignature, String applicationName) Creates an instance of aProgramDetails
record class. -
Method Summary
Modifier and TypeMethodDescriptionReturns the value of theapplicationName
record component.final boolean
Indicates whether some other object is "equal to" this one.boolean
Check if this program has an associated Application for dependency injection.final int
hashCode()
Returns a hash code value for this object.Returns the value of theparameterSignature
record component.Returns the value of thequalifiedName
record component.toString()
Returns a string representation of this record class.
-
Constructor Details
-
ProgramDetails
public ProgramDetails(String qualifiedName, List<ParameterDetails> parameterSignature, @Nullable String applicationName) Creates an instance of aProgramDetails
record class.- Parameters:
qualifiedName
- the value for thequalifiedName
record componentparameterSignature
- the value for theparameterSignature
record componentapplicationName
- the value for theapplicationName
record component
-
-
Method Details
-
hasApplication
public boolean hasApplication()Check if this program has an associated Application for dependency injection. -
toString
-
hashCode
-
equals
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 withObjects::equals(Object,Object)
. -
qualifiedName
Returns the value of thequalifiedName
record component.- Returns:
- the value of the
qualifiedName
record component
-
parameterSignature
Returns the value of theparameterSignature
record component.- Returns:
- the value of the
parameterSignature
record component
-
applicationName
Returns the value of theapplicationName
record component.- Returns:
- the value of the
applicationName
record component
-