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 }