Mettre une chaîne en rascal

Question

Comment puis-je mettre une chaîne en rascal?

Dans la documentation de la chaîne de la bibliothèque, je ne peux pas trouver une méthode pour mettre une chaîne de caractères.

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

Answer 1

Vous devez utiliser le toUpperCase fonction dans l' String bibliothèque, détaillé ici:

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

Par exemple:

rascal>import String;
ok

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