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