functionality_verifier_t Derived Type

type, public :: functionality_verifier_t

Main functionality verifier with comprehensive testing capabilities


Components

Type Visibility Attributes Name Initial
character(len=256), public :: baseline_directory
character(len=256), public :: output_directory
character(len=256), public :: evidence_directory
logical, public :: performance_monitoring_enabled
logical, public :: regression_detection_enabled
logical, public :: ci_integration_enabled
real(kind=wp), public :: performance_baseline_time
integer, public :: baseline_count
type(baseline_t), public, dimension(MAX_BASELINE_FILES) :: baselines

Type-Bound Procedures

procedure, public :: initialize_verifier

  • private subroutine initialize_verifier(this, baseline_dir, output_dir, evidence_dir)

    Initialize verifier with comprehensive settings

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(inout) :: this
    character(len=*), intent(in) :: baseline_dir
    character(len=*), intent(in) :: output_dir
    character(len=*), intent(in) :: evidence_dir

procedure, public :: load_baselines

  • private subroutine load_baselines(this)

    Load baseline data for comparison

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(inout) :: this

procedure, public :: save_baselines

  • private subroutine save_baselines(this)

    Save baseline data for future comparisons

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(inout) :: this

procedure, public :: verify_api_functionality

  • private subroutine verify_api_functionality(this, report)

    Verify API functionality preservation

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: verify_plotting_functionality

  • private subroutine verify_plotting_functionality(this, report)

    Verify plotting functionality preservation

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: verify_backend_functionality

  • private subroutine verify_backend_functionality(this, report)

    Verify backend functionality preservation

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: verify_performance

  • private subroutine verify_performance(this, report)

    Verify performance characteristics are maintained

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: verify_output_integrity

  • private subroutine verify_output_integrity(this, report)

    Verify output file integrity

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: detect_regressions

  • private subroutine detect_regressions(this, report)

    Detect functionality regressions

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(in) :: this
    type(verification_report_t), intent(inout) :: report

procedure, public :: run_verification_suite

  • private subroutine run_verification_suite(this, report)

    Run complete verification suite

    Arguments

    Type IntentOptional Attributes Name
    class(functionality_verifier_t), intent(inout) :: this
    type(verification_report_t), intent(inout) :: report