Capitalizar una cadena en rascal

Question

¿Cómo puedo capitalizar una cadena en bribón?

En la documentación de la cadena de la biblioteca, no puedo encontrar algún método para sacar provecho de una cadena.

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

Answer 1

Usted debe utilizar el toUpperCase función en el String la biblioteca, que aquí se detallan:

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

Por ejemplo:

rascal>import String;
ok

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