Uses of Interface
com.google.devtools.build.lib.server.FailureDetails.CrashOptionsOrBuilder

Packages that use FailureDetails.CrashOptionsOrBuilder

Package	Description
com.google.devtools.build.lib.server

Uses of FailureDetails.CrashOptionsOrBuilder in com.google.devtools.build.lib.server

Classes in com.google.devtools.build.lib.server that implement FailureDetails.CrashOptionsOrBuilder

Modifier and Type	Class	Description
static final class	FailureDetails.CrashOptions	Protobuf type failure_details.CrashOptions
static final class	FailureDetails.CrashOptions.Builder	Protobuf type failure_details.CrashOptions

Methods in com.google.devtools.build.lib.server that return FailureDetails.CrashOptionsOrBuilder

Modifier and Type	Method	Description
FailureDetails.CrashOptionsOrBuilder	FailureDetails.FailureDetail.Builder.getCrashOptionsOrBuilder()	.failure_details.CrashOptions crash_options = 118;
FailureDetails.CrashOptionsOrBuilder	FailureDetails.FailureDetail.getCrashOptionsOrBuilder()	.failure_details.CrashOptions crash_options = 118;
FailureDetails.CrashOptionsOrBuilder	FailureDetails.FailureDetailOrBuilder.getCrashOptionsOrBuilder()	.failure_details.CrashOptions crash_options = 118;