Package wyfs.io

Examples of wyfs.io.BinaryOutputStream

78
79
80
81
82
83
84
  private final HashMap<Constant,Integer> constantCache = new HashMap<Constant,Integer>();
  private final ArrayList<Type> typePool = new ArrayList<Type>();
  private final HashMap<Type,Integer> typeCache = new HashMap<Type,Integer>();

  public WyilFileWriter(OutputStream output) {
    this.out = new BinaryOutputStream(output);
  }
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
   * @throws IOException
   */
  private byte[] generateHeaderBlock(WyilFile module)
      throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);

    // second, write the file version number
    output.write_uv(MAJOR_VERSION);
    output.write_uv(MINOR_VERSION);

    // third, write the various pool sizes
    output.write_uv(stringPool.size());
    output.write_uv(pathPool.size());
    output.write_uv(namePool.size());
    output.write_uv(typePool.size());
    output.write_uv(constantPool.size());

    // finally, write the number of remaining blocks
    output.write_uv(module.blocks().size());

    writeStringPool(output);
    writePathPool(output);
    writeNamePool(output);
    writeTypePool(output);
    writeConstantPool(output);

    output.close();

    return bytes.toByteArray();
  }
View Full Code Here
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
    }
  }

  private byte[] generateModuleBlock(WyilFile module) 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);
    }

        output.close();

    return bytes.toByteArray();
  }
View Full Code Here
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
    }
  }

  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();
    return bytes.toByteArray();
  }
View Full Code Here
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
    return bytes.toByteArray();
  }

  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);
      writeBlock(BLOCK_Constraint,td.invariant(),output);
    } else {
      output.write_uv(0);
    }

    output.close();
    return bytes.toByteArray();
  }
View Full Code Here
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
    return bytes.toByteArray();
  }

  private byte[] generateFunctionOrMethodBlock(WyilFile.FunctionOrMethodDeclaration md) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);

    output.write_uv(stringCache.get(md.name()));
    output.write_uv(generateModifiers(md.modifiers()));
    output.write_uv(typeCache.get(md.type()));
    output.write_uv(md.cases().size());

    for(WyilFile.Case c : md.cases()) {
      writeBlock(BLOCK_Case,c,output);
    }

    // TODO: write annotations
    output.close();
    return bytes.toByteArray();
  }
View Full Code Here
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
    return bytes.toByteArray();
  }

  private byte[] generateFunctionOrMethodCaseBlock(WyilFile.Case c) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);

    int bodyCount = c.body() == null ? 0 : 1;

    output.write_uv(c.precondition().size() + c.postcondition().size() + bodyCount);
    for(Code.Block requires : c.precondition()) {
      writeBlock(BLOCK_Precondition,requires,output);
    }
    for(Code.Block ensures : c.postcondition()) {
      writeBlock(BLOCK_Postcondition,ensures,output);
    }
    if(c.body() != null) {
      writeBlock(BLOCK_Body,c.body(),output);
    }
    // TODO: write annotations

    output.close();
    return bytes.toByteArray();
  }
View Full Code Here
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
    return bytes.toByteArray();
  }

  private byte[] generateCodeBlock(Code.Block block) throws IOException {
    ByteArrayOutputStream bytes = new ByteArrayOutputStream();
    BinaryOutputStream output = new BinaryOutputStream(bytes);

    HashMap<String,Integer> labels = new HashMap<String,Integer>();

    int nlabels = 0;
    int offset = 0;
    for(Code.Block.Entry e : block) {
      Code code = e.code;
      if(code instanceof Codes.Label) {
        Codes.Label l = (Codes.Label) code;
        labels.put(l.label, offset);
        nlabels++;
      } else {
        offset++;
      }
    }

    output.write_uv(block.size()-nlabels); // instruction count (not same as block size!)
    offset = 0;
    for(Code.Block.Entry e : block) {
      if(e.code instanceof Codes.Label) {

      } else {
        writeCode(e.code, offset++, labels, output);
      }
    }

    output.close();
    return bytes.toByteArray();
  }
View Full Code Here
357
358
359
360
361
362
363
364
365
366
367
        }
        index++;
      }

      if(binary) {
        BinaryOutputStream bos = new BinaryOutputStream(out);
        writer = new BinaryAutomataWriter(bos);
      } else {
        writer = new TextAutomataWriter(out);
      }
      for(int i=minSize;i<=maxSize;++i) {
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
        reader = new BinaryAutomataReader(bis);
      } else {
        reader = null; // TODO
      }
      if(binaryOut) {
        BinaryOutputStream bos = new BinaryOutputStream(output);
        writer = new BinaryAutomataWriter(bos);
      } else {
        writer = new TextAutomataWriter(output);
      }
      int nread = 0;
View Full Code Here
TOP

Related Classes of wyfs.io.BinaryOutputStream

  • wyautl_old.util.Filter
  • wyautl_old.util.Generator
  • wycs.io.WycsFileWriter
  • wyil.io.WyilFileWriter
  • wyil.util.type.TypeGenerator
  • wyjc.Wyil2JavaBuilder
  • wyrl.core.Type
  • wyrl.io.JavaFileWriter
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.