pushString method

void pushString(String v)

Append a string */

Implementation

void pushString(String v) {
  pushBytes(utf8.encode(v));
}