resultelement.java

来自「本人的毕业设计」· Java 代码 · 共 38 行

/*
 * ResultElement.java
 *
 * Created on 2007年5月13日, 下午2:16
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package XRSystem.Util;

/**
 *
 * @author 王刚
 */

import java.lang.*;
import java.util.*;

public class ResultElement extends PreElement{
    
    private int DocumentID;
    private int ElementPre;
    private int ElementPost;
    private String TagName;
    
    /** Creates a new instance of ResultElement */    
    public ResultElement(int DocumentID,int ElementPre,String TagName,int ElementPost) {
        super(DocumentID,ElementPre,TagName);
        this.ElementPost = ElementPost;
    }
    
    public int GetResultElementPost()
    {
        return ElementPost;
    }
}