public interface operator(-)
Excision operator for character
and String
(as subtraction). Mixed type excision of character
and
String
is explicitly defined.
For a user reference, see Excision.
Functions
Arguments
Type |
Intent | Optional | Attributes |
|
Name |
|
character(len=*),
|
intent(in) |
|
|
:: |
charsl |
|
character(len=*),
|
intent(in) |
|
|
:: |
charsr |
|
Return Value
type(String)
Arguments
Type |
Intent | Optional | Attributes |
|
Name |
|
class(String),
|
intent(in) |
|
|
:: |
Stringl |
|
class(String),
|
intent(in) |
|
|
:: |
Stringr |
|
Return Value
type(String)
Arguments
Type |
Intent | Optional | Attributes |
|
Name |
|
class(String),
|
intent(in) |
|
|
:: |
Stringl |
|
character(len=*),
|
intent(in) |
|
|
:: |
charsr |
|
Return Value
type(String)
Arguments
Type |
Intent | Optional | Attributes |
|
Name |
|
character(len=*),
|
intent(in) |
|
|
:: |
charsl |
|
class(String),
|
intent(in) |
|
|
:: |
Stringr |
|
Return Value
type(String)