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 class	FailureDetails.CrashOptions	Protobuf type failure_details.CrashOptions
static 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;