Uses of Interface
com.google.devtools.build.lib.server.FailureDetails.RemoteOptionsOrBuilder
Packages that use FailureDetails.RemoteOptionsOrBuilder
-
Uses of FailureDetails.RemoteOptionsOrBuilder in com.google.devtools.build.lib.server
Classes in com.google.devtools.build.lib.server that implement FailureDetails.RemoteOptionsOrBuilderModifier and TypeClassDescriptionstatic final classProtobuf typefailure_details.RemoteOptionsstatic final classProtobuf typefailure_details.RemoteOptionsMethods in com.google.devtools.build.lib.server that return FailureDetails.RemoteOptionsOrBuilderModifier and TypeMethodDescriptionFailureDetails.FailureDetail.Builder.getRemoteOptionsOrBuilder().failure_details.RemoteOptions remote_options = 106;FailureDetails.FailureDetail.getRemoteOptionsOrBuilder().failure_details.RemoteOptions remote_options = 106;FailureDetails.FailureDetailOrBuilder.getRemoteOptionsOrBuilder().failure_details.RemoteOptions remote_options = 106;