Package aterm.stream

Examples of aterm.stream.BufferedOutputStreamWriter


  private Map<ATerm, Integer> table;

  private int next_abbrev;

  ATermWriter(OutputStream stream) {
    this.stream = new BufferedOutputStreamWriter(stream);
  }
View Full Code Here

TOP

Related Classes of aterm.stream.BufferedOutputStreamWriter

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.