rascal - 流氓中的字符串大写

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"