Module aya.cli.impl

Record Class DiskLibraryOwner

java.lang.Object
java.lang.Record
org.aya.cli.library.source.DiskLibraryOwner
All Implemented Interfaces:
LibraryOwner, MutableLibraryOwner

public record DiskLibraryOwner(@NotNull org.aya.util.error.SourceFileLocator locator, @NotNull kala.collection.mutable.MutableList<Path> modulePathMut, @NotNull kala.collection.mutable.MutableList<LibraryOwner> libraryDepsMut, @NotNull kala.collection.mutable.MutableList<LibrarySource> librarySourcesMut, @NotNull LibraryConfig underlyingLibrary) extends Record implements MutableLibraryOwner
A library that lives in the file system.