001    /* Copyright 2000, 2001, Compaq Computer Corporation */
002    
003    package escjava.prover;
004    
005    /**
006     * An object of this class represent a progress comment produced by
007     * Simplify.
008     * 
009     * @see Simplify
010     * @see escjava.prover.CECEnum
011     * @see SExp
012     */
013    
014    public class SimplifyComment extends SimplifyOutput
015    {
016        /*@ spec_public @*/ final String msg;
017    
018        //@   ensures this.msg == msg;
019        SimplifyComment(String msg) {
020            super(COMMENT);
021            this.msg = msg;
022        }
023    
024        //@ ensures \result == msg;
025        public /*@ pure @*/ String getMsg() {
026            return msg;
027        }
028    }