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)