options
API
Generated with
options/scala.build/scala.build.options/JavaOptions

JavaOptions

scala.build.options.JavaOptions
See theJavaOptions companion object
final case class JavaOptions(javaHomeOpt: Option[Positioned[Path]], jvmIdOpt: Option[Positioned[String]], jvmIndexOpt: Option[String], jvmIndexOs: Option[String], jvmIndexArch: Option[String], javaOpts: ShadowingSeq[Positioned[JavaOpt]], javacPluginDependencies: Seq[Positioned[AnyDependency]], javacPlugins: Seq[Positioned[Path]], javacOptions: Seq[Positioned[String]])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def javaHome(archiveCache: ArchiveCache[Task], cache: FileCache[Task], verbosity: Int): Positioned[JavaHomeInfo]
def javaHomeLocation(archiveCache: ArchiveCache[Task], cache: FileCache[Task], verbosity: Int): Positioned[Path]
def javaHomeLocationOpt(archiveCache: ArchiveCache[Task], cache: FileCache[Task], verbosity: Int): Option[Positioned[Path]]
def javaHomeManager(archiveCache: ArchiveCache[Task], cache: FileCache[Task], verbosity: Int): JavaHome

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with