RoutehandleSpecVector

type, public :: RoutehandleSpecVector

Inherits

Help

Inherited by

Help

Constructor

public interface RoutehandleSpecVector

private function vector_new_vector_empty() result(v)

Arguments
None
Return Value type(RoutehandleSpecVector)

private function vector_new_vector_fill_size_kind(n, value) result(v)

Arguments

Type	Intent	Optional	Attributes		Name
integer(kind=GFTL_SIZE_KIND),	intent(in)			::	n
type(RoutehandleSpec),	intent(in),	optional		::	value

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_fill_default(n, value) result(v)

Arguments

Type	Intent	Optional	Attributes		Name
integer,	intent(in)			::	n
type(RoutehandleSpec),	intent(in),	optional		::	value

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_range(first, last) result(v)

Arguments

Type	Intent	Optional	Attributes		Name
type(RoutehandleSpecVectorIterator),	intent(in)			::	first
type(RoutehandleSpecVectorIterator),	intent(in)			::	last

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_copy(x) result(v)

Arguments

Type	Intent	Optional	Attributes		Name
type(RoutehandleSpecVector)				::	x

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_initializer_list(il) result(v)

Arguments

Type	Intent	Optional	Attributes		Name
type(RoutehandleSpec),	intent(in),		dimension(:)	::	il

Return Value type(RoutehandleSpecVector)

Type-Bound Procedures

generic, public :: assignment(=) => copy_from_array

private subroutine vector_copy_from_array(this, array)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this
type(RoutehandleSpec),	intent(in)			::	array(:)

generic, public :: at => at_default

private function vector_at_default(this, i, rc) result(res)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(in),	target	::	this
integer,	intent(in)		::	i
integer,	intent(out)		::	rc

Return Value type(RoutehandleSpec), pointer

generic, public :: at => of_default

private function vector_of_default(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer,	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

generic, public :: at => at_size_kind

private function vector_at_size_kind(this, i, rc) result(res)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(in),	target	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	i
integer,	intent(out)		::	rc

Return Value type(RoutehandleSpec), pointer

generic, public :: at => of_size_kind

private function vector_of_size_kind(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

procedure, public :: at_default => vector_at_default

private function vector_at_default(this, i, rc) result(res)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(in),	target	::	this
integer,	intent(in)		::	i
integer,	intent(out)		::	rc

Return Value type(RoutehandleSpec), pointer

procedure, public :: at_size_kind => vector_at_size_kind

private function vector_at_size_kind(this, i, rc) result(res)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(in),	target	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	i
integer,	intent(out)		::	rc

Return Value type(RoutehandleSpec), pointer

procedure, public :: back => vector_back

private function vector_back(this) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpec), pointer

procedure, public :: begin => vector_begin

private function vector_begin(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: capacity => vector_capacity

private pure function vector_capacity(this) result(capacity)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in)			::	this

Return Value integer(kind=GFTL_SIZE_KIND)

procedure, public :: clear => vector_clear

private recursive subroutine vector_clear(this)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this

procedure, public :: copy_from_array => vector_copy_from_array

private subroutine vector_copy_from_array(this, array)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this
type(RoutehandleSpec),	intent(in)			::	array(:)

procedure, public :: data => vector_data

private function vector_data(this) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpec), dimension(:), pointer

procedure, public :: empty => vector_empty

private pure function vector_empty(this) result(empty)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in)			::	this

Return Value logical

procedure, public :: end => vector_end

private function vector_end(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: erase => erase_one

private function vector_erase_one(this, position) result(new_iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),		target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)			::	position

Return Value type(RoutehandleSpecVectorIterator), target

generic, public :: erase => erase_range

private function vector_erase_range(this, first, last) result(new_iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	first
type(RoutehandleSpecVectorIterator),	intent(in)		::	last

Return Value type(RoutehandleSpecVectorIterator), target

procedure, public :: erase_one => vector_erase_one

private function vector_erase_one(this, position) result(new_iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),		target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)			::	position

Return Value type(RoutehandleSpecVectorIterator), target

procedure, public :: erase_range => vector_erase_range

private function vector_erase_range(this, first, last) result(new_iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	first
type(RoutehandleSpecVectorIterator),	intent(in)		::	last

Return Value type(RoutehandleSpecVectorIterator), target

procedure, public :: front => vector_front

private function vector_front(this) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpec), pointer

procedure, public :: ftn_begin => vector_ftn_begin

