public final class ProducerConfig extends Object
builder(EDbVendor).
Only settings that change what the document asserts live here; the analysis options the producer forces (plan 06, Section 3.1) are not configurable.
| Modifier and Type | Class and Description |
|---|---|
static class |
ProducerConfig.Builder
Builder.
|
static class |
ProducerConfig.Metadata
The metadata of an analysis (specification Section 6.2): the catalog GSP resolves against, the caller's
declaration of how complete it is, and every artifact it was built from (format id and the SHA-256 of the
bytes as supplied), which the analysis context's metadata digest covers.
|
| Modifier and Type | Field and Description |
|---|---|
static String |
PRESENT
Literal values appear in
CONSTANT inputs. |
static String |
PRODUCER_NAME
The producer name every document of this implementation declares; the version is the GSP version.
|
static String |
REDACTED
Literal values are withheld (the default).
|
| Modifier and Type | Method and Description |
|---|---|
static ProducerConfig.Builder |
builder(EDbVendor vendor) |
String |
getAuthorityDomain()
The caller-declared authority domain, used byte for byte;
null means a PRODUCER_DEFAULT authority. |
String |
getConstantDisclosure()
|
String |
getCreatedAt()
The optional
createdAt of the header; never read from a clock. |
String |
getDefaultDatabase() |
String |
getDefaultSchema() |
String |
getDefaultServer() |
int |
getMaxFoldStates() |
int |
getMaxFoldWorlds() |
ProducerConfig.Metadata |
getMetadata()
The metadata the caller supplies, or
null (metadata status NONE). |
String |
getProducerName()
The analysing implementation: always
PRODUCER_NAME; not settable, it identifies the analyzer. |
String |
getProducerVersion() |
EDbVendor |
getVendor() |
boolean |
isAnalyzeDynamicSql() |
public static final String PRODUCER_NAME
public static final String PRESENT
CONSTANT inputs.public static final String REDACTED
public static ProducerConfig.Builder builder(EDbVendor vendor)
public String getAuthorityDomain()
null means a PRODUCER_DEFAULT authority.public ProducerConfig.Metadata getMetadata()
null (metadata status NONE).public String getDefaultServer()
public String getDefaultDatabase()
public String getDefaultSchema()
public String getConstantDisclosure()
public boolean isAnalyzeDynamicSql()
public int getMaxFoldStates()
public int getMaxFoldWorlds()
public String getProducerName()
PRODUCER_NAME; not settable, it identifies the analyzer.public String getProducerVersion()
public String getCreatedAt()
createdAt of the header; never read from a clock.