-
Notifications
You must be signed in to change notification settings - Fork 195
stdlib_system
: essential path functionality
#999
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 11 commits
657b312
f41dee4
572ad46
8a10f26
1bd58b7
ea71960
c561108
272eb67
5147094
9e64094
ca867f8
62bef00
1c87df9
45824b5
3501bc9
ee40f44
e6add70
616040d
812b5ed
a21a48b
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
@@ -174,7 +174,7 @@ The result is a real value representing the elapsed time in seconds, measured fr | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`delta_t = ` [[stdlib_system(module):elapsed(subroutine)]] `(process)` | ||||||||||||||||||
`delta_t = ` [[stdlib_system(module):elapsed(interface)]] `(process)` | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -212,7 +212,7 @@ in case of process hang or delay. | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`call ` [[stdlib_system(module):wait(subroutine)]] `(process [, max_wait_time])` | ||||||||||||||||||
`call ` [[stdlib_system(module):wait(interface)]] `(process [, max_wait_time])` | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -243,7 +243,7 @@ This is especially useful for monitoring asynchronous processes and retrieving t | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`call ` [[stdlib_system(module):update(subroutine)]] `(process)` | ||||||||||||||||||
`call ` [[stdlib_system(module):update(interface)]] `(process)` | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -269,7 +269,7 @@ This interface is useful when a process needs to be forcefully stopped, for exam | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`call ` [[stdlib_system(module):kill(subroutine)]] `(process, success)` | ||||||||||||||||||
`call ` [[stdlib_system(module):kill(interface)]] `(process, success)` | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -298,7 +298,7 @@ It ensures that the requested sleep duration is honored on both Windows and Unix | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`call ` [[stdlib_system(module):sleep(subroutine)]] `(millisec)` | ||||||||||||||||||
`call ` [[stdlib_system(module):sleep(interface)]] `(millisec)` | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -324,7 +324,7 @@ This function is highly efficient and works during the compilation phase, avoidi | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`result = ` [[stdlib_system(module):is_windows(function)]] `()` | ||||||||||||||||||
`result = ` [[stdlib_system(module):is_windows(interface)]] `()` | ||||||||||||||||||
|
||||||||||||||||||
### Return Value | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -359,7 +359,7 @@ If the OS cannot be identified, the function returns `OS_UNKNOWN`. | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`os = [[stdlib_system(module):get_runtime_os(function)]]()` | ||||||||||||||||||
`os = ` [[stdlib_system(module):get_runtime_os(function)]] `()` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -396,7 +396,7 @@ This caching mechanism ensures negligible overhead for repeated calls, unlike `g | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`os = [[stdlib_system(module):OS_TYPE(function)]]()` | ||||||||||||||||||
`os = ` [[stdlib_system(module):OS_TYPE(function)]]`()` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -431,7 +431,7 @@ It is designed to work across multiple platforms. On Windows, paths with both fo | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`result = [[stdlib_system(module):is_directory(function)]] (path)` | ||||||||||||||||||
`result = ` [[stdlib_system(module):is_directory(function)]]`(path)` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -471,7 +471,7 @@ It reads as an empty file. The null device's path varies by operating system: | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`path = [[stdlib_system(module):null_device(function)]]()` | ||||||||||||||||||
`path = ` [[stdlib_system(module):null_device(function)]]`()` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
|
||||||||||||||||||
|
@@ -506,7 +506,7 @@ The function provides an optional error-handling mechanism via the `state_type` | |||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`call [[stdlib_system(module):delete_file(subroutine)]] (path [, err])` | ||||||||||||||||||
`call ` [[stdlib_system(module):delete_file(subroutine)]]` (path [, err])` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
Subroutine | ||||||||||||||||||
|
@@ -532,3 +532,175 @@ The file is removed from the filesystem if the operation is successful. If the o | |||||||||||||||||
```fortran | ||||||||||||||||||
{!example/system/example_delete_file.f90!} | ||||||||||||||||||
``` | ||||||||||||||||||
|
||||||||||||||||||
## `joinpath` - Joins the provided paths according to the OS | ||||||||||||||||||
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
|
||||||||||||||||||
|
||||||||||||||||||
### Status | ||||||||||||||||||
|
||||||||||||||||||
Experimental | ||||||||||||||||||
|
||||||||||||||||||
### Description | ||||||||||||||||||
|
||||||||||||||||||
This interface joins the paths provided to it according to the platform specific path-separator. | ||||||||||||||||||
i.e `\` for windows and `/` for others | ||||||||||||||||||
|
||||||||||||||||||
### Syntax | ||||||||||||||||||
|
||||||||||||||||||
`res = ` [[stdlib_system(module):joinpath(interface)]] ` (p1, p2)` | ||||||||||||||||||
|
||||||||||||||||||
`res = ` [[stdlib_system(module):joinpath(interface)]] ` (p)` | ||||||||||||||||||
|
||||||||||||||||||
### Class | ||||||||||||||||||
Pure function | ||||||||||||||||||
|
||||||||||||||||||
### Arguments | ||||||||||||||||||
|
||||||||||||||||||
`p1, p2`: Shall be a character string. It is an `intent(in)` argument. | ||||||||||||||||||
|
!> Moves the allocated character scalar from 'from' to 'to' | |
!> [Specifications](../page/specs/stdlib_string_type.html#move) | |
interface move | |
module procedure :: move_string_string | |
module procedure :: move_string_char | |
module procedure :: move_char_string | |
module procedure :: move_char_char | |
end interface move |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I have added the relevant changes... But it doesn't use move
, it uses assignment(=)
and char
, Let me know what you think of it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It works @wassup05, however, there are two copies: string->char
for the input arguments, and then char -> string
on the assignment. Using move
would at least avoid incurring the last copy. Just do:
character(:), allocatable :: join_char
join_char = join_path(char(a),char(b))
call move(from=join_char,to=...result variable...)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Because the internal string_type
representation is just an allocatable character variable, I would also support (to be discussed with the community as a separate PR) the implementation of a tiny zero-copy "view" function for the string type, see here:
!> Zero-copy view of the string as a character array
pure function view(string) result(char_array)
type(string_type), intent(in), target :: string
character(:), pointer :: char_array
if (allocated(string%raw)) then
char_array => string%raw
else
nullify(char_array)
end if
end function view
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
wassup05 marked this conversation as resolved.
Outdated
Show resolved
Hide resolved
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
! Usage of basename | ||
program example_path_basename | ||
use stdlib_system, only: basename, ISWIN | ||
character(len=:), allocatable :: p1 | ||
|
||
if( ISWIN ) then | ||
p1 = 'C:\Users' | ||
else | ||
p1 = '/home' | ||
endif | ||
|
||
print *, 'basename of '// p1 // ' -> ' // basename(p1) | ||
! basename of C:\Users -> Users | ||
! OR | ||
! basename of /home -> home | ||
end program example_path_basename |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
! Usage of dirname | ||
program example_path_dirname | ||
use stdlib_system, only: dirname, ISWIN | ||
character(len=:), allocatable :: p1, head, tail | ||
|
||
if( ISWIN ) then | ||
p1 = 'C:\Users' ! C:\Users | ||
else | ||
p1 = '/home' ! /home | ||
endif | ||
|
||
print *, 'dirname of '// p1 // ' -> ' // dirname(p1) | ||
! dirname of C:\Users -> C:\ | ||
! OR | ||
! dirname of /home -> / | ||
end program example_path_dirname |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
! Usage of joinpath, operator(/) | ||
program example_path_join | ||
use stdlib_system, only: joinpath, operator(/), ISWIN | ||
character(len=:), allocatable :: p1, p2, p3 | ||
character(len=20) :: parr(4) | ||
|
||
if( ISWIN ) then | ||
p1 = 'C:'/'Users'/'User1'/'Desktop' | ||
p2 = joinpath('C:\Users\User1', 'Desktop') | ||
parr = [character(len=20) :: 'C:', 'Users', 'User1', 'Desktop'] | ||
p3 = joinpath(parr) | ||
else | ||
p1 = ''/'home'/'User1'/'Desktop' | ||
p2 = joinpath('/home/User1', 'Desktop') | ||
parr = [character(len=20) :: '', 'home', 'User1', 'Desktop'] | ||
p3 = joinpath(parr) | ||
end if | ||
|
||
! (p1 == p2 == p3) = '/home/User1/Desktop' OR 'C:\Users\User1\Desktop' | ||
print *, p1 ! /home/User1/Desktop OR 'C:\Users\User1\Desktop' | ||
print *, "p1 == p2: ", p1 == p2 ! T | ||
print *, "p2 == p3: ", p2 == p3 ! T | ||
end program example_path_join |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
! Usage of splitpath, dirname, basename | ||
program example_path_splitpath | ||
use stdlib_system, only: joinpath, splitpath, ISWIN | ||
character(len=:), allocatable :: p1, head, tail | ||
|
||
if( ISWIN ) then | ||
p1 = joinpath('C:\Users\User1', 'Desktop') ! C:\Users\User1\Desktop | ||
else | ||
p1 = joinpath('/home/User1', 'Desktop') ! /home/User1/Desktop | ||
endif | ||
|
||
call splitpath(p1, head, tail) | ||
! head = /home/User1 OR C:\Users\User1, tail = Desktop | ||
print *, p1 // " -> " // head // " + " // tail | ||
! C:\Users\User1\Desktop -> C:\Users\User1 + Desktop | ||
! OR | ||
! /home/User1/Desktop -> /home/User1 + Desktop | ||
|
||
call splitpath(head, p1, tail) | ||
! p1 = /home OR C:\Users, tail = User1 | ||
print *, head // " -> " // p1 // " + " // tail | ||
! C:\Users\User1 -> C:\Users + User1 | ||
! OR | ||
! /home/User1 -> /home + User1 | ||
end program example_path_splitpath |
Uh oh!
There was an error while loading. Please reload this page.