Attribute Macro Precond_ValidString

Source
#[Precond_ValidString]