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

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

45
46
47
48
49
50
51
52
53
54
55
56
57
58
      Type type = result.getType();
     
      if (type.isAbstractData() && type.isSubtypeOf(Factory.Tree)) {
        content = type.toString() + ": `" + TreeAdapter.yield((IConstructor) value, 1000) + "`\n";
       
        StandardTextWriter stw = new StandardTextWriter(false);
        LimitedResultWriter lros = new LimitedResultWriter(1000);
        try{
          stw.write(value, lros);
        }catch(IOLimitReachedException iolrex){
          // This is fine, ignore.
        }catch(IOException ioex){
          // This can never happen.
        }
View Full Code Here
170
171
172
173
174
175
176
177
178
179
180
181
182
    return "Not a rascal exception: " + e.toString();
  }

  public static String throwMessage(Throw e) {
    LimitedResultWriter lros = new LimitedResultWriter(1000);
    StandardTextWriter stw = new StandardTextWriter(false);
    try {
      stw.write(e.getException(), lros);
    }
    catch(IOLimitReachedException iolrex){
      // This is fine, ignore.
    }
    catch(IOException ioex){
View Full Code Here
678
679
680
681
682
683
684
685
686
687
688
    loc = rex.resolveSourceLocation(loc);

    OutputStream out = null;
    try{
      out = rex.getResolverRegistry().getOutputStream(loc.getURI(), false);
      new StandardTextWriter().write(value, new OutputStreamWriter(out, "UTF8"));
    }
    catch(IOException e) {
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }
    finally {
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
  public String toString(){
    return getType().toString() + ": " + value.toString();
  }
 
  public String toString(int length){
    StandardTextWriter stw = new StandardTextWriter(true);
    LimitedResultWriter lros = new LimitedResultWriter(length);
   
    try {
      stw.write(getValue(), lros);
    }
    catch (IOLimitReachedException iolrex){
      // This is fine, ignore.
    }
    catch (IOException ioex) {
View Full Code Here
869
870
871
872
873
874
875
876
877
878
879
880
881
882
      currentOutStream.flush();
    }
  }
 
  public void iprint(IValue arg, IEvaluatorContext eval){
    StandardTextWriter w = new StandardTextWriter(true, 2);
   
    try {
      w.write(arg, eval.getStdOut());
    }
    catch (IOException e) {
      RuntimeExceptionFactory.io(values.string("Could not print indented value"), eval.getCurrentAST(), eval.getStackTrace());
    }
    finally{
View Full Code Here
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
      eval.getStdOut().flush();
    }
  }
 
  public void iprintToFile(ISourceLocation sloc, IValue arg, IEvaluatorContext eval) {
    StandardTextWriter w = new StandardTextWriter(true, 2);
    StringWriter sw = new StringWriter();

    try {
      w.write(arg, sw);
      writeFile(sloc, values.list(values.string(sw.toString())), eval);
    } catch (IOException e) {
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), eval.getCurrentAST(), null);   
    }
  }
View Full Code Here
895
896
897
898
899
900
901
902
903
904
905
906
907
908
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), eval.getCurrentAST(), null);   
    }
  }
 
  public void iprintln(IValue arg, IEvaluatorContext eval){
    StandardTextWriter w = new StandardTextWriter(true, 2);
   
    try {
      w.write(arg, eval.getStdOut());
      eval.getStdOut().println();
    }
    catch (IOException e) {
      RuntimeExceptionFactory.io(values.string("Could not print indented value"), eval.getCurrentAST(), eval.getStackTrace());
    }
View Full Code Here
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
  }

  private IValue itoStringValue(IValue T)
  //@doc{toString -- convert a node to a string}
  {
    StandardTextWriter w = new StandardTextWriter(true, 2);
    StringWriter result = new StringWriter();
    try {
      w.write(T, result);
      return values.string(result.toString());
    }
    catch (IOException e) {
      RuntimeExceptionFactory.io(values.string("Could not convert list to indented value"), null, null);
      throw new RuntimeException("previous command should always throw");
View Full Code Here
3554
3555
3556
3557
3558
3559
3560
3561
3562
3563
3564
    loc = ctx.getHeap().resolveSourceLocation(loc);
   
    OutputStream out = null;
    try{
      out = ctx.getResolverRegistry().getOutputStream(loc.getURI(), false);
      new StandardTextWriter().write(value, new OutputStreamWriter(out, "UTF8"));
    }
     catch(IOException e) {
      throw RuntimeExceptionFactory.io(values.string(e.getMessage()), null, null);
    }
    finally {
View Full Code Here
TOP

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

  • org.rascalmpl.interpreter.result.Result
  • org.rascalmpl.interpreter.utils.ReadEvalPrintDialogMessages
  • org.rascalmpl.library.Prelude
  • org.rascalmpl.library.PreludeCompiled
    • 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.