Package com.tonic.analysis.verifier
Class Verifier.Builder
- java.lang.Object
-
- com.tonic.analysis.verifier.Verifier.Builder
-
-
Constructor Summary
Constructors Constructor Description Builder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Verifierbuild()Builds the verifier, defaulting toVerifierConfig.defaults()when no config was set.Verifier.BuilderclassPool(ClassPool classPool)Sets the class pool used for cross-class type checks.Verifier.BuildercollectAll()Selects COLLECT_ALL error mode.Verifier.Builderconfig(VerifierConfig config)Sets the full verifier configuration.Verifier.BuildererrorMode(VerifierConfig.ErrorMode mode)Sets the error mode, rebuilding the config to keep any other settings already chosen.Verifier.BuilderfailFast()Selects FAIL_FAST error mode.
-
-
-
Method Detail
-
config
public Verifier.Builder config(VerifierConfig config)
Sets the full verifier configuration.- Parameters:
config- the configuration- Returns:
- this builder
-
classPool
public Verifier.Builder classPool(ClassPool classPool)
Sets the class pool used for cross-class type checks.- Parameters:
classPool- the class pool- Returns:
- this builder
-
errorMode
public Verifier.Builder errorMode(VerifierConfig.ErrorMode mode)
Sets the error mode, rebuilding the config to keep any other settings already chosen.- Parameters:
mode- the error mode- Returns:
- this builder
-
failFast
public Verifier.Builder failFast()
Selects FAIL_FAST error mode.- Returns:
- this builder
-
collectAll
public Verifier.Builder collectAll()
Selects COLLECT_ALL error mode.- Returns:
- this builder
-
build
public Verifier build()
Builds the verifier, defaulting toVerifierConfig.defaults()when no config was set.- Returns:
- the verifier
-
-