在流氓中大写一个字符串

Question

如何在流氓中大写字符串？

在字符串库的文档中，我找不到任何大写字符串的方法。

http://tutor.rascal-mpl.org/Rascal/Rascal.html#/Rascal/Expressions/Values/String/String.html

Answer 1

您应该使用toUpperCase库中的String函数，详细信息如下：

http://tutor.rascal-mpl.org/Rascal/Rascal.html#/Rascal/Libraries/Prelude/String/toUpperCase/toUpperCase.html

例如：

rascal>import String;
ok

rascal>toUpperCase("hEllO WOrlD");
str: "HELLO WORLD"