Package org.eclipse.imp.pdb.facts.io

Examples of org.eclipse.imp.pdb.facts.io.ATermWriter

83
84
85
86
87
88
89
90
91
92
93
 
  public void writeTextATermFile(ISourceLocation loc, IValue value, IEvaluatorContext ctx){
    OutputStream out = null;
    try{
      out = ctx.getResolverRegistry().getOutputStream(loc.getURI(), false);
      new ATermWriter().write(value, new OutputStreamWriter(out, "UTF8"));
    }catch(IOException e){
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }finally{
      if(out != null){
        try{
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.io.ATermWriter

  • org.rascalmpl.library.lang.aterm.IO
    • 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.