Examples of wyfs.io.BinaryOutputStream.write_uv()

wyfs.io.BinaryOutputStream.write_uv()
Write an unsigned integer value using a variable amount of space. The value is split into 4 bit (big-endian) chunks, where the msb of each chunk is a flag indicating whether there are more chunks. Therefore, values between 0 and 7 fit into 4 bits. Similarly, values between 8 and 63 fit into 8 bits, etc @param w --- number to convert (which cannot be negative) @throws IOException

    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(pathCache.get(module.id())); // FIXME: BROKEN!
    output.write_uv(MODIFIER_Public); // for now
    output.write_uv(module.blocks().size());


    for(WyilFile.Block d : module.blocks()) {
      writeModuleBlock(d,output);
    }

View Full Code Here


  private byte[] generateConstantBlock(WyilFile.ConstantDeclaration cd) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(cd.name()));
    output.write_uv(generateModifiers(cd.modifiers()));
    output.write_uv(constantCache.get(cd.constant()));
    output.write_uv(0); // no sub-blocks
    // TODO: write annotations

View Full Code Here

  private byte[] generateConstantBlock(WyilFile.ConstantDeclaration cd) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(cd.name()));
    output.write_uv(generateModifiers(cd.modifiers()));
    output.write_uv(constantCache.get(cd.constant()));
    output.write_uv(0); // no sub-blocks
    // TODO: write annotations


    output.close();

View Full Code Here

    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(cd.name()));
    output.write_uv(generateModifiers(cd.modifiers()));
    output.write_uv(constantCache.get(cd.constant()));
    output.write_uv(0); // no sub-blocks
    // TODO: write annotations


    output.close();
    return bytes.toByteArray();

View Full Code Here

    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(cd.name()));
    output.write_uv(generateModifiers(cd.modifiers()));
    output.write_uv(constantCache.get(cd.constant()));
    output.write_uv(0); // no sub-blocks
    // TODO: write annotations


    output.close();
    return bytes.toByteArray();
  }

View Full Code Here


  private byte[] generateTypeBlock(WyilFile.TypeDeclaration td) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(td.name()));
    output.write_uv(generateModifiers(td.modifiers()));
    output.write_uv(typeCache.get(td.type()));
    Code.Block invariant = td.invariant();


    if(invariant != null) {

View Full Code Here

  private byte[] generateTypeBlock(WyilFile.TypeDeclaration td) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(td.name()));
    output.write_uv(generateModifiers(td.modifiers()));
    output.write_uv(typeCache.get(td.type()));
    Code.Block invariant = td.invariant();


    if(invariant != null) {
      output.write_uv(1);

View Full Code Here

    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);


    output.write_uv(stringCache.get(td.name()));
    output.write_uv(generateModifiers(td.modifiers()));
    output.write_uv(typeCache.get(td.type()));
    Code.Block invariant = td.invariant();


    if(invariant != null) {
      output.write_uv(1);
      writeBlock(BLOCK_Constraint,td.invariant(),output);

View Full Code Here

    output.write_uv(generateModifiers(td.modifiers()));
    output.write_uv(typeCache.get(td.type()));
    Code.Block invariant = td.invariant();


    if(invariant != null) {
      output.write_uv(1);
      writeBlock(BLOCK_Constraint,td.invariant(),output);
    } else {
      output.write_uv(0);
    }

View Full Code Here


    if(invariant != null) {
      output.write_uv(1);
      writeBlock(BLOCK_Constraint,td.invariant(),output);
    } else {
      output.write_uv(0);
    }


    output.close();
    return bytes.toByteArray();
  }

View Full Code Here

0 1 2 3 4

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.