import java.util.*;
/**
*
The header node of a posting list. At the minimum the node should
* contain the term (a word or a phrase) and the document frequency (length
* of the posting list).
*/
public class PostingHeader {
public String term;
public int docFrequency;
public ArrayList postList;
public PostingHeader(String inTerm, String docName, int termFrequency) {
this.term = inTerm;
this.docFrequency = 1;
this.postList = new ArrayList();
PostingNode initNode = new PostingNode(docName, termFrequency);
this.postList.add(initNode);
}
public void incDocFreq() {
this.docFrequency ++;
}
}