8 $s = fopen("php://memory", "r+");
9 fwrite($s, "123d0 567 890");
11 $r = new ion\Reader\Stream\Reader($s);
13 var_dump($r->readDecimal());
14 var_dump($s === $r->getStream());
18 var_dump($s === $r->getStream());
20 echo $r->getType()->name, "\n";
21 var_dump($r->readDecimal());
24 $r->resetStreamWithLength($s, 3);
25 var_dump($s === $r->getStream());
27 echo $r->getType()->name, "\n";
28 var_dump($r->readInt());
34 object(ion\Decimal)#%d (2) {
38 object(ion\Decimal\Context)#%d (5) {
54 object(ion\Decimal)#%d (2) {
58 object(ion\Decimal\Context)#%d (5) {