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

Packages that use FailureDetails.ExecutionOptionsOrBuilder

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

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

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

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

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

Modifier and Type	Method	Description
FailureDetails.ExecutionOptionsOrBuilder	FailureDetails.FailureDetail.Builder.getExecutionOptionsOrBuilder()	.failure_details.ExecutionOptions execution_options = 121;
FailureDetails.ExecutionOptionsOrBuilder	FailureDetails.FailureDetail.getExecutionOptionsOrBuilder()	.failure_details.ExecutionOptions execution_options = 121;
FailureDetails.ExecutionOptionsOrBuilder	FailureDetails.FailureDetailOrBuilder.getExecutionOptionsOrBuilder()	.failure_details.ExecutionOptions execution_options = 121;