String-Ausdruck
Aus EINI
Ein String-Ausdruck ist ein Ausdruck, dessen Term zu einem String aufgelöst werden kann.
Dies sind hauptsächlich Ausdrücke, die einen String selbst repräsentieren oder über den Konkatenationsoperator + aus Strings und anderen Datentypen erstellt werden. Sie sind dahingehend besonders, dass sie die einzigen Ausdrücke sind, deren Terme keinen primitiven Datentyp berechnen.
Beispiele
String foo = "Hallo"; //Konstanter String int apples = 42; String bar = "Ich habe "+apples+" Äpfel."; //Zusammengesetzter String