prefix property

String? get prefix

Gets the URI prefix from the prefix map.

Implementation

String? get prefix {
  if (_prefixIndex == -1) {
    return null;
  }
  return prefixMap[_prefixIndex];
}
set prefix (String? prefix)

Sets the URI prefix (must be in the prefix map).

Implementation

set prefix(String? prefix) {
  int prefixIndex = prefixMap.indexOf(prefix!);
  if (prefixIndex == -1) {
    throw ArgumentError(
      "URI Prefix $prefix is not supported, please select one from $prefixMap",
    );
  } else {
    _prefixIndex = prefixIndex;
  }
}