Examples of aterm.pure.binary.BinaryWriter.serialize()

aterm.pure.binary.BinaryWriter.serialize()
Serializes the term from the position where it left of the last time this method was called. Note that the buffer will be flipped before returned. @param buffer The buffer that will be filled with data. @throws VisitFailure Never thrown.

  }
  
  public void write(ATerm input, byte[] expectedResult) throws Exception{
    ByteBuffer buffer = ByteBuffer.allocate(expectedResult.length + 10);
    BinaryWriter bw = new BinaryWriter(input);
    bw.serialize(buffer);
    byte[] result = new byte[buffer.limit()];
    buffer.get(result);
    
    int expectedResultLength = expectedResult.length;
    int resultLength = result.length;

View Full Code Here

    BinaryWriter bw = new BinaryWriter(in);
    BinaryReader binaryReader = new BinaryReader(pureFactory);
    
    while(!binaryReader.isDone()){
      buffer.clear();
      bw.serialize(buffer);
      binaryReader.deserialize(buffer);
    }
    
    ATerm result = binaryReader.getRoot();

View Full Code Here

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.