public void ReadTypeAnnotations_AssertUnknownSymbolException()
{
byte[] data = DirStructure.OwnTestFileAsBytes("binary/unknown_symbols.bindat");
UserBinaryReader reader = new UserBinaryReader(new MemoryStream(data));
ReaderTestCommon.ReadTypeAnnotations_AssertUnknownSymbolException(reader);
}
public void ReadTypeAnnotations_AssertUnknownSymbolException()
{
string input = "$ion_symbol_table::{ imports:[{ name: \"abc\", version: 1, max_id: 1}],symbols: [\"foo\"]}$10::$11::\"value\"";
UserTextReader reader = new UserTextReader(input);
ReaderTestCommon.ReadTypeAnnotations_AssertUnknownSymbolException(reader);
}
public void ValueWithTypeAnnotationsTest_AssertUnknownSymbolException()
{
string input = "$ion_symbol_table::{ imports:[{ name: \"abc\", version: 1, max_id: 1}],symbols: [\"foo\"]}$10::$11::\"value\"";
IIonValue data = IonLoader.Default.Load(input);
UserTreeReader reader = new UserTreeReader(data);
ReaderTestCommon.ReadTypeAnnotations_AssertUnknownSymbolException(reader);
}