package tarau.jinni;
import java.io.Writer;
import java.io.FileOutputStream;
import java.io.IOException;

/**
  Builds Jinni Fluents from Java
  Streams
*/
class StringSink extends Sink {
  protected StringBuffer buffer;
  
  StringSink(Prog p) {
    super(p);
    this.buffer=new StringBuffer();
  }

  public int putElement(Term t) {
    buffer.append(t.toUnquoted());
    return 1;
  }
  
  public void stop() {
     buffer=null;
  }
   
  public Term collect() {
    return new Const(buffer.toString());
  }
}