private function vector_ftn_begin(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: ftn_end => vector_ftn_end

private function vector_ftn_end(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: get_index => vector_get_index

private function vector_get_index(this, value) result(i)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
type(RoutehandleSpec),	intent(in)			::	value

Return Value integer(kind=GFTL_SIZE_KIND)

generic, public :: insert => vector_insert_one

private recursive function vector_insert_one(this, pos, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: insert => vector_insert_count_size_kind

private recursive function vector_insert_count_size_kind(this, pos, count, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	count
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: insert => vector_insert_count_default

private function vector_insert_count_default(this, pos, count, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
integer,	intent(in)		::	count
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: insert => vector_insert_range

private function vector_insert_range(this, pos, first, last, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpecVectorIterator),	intent(in)		::	first
type(RoutehandleSpecVectorIterator),	intent(in)		::	last
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: insert => vector_insert_list

private function vector_insert_list(this, pos, values) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpec),	intent(in)		::	values(:)

Return Value type(RoutehandleSpecVectorIterator)

procedure, public, nopass :: max_size => vector_max_size

private pure function vector_max_size() result(res)

Arguments
None
Return Value integer(kind=GFTL_SIZE_KIND)

generic, public :: of => of_default

private function vector_of_default(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer,	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

generic, public :: of => of_size_kind

private function vector_of_size_kind(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

procedure, public :: of_default => vector_of_default

private function vector_of_default(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer,	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

procedure, public :: of_size_kind => vector_of_size_kind

private function vector_of_size_kind(this, i) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)			::	i

Return Value type(RoutehandleSpec), pointer

procedure, public :: pop_back => vector_pop_back

private subroutine vector_pop_back(this)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this

procedure, public :: push_back => vector_push_back

private recursive subroutine vector_push_back(this, value, unused, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
type(RoutehandleSpec),	intent(in)		::	value
type(KeywordEnforcer),	intent(in),	optional	::	unused
integer,	intent(out),	optional	::	rc

procedure, public :: rbegin => vector_rbegin

private function vector_rbegin(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorRIterator)

procedure, public :: rend => vector_rend

private function vector_rend(this) result(iter)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in),		target	::	this

Return Value type(RoutehandleSpecVectorRIterator)

generic, public :: reserve => reserve_default

private subroutine vector_reserve_default(this, capacity, unused, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer,	intent(in)		::	capacity
class(KeywordEnforcer),	intent(in),	optional	::	unused
integer,	intent(out),	optional	::	rc

generic, public :: reserve => reserve_size_kind

private subroutine vector_reserve_size_kind(this, capacity, unused, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	capacity
class(KeywordEnforcer),	intent(in),	optional	::	unused
integer,	intent(out),	optional	::	rc

procedure, public :: reserve_default => vector_reserve_default

private subroutine vector_reserve_default(this, capacity, unused, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer,	intent(in)		::	capacity
class(KeywordEnforcer),	intent(in),	optional	::	unused
integer,	intent(out),	optional	::	rc

procedure, public :: reserve_size_kind => vector_reserve_size_kind

private subroutine vector_reserve_size_kind(this, capacity, unused, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	capacity
class(KeywordEnforcer),	intent(in),	optional	::	unused
integer,	intent(out),	optional	::	rc

procedure, public :: reset => vector_reset

private subroutine vector_reset(this)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this

generic, public :: resize => resize_default

private subroutine vector_resize_default(this, count, unused, value, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer,	intent(in)		::	count
type(KeywordEnforcer),	intent(in),	optional	::	unused
type(RoutehandleSpec),	intent(in),	optional	::	value
integer,	intent(out),	optional	::	rc

generic, public :: resize => resize_size_kind

private subroutine vector_resize_size_kind(this, count, unused, value, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	count
type(KeywordEnforcer),	intent(in),	optional	::	unused
type(RoutehandleSpec),	intent(in),	optional	::	value
integer,	intent(out),	optional	::	rc

procedure, public :: resize_default => vector_resize_default

private subroutine vector_resize_default(this, count, unused, value, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer,	intent(in)		::	count
type(KeywordEnforcer),	intent(in),	optional	::	unused
type(RoutehandleSpec),	intent(in),	optional	::	value
integer,	intent(out),	optional	::	rc

procedure, public :: resize_size_kind => vector_resize_size_kind

private subroutine vector_resize_size_kind(this, count, unused, value, rc)

Arguments

Type	Intent	Optional		Name
class(RoutehandleSpecVector),	intent(inout)		::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	count
type(KeywordEnforcer),	intent(in),	optional	::	unused
type(RoutehandleSpec),	intent(in),	optional	::	value
integer,	intent(out),	optional	::	rc

generic, public :: set => set_default

private subroutine vector_set_default(this, i, value)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(inout)	::	this
integer,	intent(in)	::	i
type(RoutehandleSpec),	intent(in)	::	value

generic, public :: set => set_size_kind

private subroutine vector_set_size_kind(this, i, value)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(inout)	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)	::	i
type(RoutehandleSpec),	intent(in)	::	value

procedure, public :: set_default => vector_set_default

private subroutine vector_set_default(this, i, value)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(inout)	::	this
integer,	intent(in)	::	i
type(RoutehandleSpec),	intent(in)	::	value

procedure, public :: set_size_kind => vector_set_size_kind

private subroutine vector_set_size_kind(this, i, value)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(inout)	::	this
integer(kind=GFTL_SIZE_KIND),	intent(in)	::	i
type(RoutehandleSpec),	intent(in)	::	value

procedure, public :: shrink_to_fit => vector_shrink_to_fit

private subroutine vector_shrink_to_fit(this)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout)			::	this

procedure, public :: size => vector_size

private pure function vector_size(this) result(res)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(in)			::	this

Return Value integer(kind=GFTL_SIZE_KIND)

procedure, public :: swap => vector_swap

private subroutine vector_swap(this, x)

Arguments

Type	Intent	Optional	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),		target	::	this
type(RoutehandleSpecVector),	intent(inout),		target	::	x

procedure, public :: vector_insert_count_default

private function vector_insert_count_default(this, pos, count, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
integer,	intent(in)		::	count
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: vector_insert_count_size_kind

private recursive function vector_insert_count_size_kind(this, pos, count, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
integer(kind=GFTL_SIZE_KIND),	intent(in)		::	count
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: vector_insert_list

private function vector_insert_list(this, pos, values) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpec),	intent(in)		::	values(:)

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: vector_insert_one

private recursive function vector_insert_one(this, pos, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: vector_insert_range

private function vector_insert_range(this, pos, first, last, value) result(iter)

Arguments

Type	Intent	Attributes		Name
class(RoutehandleSpecVector),	intent(inout),	target	::	this
type(RoutehandleSpecVectorIterator),	intent(in)		::	pos
type(RoutehandleSpecVectorIterator),	intent(in)		::	first
type(RoutehandleSpecVectorIterator),	intent(in)		::	last
type(RoutehandleSpec),	intent(in)		::	value

Return Value type(RoutehandleSpecVectorIterator)

generic, public :: write(formatted) => write_formatted

private subroutine vector_write_formatted(this, unit, iotype, v_list, iostat, iomsg)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(in)	::	this
integer,	intent(in)	::	unit
character(len=*),	intent(in)	::	iotype
integer,	intent(in)	::	v_list(:)
integer,	intent(out)	::	iostat
character(len=*),	intent(inout)	::	iomsg

procedure, public :: write_formatted => vector_write_formatted

private subroutine vector_write_formatted(this, unit, iotype, v_list, iostat, iomsg)

Arguments

Type	Intent		Name
class(RoutehandleSpecVector),	intent(in)	::	this
integer,	intent(in)	::	unit
character(len=*),	intent(in)	::	iotype
integer,	intent(in)	::	v_list(:)
integer,	intent(out)	::	iostat
character(len=*),	intent(inout)	::	iomsg

RoutehandleSpecVector Derived Type

Contents

Constructor

Type-Bound Procedures

type, public :: RoutehandleSpecVector

Inherits

Inherited by

Constructor

public interface RoutehandleSpecVector

private function vector_new_vector_empty() result(v)

Arguments

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_fill_size_kind(n, value) result(v)

Arguments

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_fill_default(n, value) result(v)

Arguments

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_range(first, last) result(v)

Arguments

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_copy(x) result(v)

Arguments

Return Value type(RoutehandleSpecVector)

private function vector_new_vector_initializer_list(il) result(v)

Arguments

Return Value type(RoutehandleSpecVector)

Type-Bound Procedures

generic, public :: assignment(=) => copy_from_array

private subroutine vector_copy_from_array(this, array)

Arguments

generic, public :: at => at_default

private function vector_at_default(this, i, rc) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

generic, public :: at => of_default

private function vector_of_default(this, i) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

generic, public :: at => at_size_kind

private function vector_at_size_kind(this, i, rc) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

generic, public :: at => of_size_kind

private function vector_of_size_kind(this, i) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

procedure, public :: at_default => vector_at_default

private function vector_at_default(this, i, rc) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

procedure, public :: at_size_kind => vector_at_size_kind

private function vector_at_size_kind(this, i, rc) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

procedure, public :: back => vector_back

private function vector_back(this) result(res)

Arguments

Return Value type(RoutehandleSpec), pointer

procedure, public :: begin => vector_begin

private function vector_begin(this) result(iter)

Arguments

Return Value type(RoutehandleSpecVectorIterator)

procedure, public :: capacity => vector_capacity

private pure function vector_capacity(this) result(capacity)

Arguments

Return Value integer(kind=GFTL_SIZE_KIND)

procedure, public :: clear => vector_clear

private recursive subroutine vector_clear(this)

Arguments

procedure, public :: copy_from_array => vector_copy_from_array

private subroutine vector_copy_from_array(this, array)

Arguments

procedure, public :: data => vector_data

private function vector_data(this) result(res)

Arguments

Return Value type(RoutehandleSpec), dimension(:), pointer

procedure, public :: empty => vector_empty

private pure function vector_empty(this) result(empty)

Arguments