    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    }