Class Property


  • public class Property
    extends java.lang.Object
    • Field Detail

      • SERVER_BACKEND_CAN_INVOKE_DIRECTLY_DEFAULT

        public static final boolean SERVER_BACKEND_CAN_INVOKE_DIRECTLY_DEFAULT
        See Also:
        Constant Field Values
      • SERVER_BACKEND_DOCKER_IMAGE_NAME_DEFAULT

        public static final java.lang.String SERVER_BACKEND_DOCKER_IMAGE_NAME_DEFAULT
        See Also:
        Constant Field Values
      • SERVER_HOST_DEFAULT

        public static final java.lang.String SERVER_HOST_DEFAULT
        See Also:
        Constant Field Values
      • AVOID_REDUNDANT_INJECTIONS_DEFAULT

        public static final boolean AVOID_REDUNDANT_INJECTIONS_DEFAULT
        filibuster.test.avoid_redundant_injections
        See Also:
        Constant Field Values
      • FAIL_ON_ORGANIC_FAILURES_DEFAULT

        public static final boolean FAIL_ON_ORGANIC_FAILURES_DEFAULT
        filibuster.test.fail_on_organic_failures
        See Also:
        Constant Field Values
      • AVOID_INJECTIONS_ON_ORGANIC_FAILURES_DEFAULT

        public static final boolean AVOID_INJECTIONS_ON_ORGANIC_FAILURES_DEFAULT
        filibuster.test.avoid_injections_on_organic_failures
        See Also:
        Constant Field Values
      • DATA_NONDETERMINISM_DEFAULT

        public static final boolean DATA_NONDETERMINISM_DEFAULT
        filibuster.test.data_nondeterminism
        See Also:
        Constant Field Values
      • MAX_ITERATIONS_DEFAULT

        public static final int MAX_ITERATIONS_DEFAULT
        filibuster.test.max_iteratons
        See Also:
        Constant Field Values
      • SUPPRESS_COMBINATIONS_DEFAULT

        public static final boolean SUPPRESS_COMBINATIONS_DEFAULT
        filibuster.test.suppress_combinations
        See Also:
        Constant Field Values
      • REDIS_PORT_NONDETERMINISM_DEFAULT

        public static final boolean REDIS_PORT_NONDETERMINISM_DEFAULT
        filibuster.test.redis.port_nondeterminism
        See Also:
        Constant Field Values
      • RANDOM_SEED_DEFAULT

        public static final int RANDOM_SEED_DEFAULT
        filibuster.random_seed
        See Also:
        Constant Field Values
      • TEST_V2_EXCEPTION_DEFAULT

        public static final boolean TEST_V2_EXCEPTION_DEFAULT
        filibuster.test.v2.exception
        See Also:
        Constant Field Values
      • TEST_V2_RETURN_VALUE_DEFAULT

        public static final boolean TEST_V2_RETURN_VALUE_DEFAULT
        filibuster.test.v2.return_value
        See Also:
        Constant Field Values
      • TEST_V2_ARGUMENTS_DEFAULT

        public static final boolean TEST_V2_ARGUMENTS_DEFAULT
        filibuster.test.v2.arguments
        See Also:
        Constant Field Values
      • FAIL_IF_FAULT_INJECTION_MISMATCH_DEFAULT

        public static final boolean FAIL_IF_FAULT_INJECTION_MISMATCH_DEFAULT
        filibuster.test.fail_if_fault_injection_mismatch
        See Also:
        Constant Field Values
      • FAIL_IF_FAULT_NOT_INJECTED_DEFAULT

        public static final boolean FAIL_IF_FAULT_NOT_INJECTED_DEFAULT
        filibuster.test.fail_if_fault_not_injected
        See Also:
        Constant Field Values
      • FAIL_IF_FAULT_NOT_INJECTED_AND_A_TRACKED_METHOD_IS_INVOKED_DEFAULT

        public static final boolean FAIL_IF_FAULT_NOT_INJECTED_AND_A_TRACKED_METHOD_IS_INVOKED_DEFAULT
        filibuster.test.fail_if_fault_not_injected_and_a_tracked_method_is_invoked
        See Also:
        Constant Field Values
    • Method Detail

      • setServerBackendCanInvokeDirectlyProperty

        public static void setServerBackendCanInvokeDirectlyProperty​(boolean canInvokeDirectly)
      • getServerBackendCanInvokeDirectlyProperty

        public static boolean getServerBackendCanInvokeDirectlyProperty()
      • setServerBackendDockerImageNameProperty

        public static void setServerBackendDockerImageNameProperty​(java.lang.String dockerImageName)
      • getServerBackendDockerImageNameProperty

        public static java.lang.String getServerBackendDockerImageNameProperty()
      • setServerPortProperty

        public static void setServerPortProperty​(int port)
      • getServerPortProperty

        public static int getServerPortProperty()
      • setServerHostProperty

        public static void setServerHostProperty​(java.lang.String host)
      • getServerHostProperty

        public static java.lang.String getServerHostProperty()
      • setDaikonEnabledProperty

        public static void setDaikonEnabledProperty​(boolean value)
      • getDaikonEnabledProperty

        public static boolean getDaikonEnabledProperty()
      • setEnabledProperty

        public static void setEnabledProperty​(boolean value)
      • getEnabledProperty

        public static boolean getEnabledProperty()
      • setTestAvoidRedundantInjectionsProperty

        public static void setTestAvoidRedundantInjectionsProperty​(boolean value)
      • getTestAvoidRedundantInjectionsProperty

        public static boolean getTestAvoidRedundantInjectionsProperty()
      • setTestFailOnOrganicFailuresProperty

        public static void setTestFailOnOrganicFailuresProperty​(boolean value)
      • getTestFailOnOrganicFailuresProperty

        public static boolean getTestFailOnOrganicFailuresProperty()
      • setTestAvoidInjectionsOnOrganicFailuresProperty

        public static void setTestAvoidInjectionsOnOrganicFailuresProperty​(boolean value)
      • getTestAvoidInjectionsOnOrganicFailuresProperty

        public static boolean getTestAvoidInjectionsOnOrganicFailuresProperty()
      • setTestDataNondeterminismProperty

        public static void setTestDataNondeterminismProperty​(boolean value)
      • getTestDataNondeterminismProperty

        public static boolean getTestDataNondeterminismProperty()
      • setTestMaxIterationsProperty

        public static void setTestMaxIterationsProperty​(int value)
      • getTestMaxIterationsProperty

        public static int getTestMaxIterationsProperty()
      • setTestSuppressCombinationsProperty

        public static void setTestSuppressCombinationsProperty​(boolean value)
      • getTestSuppressCombinationsProperty

        public static boolean getTestSuppressCombinationsProperty()
      • setTestAnalysisResourceFileProperty

        public static void setTestAnalysisResourceFileProperty​(java.lang.String value)
      • getTestAnalysisResourceFileProperty

        public static java.lang.String getTestAnalysisResourceFileProperty()
      • setInstrumentationEnabledProperty

        public static void setInstrumentationEnabledProperty​(boolean value)
      • getInstrumentationEnabledProperty

        public static boolean getInstrumentationEnabledProperty()
      • setInstrumentationCounterexampleFileProperty

        public static void setInstrumentationCounterexampleFileProperty​(java.lang.String value)
      • getInstrumentationCounterexampleFileProperty

        @Nullable
        public static java.lang.String getInstrumentationCounterexampleFileProperty()
      • setInstrumentationServerCommunicationEnabledProperty

        public static void setInstrumentationServerCommunicationEnabledProperty​(boolean value)
      • getInstrumentationServerCommunicationEnabledProperty

        public static boolean getInstrumentationServerCommunicationEnabledProperty()
      • setCallsiteStackTraceWhitelistProperty

        public static void setCallsiteStackTraceWhitelistProperty​(java.lang.String value)
      • getCallsiteStackTraceWhitelistProperty

        @Nullable
        public static java.lang.String getCallsiteStackTraceWhitelistProperty()
      • setCallsiteRemoveImportsFromStackTraceProperty

        public static void setCallsiteRemoveImportsFromStackTraceProperty​(boolean value)
      • getCallsiteRemoveImportsFromStackTraceProperty

        public static boolean getCallsiteRemoveImportsFromStackTraceProperty()
      • setClientInstrumentorUseOverrideRequestIdProperty

        public static void setClientInstrumentorUseOverrideRequestIdProperty​(boolean value)
      • getClientInstrumentorUseOverrideRequestIdProperty

        public static boolean getClientInstrumentorUseOverrideRequestIdProperty()
      • setCallsiteLineNumberProperty

        public static void setCallsiteLineNumberProperty​(boolean value)
      • getCallsiteLineNumberProperty

        public static boolean getCallsiteLineNumberProperty()
      • setReportsTestSuiteReportEnabledProperty

        public static void setReportsTestSuiteReportEnabledProperty​(boolean value)
      • getReportsTestSuiteReportEnabledProperty

        public static boolean getReportsTestSuiteReportEnabledProperty()
      • setRedisTestPortNondeterminismProperty

        public static void setRedisTestPortNondeterminismProperty​(boolean value)
      • getRedisTestPortNondeterminismProperty

        public static boolean getRedisTestPortNondeterminismProperty()
      • setRandomSeedProperty

        public static void setRandomSeedProperty​(int value)
      • getRandomSeedProperty

        public static int getRandomSeedProperty()
      • setTestV2Exception

        public static void setTestV2Exception​(boolean value)
      • getTestV2Exception

        public static boolean getTestV2Exception()
      • setTestV2ReturnValue

        public static void setTestV2ReturnValue​(boolean value)
      • getTestV2ReturnValue

        public static boolean getTestV2ReturnValue()
      • setTestV2Arguments

        public static void setTestV2Arguments​(boolean value)
      • getTestV2Arguments

        public static boolean getTestV2Arguments()
      • setFailIfFaultInjectionMismatch

        public static void setFailIfFaultInjectionMismatch​(boolean value)
      • getFailIfFaultInjectionMismatch

        public static boolean getFailIfFaultInjectionMismatch()
      • setFailIfFaultNotInjectedProperty

        public static void setFailIfFaultNotInjectedProperty​(boolean value)
      • getFailIfFaultNotInjectedProperty

        public static boolean getFailIfFaultNotInjectedProperty()
      • setFailIfFaultNotInjectedAndATrackedMethodIsInvokedProperty

        public static void setFailIfFaultNotInjectedAndATrackedMethodIsInvokedProperty​(boolean value)
      • getFailIfFaultNotInjectedAndATrackedMethodIsInvokedProperty

        public static boolean getFailIfFaultNotInjectedAndATrackedMethodIsInvokedProperty()