public class DetectProofContext extends Object
| 限定符和类型 | 类和说明 |
|---|---|
static class |
DetectProofContext.Builder |
| 构造器和说明 |
|---|
DetectProofContext() |
DetectProofContext(DetectProofContext.Builder builder) |
| 限定符和类型 | 方法和说明 |
|---|---|
String |
getDetectName() |
ProofContext[] |
getProofContexts() |
static DetectProofContext.Builder |
newBuilder() |
void |
setDetectName(String detectName) |
void |
setProofContexts(ProofContext[] proofContexts) |
public DetectProofContext()
public DetectProofContext(DetectProofContext.Builder builder)
public static DetectProofContext.Builder newBuilder()
public String getDetectName()
public void setDetectName(String detectName)
public ProofContext[] getProofContexts()
public void setProofContexts(ProofContext[] proofContexts)
Copyright © 2026. All rights reserved.