svghmi/svghmi.js
branchsvghmi
changeset 3068 81758c94f3df
parent 3035 d1fc8c55c1d3
child 3075 2f9dbd3ee445
equal deleted inserted replaced
3067:2263f2ecf9bb 3068:81758c94f3df
    37 
    37 
    38 const dvgetters = {
    38 const dvgetters = {
    39     INT: (dv,offset) => [dv.getInt16(offset, true), 2],
    39     INT: (dv,offset) => [dv.getInt16(offset, true), 2],
    40     BOOL: (dv,offset) => [dv.getInt8(offset, true), 1],
    40     BOOL: (dv,offset) => [dv.getInt8(offset, true), 1],
    41     NODE: (dv,offset) => [dv.getInt8(offset, true), 1],
    41     NODE: (dv,offset) => [dv.getInt8(offset, true), 1],
       
    42     REAL: (dv,offset) => [dv.getFloat32(offset, true), 4],
    42     STRING: (dv, offset) => {
    43     STRING: (dv, offset) => {
    43         size = dv.getInt8(offset);
    44         size = dv.getInt8(offset);
    44         return [
    45         return [
    45             String.fromCharCode.apply(null, new Uint8Array(
    46             String.fromCharCode.apply(null, new Uint8Array(
    46                 dv.buffer, /* original buffer */
    47                 dv.buffer, /* original buffer */