public void ReadTypeAnnotationSymbols_AssertNoUnknownSymbolException() { byte[] data = DirStructure.OwnTestFileAsBytes("binary/unknown_symbols.bindat"); UserBinaryReader reader = new UserBinaryReader(new MemoryStream(data)); ReaderTestCommon.ReadTypeAnnotationSymbols_AssertNoUnknownSymbolException(reader); }
public void ReadTypeAnnotationSymbols_AssertNoUnknownSymbolException() { string input = "$ion_symbol_table::{ imports:[{ name: \"abc\", version: 1, max_id: 1}],symbols: [\"foo\"]}$10::$11::\"value\""; UserTextReader reader = new UserTextReader(input); ReaderTestCommon.ReadTypeAnnotationSymbols_AssertNoUnknownSymbolException(reader); }
public void ValueWithTypeAnnotationSymbolsTest_AssertNoUnknownSymbolException() { 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.ReadTypeAnnotationSymbols_AssertNoUnknownSymbolException(reader); }