Capitalizar uma string em malandro

Question

Como posso colocar uma string em maiúscula no malandro?

Na documentação da biblioteca de strings, não consigo encontrar nenhum método para colocar uma string em maiúscula.

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

Answer 1

Você deve usar o toUpperCase função no String biblioteca, detalhada aqui:

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

Por exemplo:

rascal>import String;
ok

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