public void ReadTypeAnnotations_ZeroSymbol()
{
// an int with zero symbol annotation
// $0::18
var reader = new UserTextReader("$0::18");
ReaderTestCommon.ReadTypeAnnotations_ZeroSymbol(reader);
}
public void ReadTypeAnnotations_ZeroSymbol()
{
// an int with zero symbol annotation
// $0::18
var data = new byte[] { 0xE4, 0x81, 0x80, 0x21, 0x12 };
var reader = new UserBinaryReader(new MemoryStream(data));
ReaderTestCommon.ReadTypeAnnotations_ZeroSymbol(reader);
}
public void ValueWithTypeAnnotationsTest_ZeroSymbol()
{
//Must be: $0::18
var intValue = _ionValueFactory.NewInt(18);
intValue.AddTypeAnnotation(new SymbolToken(null, 0));
var reader = new UserTreeReader(intValue);
ReaderTestCommon.ReadTypeAnnotations_ZeroSymbol(reader);
}