001    package aima.logic.fol.inference.proof;
002    
003    import java.util.ArrayList;
004    import java.util.Collections;
005    import java.util.List;
006    
007    /**
008     * @author Ciaran O'Reilly
009     * 
010     */
011    public class ProofStepGoal extends AbstractProofStep {
012            //
013            private static final List<ProofStep> _noPredecessors = new ArrayList<ProofStep>();
014            //
015            private Object proof = "";
016    
017            public ProofStepGoal(Object proof) {
018                    this.proof = proof;
019            }
020    
021            //
022            // START-ProofStep
023            public List<ProofStep> getPredecessorSteps() {
024                    return Collections.unmodifiableList(_noPredecessors);
025            }
026    
027            public String getProof() {
028                    return proof.toString();
029            }
030    
031            public String getJustification() {
032                    return "Goal";
033            }
034            // END-ProofStep
035            //
036    }