带标记类型的外部字符串表示。
对于带标记类型 T(特定或类范围)的每个子类型 S
S'External_Tag 表示 S'Tag 的外部字符串表示;它属于预定义类型 String。External_Tag 可以通过 attribute_definition_clause 为特定带标记类型指定;此类子句的表达式应为静态的。默认外部标记表示由实现定义。
S’External_Tag return String