Package com.io7m.coffeepick.runtime
Interface RuntimeRepositoryDescriptionType
- All Known Implementing Classes:
RuntimeRepositoryDescription
@Immutable
public interface RuntimeRepositoryDescriptionType
A repository of runtimes.
-
Method Summary
Modifier and Type Method Description RuntimeRepositoryBranding
branding()
default void
checkPreconditions()
Check preconditions for the type.java.net.URI
id()
java.util.Map<java.lang.String,RuntimeDescription>
runtimes()
java.util.Optional<java.time.OffsetDateTime>
updated()
-
Method Details
-
id
java.net.URI id()- Returns:
- The unique ID of the repository
-
updated
java.util.Optional<java.time.OffsetDateTime> updated()- Returns:
- The time of the last update of the repository
-
runtimes
java.util.Map<java.lang.String,RuntimeDescription> runtimes()- Returns:
- The runtimes available in the repository
-
branding
RuntimeRepositoryBranding branding()- Returns:
- Branding information for the repository
-
checkPreconditions
@Check default void checkPreconditions()Check preconditions for the type.
-