tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
// XIR string escaping and unescaping
|
|
|
|
//
|
2022-05-03 14:14:29 -04:00
|
|
|
// Copyright (C) 2014-2022 Ryan Specialty Group, LLC.
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
//
|
|
|
|
// This file is part of TAME.
|
|
|
|
//
|
|
|
|
// This program is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This program is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
//! Escaping and unescaping for writers and readers respectively.
|
|
|
|
//!
|
|
|
|
//! An [`Escaper`] is required by XIR readers and writers.
|
|
|
|
//! An escaper may perform caching to avoid unnecessary work,
|
|
|
|
//! so it is advantageous to provide the _same_ instance to all readers
|
|
|
|
//! and writers.
|
|
|
|
//! [`Escaper`] methods use interior mutability to facilitate this,
|
|
|
|
//! since TAMER streams lowering operations where possible,
|
|
|
|
//! meaning that multiple readers and writers will require references
|
|
|
|
//! to the [`Escaper`].
|
|
|
|
//!
|
2021-11-12 16:07:57 -05:00
|
|
|
//! For more information on caching employed by TAMER to improve
|
|
|
|
//! performance,
|
|
|
|
//! see [`CachingEscaper`].
|
|
|
|
//!
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
//! Safety
|
|
|
|
//! ======
|
|
|
|
//! The purpose of this type is to provide safety against XML injection by
|
|
|
|
//! encapsulating all responsibility within a single object.
|
|
|
|
//! The idea is simple:
|
|
|
|
//! a [`SymbolId`] _always_ represents an unescaped string.
|
|
|
|
//! This prevents, primarily,
|
|
|
|
//!
|
|
|
|
//! 1. XML injection (via lack of escaping); and
|
|
|
|
//! 2. Erroneous multiple escape/unescape.
|
|
|
|
//!
|
|
|
|
//! This module is the _only_ part of the system that has access to raw,
|
|
|
|
//! escaped values.
|
|
|
|
//! Outside of this module,
|
|
|
|
//! it is assumed that the rest of the system is working with _unescaped_
|
|
|
|
//! values---afterall,
|
|
|
|
//! why would other parts of the system not dealing with XML directly
|
|
|
|
//! take it upon themselves to deal with XML directly?
|
|
|
|
//! If we permitted retrieving raw escaped [`SymbolId`]s,
|
|
|
|
//! then we run the risk of that value being used to construct a XIR
|
|
|
|
//! stream and be subsequently double-encoded upon writing.
|
|
|
|
|
2021-11-12 16:07:57 -05:00
|
|
|
use fxhash::FxHashMap;
|
|
|
|
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
use crate::sym::{
|
2021-11-15 21:40:42 -05:00
|
|
|
st::ST_COUNT, GlobalSymbolInternBytes, GlobalSymbolInternUnchecked,
|
|
|
|
GlobalSymbolResolve, SymbolId,
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
};
|
2021-11-12 16:07:57 -05:00
|
|
|
use std::{borrow::Cow, cell::RefCell, collections::hash_map::Entry};
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
use super::error::SpanlessError;
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
|
|
|
|
/// XIR escaper and unescaper.
|
|
|
|
///
|
|
|
|
/// Escapers are responsible for parsing XML escape sequences as necessary
|
|
|
|
/// on read,
|
|
|
|
/// and properly escaping characters on write.
|
|
|
|
/// This is the only part of the system defending XIR against XML
|
|
|
|
/// injection.
|
|
|
|
///
|
|
|
|
/// Escapers must use interior mutability for any internal state
|
|
|
|
/// (e.g. caching),
|
|
|
|
/// since multiple readers and writers will require references.
|
|
|
|
pub trait Escaper: Default {
|
|
|
|
/// Escape raw bytes such that they become suitable for writing into an
|
|
|
|
/// XML document as text.
|
|
|
|
///
|
|
|
|
/// This value must be escaped such that subsequence unescaping
|
|
|
|
/// (using [`unescape_bytes`](Escaper::unescape_bytes))
|
|
|
|
/// will result in the same value.
|
|
|
|
fn escape_bytes(value: &[u8]) -> Cow<[u8]>;
|
|
|
|
|
|
|
|
/// Unescape raw bytes such that any relevant escape sequences are
|
|
|
|
/// parsed into their text representation.
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape_bytes(value: &[u8]) -> Result<Cow<[u8]>, SpanlessError>;
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
|
|
|
|
/// Escape the given symbol and produce a [`SymbolId`] representing
|
|
|
|
/// the escaped value suitable for writing.
|
2021-11-12 16:07:57 -05:00
|
|
|
#[inline]
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
fn escape(&self, sym: SymbolId) -> SymbolId {
|
|
|
|
match Self::escape_bytes(sym.lookup_str().as_bytes()) {
|
|
|
|
// We got back what we sent in,
|
|
|
|
// so this value is fixed.
|
|
|
|
Cow::Borrowed(_) => sym,
|
|
|
|
|
|
|
|
// The value changed,
|
|
|
|
// so we must allocate a new symbol.
|
|
|
|
// SAFETY: The unescaped symbol is valid UTF-8 unless it was
|
|
|
|
// unsafely allocated.
|
|
|
|
// Given that escaping does not introduce any invalid UTF-8
|
|
|
|
// sequences
|
|
|
|
// (as is trivially verified by reading its implementation),
|
|
|
|
// we can skip the UTF-8 check.
|
|
|
|
Cow::Owned(esc) => unsafe { esc[..].intern_utf8_unchecked() },
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Unescape the provided raw value and return a [`SymbolId`]
|
|
|
|
/// representing the unescaped value.
|
2021-11-12 16:07:57 -05:00
|
|
|
#[inline]
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape(&self, escaped: SymbolId) -> Result<SymbolId, SpanlessError> {
|
2021-11-12 16:07:57 -05:00
|
|
|
Ok(
|
|
|
|
match Self::unescape_bytes(escaped.lookup_str().as_bytes())? {
|
|
|
|
// We got back what we sent in,
|
|
|
|
// so this value is fixed.
|
|
|
|
Cow::Borrowed(_) => escaped,
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
|
2021-11-12 16:07:57 -05:00
|
|
|
// The value was rewritten,
|
|
|
|
// meaning that the original was escaped.
|
|
|
|
// We can't assume that it's valid UTF-8.
|
|
|
|
Cow::Owned(unesc) => unesc.intern_utf8()?,
|
|
|
|
},
|
|
|
|
)
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Escape and unescape using [`quick_xml`].
|
|
|
|
#[derive(Debug, Clone, Copy, Default)]
|
|
|
|
pub struct QuickXmlEscaper {}
|
|
|
|
|
|
|
|
impl Escaper for QuickXmlEscaper {
|
|
|
|
#[inline]
|
|
|
|
fn escape_bytes(value: &[u8]) -> Cow<[u8]> {
|
|
|
|
quick_xml::escape::escape(value)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape_bytes(value: &[u8]) -> Result<Cow<[u8]>, SpanlessError> {
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
// For some reason,
|
|
|
|
// quick-xml has made EscapeError explicitly private to the crate,
|
|
|
|
// and so it is opaque to us.
|
|
|
|
// They have, however,
|
|
|
|
// implemented `From<EscapeError> for Error`,
|
|
|
|
// which we will use here.
|
|
|
|
Ok(quick_xml::escape::unescape(value)
|
|
|
|
.map_err(quick_xml::Error::from)?)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-11-12 16:07:57 -05:00
|
|
|
/// Cache escaped and unescaped [`SymbolId`]s.
|
|
|
|
///
|
|
|
|
/// _This cache should be shared between all readers and writers._
|
|
|
|
///
|
|
|
|
/// This takes advantage of the efficiency of the string internment system
|
|
|
|
/// to avoid the costs of escaping/unescaping if we've already encountered
|
|
|
|
/// the requested symbol previously.
|
|
|
|
///
|
|
|
|
/// There are a number of ways this is beneficial:
|
|
|
|
///
|
|
|
|
/// When a string is read,
|
|
|
|
/// its escaped [`SymbolId`] and associated unescaped [`SymbolId`] are
|
|
|
|
/// stored in a two-way mapping.
|
|
|
|
/// If another reader encounters the same [`SymbolId`],
|
|
|
|
/// it does not need to spend the time attempting to unescape it,
|
|
|
|
/// and will simply re-use the existing cached [`SymbolId`].
|
|
|
|
///
|
|
|
|
/// When a writer encounters a [`SymbolId`]
|
|
|
|
/// (representing the _unescaped_ value),
|
|
|
|
/// it is able to retrieve from cache the escaped [`SymbolId`] that was
|
|
|
|
/// originally encountered by a reader,
|
|
|
|
/// thereby saving it the time of re-escaping.
|
|
|
|
///
|
|
|
|
/// Escaped Representation
|
|
|
|
/// ======================
|
|
|
|
/// Note that this means that the escaped value will be the same as the
|
|
|
|
/// _first_ time that unescaped value was read
|
|
|
|
/// (there are many different ways to escape the same value);
|
|
|
|
/// an [`Escaper`] _does not_ guarantee a canonical escaped
|
|
|
|
/// representation.
|
|
|
|
///
|
|
|
|
/// While this appears to add a source of nondeterminism that undermines
|
|
|
|
/// reproducible builds,
|
|
|
|
/// it is mitigated by applying ordering to how files are loaded,
|
|
|
|
/// which is necessary to mitigate much more serious sources of
|
|
|
|
/// filesystem-based nondeterminism.
|
|
|
|
///
|
|
|
|
/// If this is burdensome in the future
|
|
|
|
/// (e.g. when writing a code formatter that needs to retain escapes),
|
|
|
|
/// there are other potential mitigations,
|
|
|
|
/// including modifying [`Escaper`] to accept spans as context or
|
|
|
|
/// augmenting XIR with an unescape hint.
|
|
|
|
#[derive(Debug, Default)]
|
|
|
|
pub struct CachingEscaper<S: Escaper> {
|
|
|
|
/// Inner [`Escaper`] to be invoked to populate the cache.
|
|
|
|
inner: S,
|
|
|
|
/// Map from unescaped [`SymbolId`]s to their escaped represeation.
|
|
|
|
toesc: RefCell<FxHashMap<SymbolId, SymbolId>>,
|
|
|
|
/// Map from escaped [`SymbolId`]s to their unescaped value.
|
|
|
|
tounesc: RefCell<FxHashMap<SymbolId, SymbolId>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<S: Escaper> CachingEscaper<S> {
|
|
|
|
pub fn new(inner: S) -> Self {
|
2021-11-15 21:40:42 -05:00
|
|
|
// We know we'll encounter more than the statically allocated
|
|
|
|
// symbols,
|
|
|
|
// given that we'll be reading parsing XML documents.
|
|
|
|
// This can be adjusted as needed after profiling.
|
|
|
|
let capacity = ST_COUNT * 2;
|
|
|
|
|
2021-11-12 16:07:57 -05:00
|
|
|
Self {
|
|
|
|
inner,
|
2021-11-15 21:40:42 -05:00
|
|
|
toesc: RefCell::new(FxHashMap::with_capacity_and_hasher(
|
|
|
|
capacity,
|
|
|
|
Default::default(),
|
|
|
|
)),
|
|
|
|
tounesc: RefCell::new(FxHashMap::with_capacity_and_hasher(
|
|
|
|
capacity,
|
|
|
|
Default::default(),
|
|
|
|
)),
|
2021-11-12 16:07:57 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn into_inner(self) -> S {
|
|
|
|
self.inner
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<S: Escaper> Escaper for CachingEscaper<S> {
|
|
|
|
#[inline]
|
|
|
|
fn escape_bytes(value: &[u8]) -> Cow<[u8]> {
|
|
|
|
S::escape_bytes(value)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape_bytes(value: &[u8]) -> Result<Cow<[u8]>, SpanlessError> {
|
2021-11-12 16:07:57 -05:00
|
|
|
S::unescape_bytes(value)
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn escape(&self, unescaped: SymbolId) -> SymbolId {
|
|
|
|
*self.toesc.borrow_mut().entry(unescaped).or_insert_with(|| {
|
|
|
|
let escaped = self.inner.escape(unescaped);
|
|
|
|
|
|
|
|
// Later requests to unescape this newly escaped symbol will
|
|
|
|
// yield the unescaped value provided here.
|
|
|
|
self.tounesc
|
|
|
|
.borrow_mut()
|
|
|
|
.entry(escaped)
|
|
|
|
.or_insert(unescaped);
|
|
|
|
|
|
|
|
escaped
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape(&self, escaped: SymbolId) -> Result<SymbolId, SpanlessError> {
|
2021-11-12 16:07:57 -05:00
|
|
|
Ok(match self.tounesc.borrow_mut().entry(escaped) {
|
|
|
|
Entry::Occupied(unescaped) => *unescaped.get(),
|
|
|
|
Entry::Vacant(entry) => {
|
|
|
|
let unescaped = *entry.insert(self.inner.unescape(escaped)?);
|
|
|
|
|
|
|
|
// There are many escaped representations for the same
|
|
|
|
// unescaped value.
|
|
|
|
// We will keep the first one that we encountered.
|
|
|
|
self.toesc.borrow_mut().entry(unescaped).or_insert(escaped);
|
|
|
|
|
|
|
|
unescaped
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub type DefaultEscaper = CachingEscaper<QuickXmlEscaper>;
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test {
|
|
|
|
use super::*;
|
|
|
|
use crate::sym::GlobalSymbolIntern;
|
|
|
|
|
2021-11-12 16:07:57 -05:00
|
|
|
mod cache {
|
|
|
|
use super::*;
|
|
|
|
use std::{collections::HashMap, result};
|
|
|
|
|
|
|
|
// Maintain counts of calls rather than providing stubs,
|
|
|
|
// to avoid `RefCell<Rc<Refcell<Option<SymbolId>>>>` for
|
|
|
|
// concurrent access.
|
|
|
|
#[derive(Debug, Default)]
|
|
|
|
struct StubEscaper {
|
|
|
|
escape_map: HashMap<SymbolId, SymbolId>,
|
|
|
|
unescape_map: HashMap<SymbolId, SymbolId>,
|
|
|
|
escape_count: RefCell<FxHashMap<SymbolId, usize>>,
|
|
|
|
unescape_count: RefCell<FxHashMap<SymbolId, usize>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Escaper for StubEscaper {
|
|
|
|
fn escape_bytes(_: &[u8]) -> Cow<[u8]> {
|
|
|
|
unreachable!("escape_bytes should not be called")
|
|
|
|
}
|
|
|
|
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape_bytes(
|
|
|
|
_: &[u8],
|
|
|
|
) -> result::Result<Cow<[u8]>, SpanlessError> {
|
2021-11-12 16:07:57 -05:00
|
|
|
unreachable!("unescape_bytes should not be called")
|
|
|
|
}
|
|
|
|
|
|
|
|
fn escape(&self, given: SymbolId) -> SymbolId {
|
|
|
|
*self.escape_count.borrow_mut().entry(given).or_default() += 1;
|
|
|
|
*self.escape_map.get(&given).expect("unexpected escape")
|
|
|
|
}
|
|
|
|
|
tamer: xir::reader: Initial introduction of spans
This is a large change, and was a bit of a tedious one, given the
comprehensive tests.
This introduces proper offsets and lengths for spans, with the exception of
some quick-xml errors that still need proper mapping. Further, this still
uses `UNKNOWN_CONTEXT`, which will be resolved shortly.
This also introduces `SpanlessError`, which `Error` explicitly _does not_
implement `From<SpanlessError>` for---this forces the caller to provide a
span before the error is compatable with the return value, ensuring that
spans will actually be available rather than forgotten for errors. This is
important, given that errors are generally less tested than the happy path,
and errors are when users need us the most (so, need span information).
Further, I had to use pointer arithmetic in order to calculate many of the
spans, because quick-xml does not provide enough information. There's no
safety considerations here, and the comprehensive unit test will ensure
correct behavior if the implementation changes in the future.
I would like to introduce typed spans at some point---I made some
opinionated choices when it comes to what the spans ought to
represent. Specifically, whether to include the `<` or `>` with the open
span (depends), whether to include quotes with attribute values (no),
and some other details highlighted in the test cases. If we provide typed
spans, then we could, knowing the type of span, calculate other spans on
request, e.g. to include or omit quotes for attributes. Different such
spans may be useful in different situations when presenting information to
the user.
This also highlights gaps in the tokens emitted by XIR, such as whitespace
between attributes, the `=` between name and value, and so on. These are
important when it comes to code formatting, so that we can reliably
reconstruct the XML tree, but it's not important right now. I anticipate
future changes would allow the XIR reader to be configured (perhaps via
generics, like a strategy-type pattern) to optionally omit these tokens if
desired.
Anyway, more to come.
DEV-10934
2022-04-08 11:03:46 -04:00
|
|
|
fn unescape(
|
|
|
|
&self,
|
|
|
|
given: SymbolId,
|
|
|
|
) -> Result<SymbolId, SpanlessError> {
|
2021-11-12 16:07:57 -05:00
|
|
|
*self.unescape_count.borrow_mut().entry(given).or_default() +=
|
|
|
|
1;
|
|
|
|
Ok(*self.unescape_map.get(&given).expect("unexpected unescape"))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn caching_escaper_unescape() {
|
|
|
|
let esc = "escaped".intern();
|
|
|
|
let unesc = "unescaped".intern();
|
|
|
|
|
|
|
|
let sut = CachingEscaper::new(StubEscaper {
|
|
|
|
escape_map: [(unesc, esc)].into(),
|
|
|
|
unescape_map: [(esc, unesc)].into(),
|
|
|
|
..Default::default()
|
|
|
|
});
|
|
|
|
|
|
|
|
// Invoke unescape more than once to ensure caching occurs.
|
|
|
|
assert_eq!(sut.unescape(esc).unwrap(), unesc);
|
|
|
|
assert_eq!(sut.unescape(esc).unwrap(), unesc);
|
|
|
|
|
|
|
|
// And escape once, using a previous unescaped result.
|
|
|
|
assert_eq!(sut.escape(unesc), esc);
|
|
|
|
|
|
|
|
// We should have invoked the underlying escaper only once for
|
|
|
|
// the unescape operation.
|
|
|
|
let stub = sut.into_inner();
|
|
|
|
assert_eq!(stub.unescape_count.borrow().get(&esc), Some(&1));
|
|
|
|
|
|
|
|
// And, having previously encountered the escaped value from
|
|
|
|
// unescaping,
|
|
|
|
// we should _not_ have invoked the escaper _at all_ when we
|
|
|
|
// escaped the value.
|
|
|
|
// This means that previously encountered escapes will always
|
|
|
|
// take precedence over any explicit escape result.
|
|
|
|
assert_eq!(stub.escape_count.borrow().get(&unesc), None);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn caching_escaper_escape() {
|
|
|
|
let esc = "escaped".intern();
|
|
|
|
let unesc = "unescaped".intern();
|
|
|
|
|
|
|
|
let sut = CachingEscaper::new(StubEscaper {
|
|
|
|
escape_map: [(unesc, esc)].into(),
|
|
|
|
unescape_map: [(esc, unesc)].into(),
|
|
|
|
..Default::default()
|
|
|
|
});
|
|
|
|
|
|
|
|
// Invoke escape more than once to ensure caching occurs.
|
|
|
|
assert_eq!(sut.escape(unesc), esc);
|
|
|
|
assert_eq!(sut.escape(unesc), esc);
|
|
|
|
|
|
|
|
// And unescape once, using a previous escaped result.
|
|
|
|
assert_eq!(sut.unescape(esc).unwrap(), unesc);
|
|
|
|
|
|
|
|
// We should have invoked the underlying escaper only once for
|
|
|
|
// the escape operation.
|
|
|
|
let stub = sut.into_inner();
|
|
|
|
assert_eq!(stub.escape_count.borrow().get(&unesc), Some(&1));
|
|
|
|
|
|
|
|
// And, having previously encountered the unescaped value from
|
|
|
|
// escaping,
|
|
|
|
// we should _not_ have invoked the escaper _at all_ when we
|
|
|
|
// unescaped the value.
|
|
|
|
// This means that previously encountered unescapes will always
|
|
|
|
// take precedence over any explicit unescape result.
|
|
|
|
assert_eq!(stub.unescape_count.borrow().get(&esc), None);
|
|
|
|
}
|
|
|
|
}
|
tamer: xir::escape: Remove XirString in favor of Escaper
This rewrites a good portion of the previous commit.
Rather than explicitly storing whether a given string has been escaped, we
can instead assume that all SymbolIds leaving or entering XIR are unescaped,
because there is no reason for any other part of the system to deal with
such details of XML documents.
Given that, we need only unescape on read and escape on write. This is
customary, so why didn't I do that to begin with?
The previous commit outlines the reason, mainly being an optimization for
the echo writer that is upcoming. However, this solution will end up being
better---it's not implemented yet, but we can have a caching layer, such
that the Escaper records a mapping between escaped and unescaped SymbolIds
to avoid work the next time around. If we share the Escaper between _all_
readers and the writer, the result is that
1. Duplicate strings between source files and object files (many of which
are read by both the linker and compiler) avoid re-unescaping; and
2. Writers can use this cache to avoid re-escaping when we've already seen
the escaped variant of the string during read.
The alternative would be a global cache, like the internment system, but I
did not find that to be appropriate here, since this is far less
fundamental and is much easier to compose.
DEV-11081
2021-11-12 13:59:14 -05:00
|
|
|
}
|