pushSymbol method

void pushSymbol(
  1. Symbol symbol
)

Append a symbol */

Implementation

void pushSymbol(Symbol symbol) {
  var a = [symbol.precision & 0xff];
  a.addAll(utf8.encode(symbol.name));
  while (a.length < 8) {
    a.add(0);
  }
  pushArray(a.sublist(0, 8));
}