source_term.f90

Go to the documentation of this file.

! Copyright (c) 2023, The Neko Authors
! All rights reserved.
!
! Redistribution and use in source and binary forms, with or without
! modification, are permitted provided that the following conditions
! are met:
!
!   * Redistributions of source code must retain the above copyright
!     notice, this list of conditions and the following disclaimer.
!
!   * Redistributions in binary form must reproduce the above
!     copyright notice, this list of conditions and the following
!     disclaimer in the documentation and/or other materials provided
!     with the distribution.
!
!   * Neither the name of the authors nor the names of its
!     contributors may be used to endorse or promote products derived
!     from this software without specific prior written permission.
!
! THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
! "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
! LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
! FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
! COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
! INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
! BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
! LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
! CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
! LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
! ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
! POSSIBILITY OF SUCH DAMAGE.
!
module source_term
  use num_types, only : rp
  use coefs, only : coef_t
  use field_list, only : field_list_t
  use json_module, only : json_file
  implicit none
  private
 
  type, abstract, public :: source_term_t
     type(field_list_t) :: fields
     type(coef_t), pointer :: coef => null()
     real(kind=rp) :: start_time = 0.0_rp
     real(kind=rp) :: end_time = huge(0.0_rp)
   contains
     procedure, pass(this) :: init_base => source_term_init_base
     procedure, pass(this) :: free_base => source_term_free_base
     procedure, pass(this) :: compute => source_term_compute_wrapper
     procedure(source_term_init), pass(this), deferred :: init
     procedure(source_term_free), pass(this), deferred :: free
     procedure(source_term_compute), pass(this), deferred :: compute_
  end type source_term_t
  type, abstract, public :: source_term_t …
 
 
  type, public :: source_term_wrapper_t
     class(source_term_t), allocatable :: source_term
   contains
     procedure, pass(this) :: free => source_term_wrapper_free
  end type source_term_wrapper_t
  type, public :: source_term_wrapper_t …
 
  abstract interface
 
     subroutine source_term_init(this, json, fields, coef)
       import source_term_t, json_file, field_list_t, coef_t
       class(source_term_t), intent(inout) :: this
       type(json_file), intent(inout) :: json
       type(field_list_t), intent(in), target :: fields
       type(coef_t), intent(in), target :: coef
     subroutine source_term_init(this, json, fields, coef) …
     end subroutine source_term_init
  end interface
 
  abstract interface
 
     subroutine source_term_free(this)
       import source_term_t
       class(source_term_t), intent(inout) :: this
     subroutine source_term_free(this) …
     end subroutine source_term_free
  end interface
 
  abstract interface
 
     subroutine source_term_compute(this, t, tstep)
       import source_term_t, rp
       class(source_term_t), intent(inout) :: this
       real(kind=rp), intent(in) :: t
       integer, intent(in) :: tstep
     subroutine source_term_compute(this, t, tstep) …
     end subroutine source_term_compute
  end interface
 
  interface
 
     module subroutine source_term_factory(object, json, fields, coef)
       class(source_term_t), allocatable, intent(inout) :: object
       type(json_file), intent(inout) :: json
       type(field_list_t), intent(inout) :: fields
       type(coef_t), intent(inout) :: coef
     end subroutine source_term_factory
  end interface
 
  interface
 
     module subroutine source_term_allocator(object, type_name)
       class(source_term_t), allocatable, intent(inout) :: object
       character(len=:), allocatable, intent(in) :: type_name
     end subroutine source_term_allocator
  end interface
 
  !
  ! Machinery for injecting user-defined types
  !
 
  abstract interface
     subroutine source_term_allocate(obj)
       import source_term_t
       class(source_term_t), allocatable, intent(inout) :: obj
     subroutine source_term_allocate(obj) …
     end subroutine source_term_allocate
  end interface
 
  interface
 
     module subroutine register_source_term(type_name, allocator)
       character(len=*), intent(in) :: type_name
       procedure(source_term_allocate), pointer, intent(in) :: allocator
     end subroutine register_source_term
  end interface
 
  ! A name-allocator pair for user-defined types. A helper type to define a
  ! registry of custom allocators.
  type allocator_entry
     character(len=20) :: type_name
     procedure(source_term_allocate), pointer, nopass :: allocator
  end type allocator_entry
  type allocator_entry …
 
  type(allocator_entry), allocatable :: source_term_registry(:)
 
  integer :: source_term_registry_size = 0
 
  public :: source_term_factory, source_term_allocator, register_source_term, &
       source_term_allocate
 
contains
 
  subroutine source_term_init_base(this, fields, coef, start_time, end_time)
    class(source_term_t), intent(inout) :: this
    type(field_list_t) :: fields
    type(coef_t), intent(in), target :: coef
    real(kind=rp), intent(in) :: start_time
    real(kind=rp), intent(in) :: end_time
    integer :: n_fields, i
 
    this%coef => coef
    this%start_time = start_time
    this%end_time = end_time
    n_fields = fields%size()
 
    call this%fields%init(n_fields)
 
    ! A lot of attribute nesting here due to Fortran needing wrapper types
    ! but this is just pointer assignement for the fields.
    do i = 1, n_fields
       call this%fields%assign(i, fields%get(i))
    end do
  subroutine source_term_init_base(this, fields, coef, start_time, end_time) …
  end subroutine source_term_init_base
 
  subroutine source_term_free_base(this)
    class(source_term_t), intent(inout) :: this
 
    call this%fields%free()
    nullify(this%coef)
  subroutine source_term_free_base(this) …
  end subroutine source_term_free_base
 
  subroutine source_term_wrapper_free(this)
    class(source_term_wrapper_t), intent(inout) :: this
    integer :: n_fields, i
 
    if (allocated(this%source_term)) then
       call this%source_term%free()
       deallocate(this%source_term)
    end if
  subroutine source_term_wrapper_free(this) …
  end subroutine source_term_wrapper_free
 
  subroutine source_term_compute_wrapper(this, t, tstep)
    class(source_term_t), intent(inout) :: this
    real(kind=rp), intent(in) :: t
    integer, intent(in) :: tstep
 
    if (t .ge. this%start_time .and. t .le. this%end_time) then
       call this%compute_(t, tstep)
    end if
 
  subroutine source_term_compute_wrapper(this, t, tstep) …
  end subroutine source_term_compute_wrapper
end module source_term