package tarau.jinni;
import java.util.Vector;

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

  public int putElement(Term T) {
    buffer.addElement(T);
    return 1;
  }
  
  public void stop() {
    buffer=null;
  }
  
  public Term collect() {
    return new JavaSource(buffer,p);
  }
}