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"