build method

  1. @override
Z3_ast build(
  1. Context c
)
override

Implementation

@override
Z3_ast build(Context c) {
  switch (c.config.encoding) {
    case CharEncoding.ascii:
      if (value > 255) {
        throw ArgumentError.value(
          value,
          'value',
          'Character is not ASCII',
        );
      }
    case CharEncoding.bmp:
      if (value > 65535) {
        throw ArgumentError.value(
          value,
          'value',
          'Character is not BMP',
        );
      }
      return c._z3.mk_char(value);
    case CharEncoding.unicode:
  }
  return c._z3.mk_char(value);
}