001    package escjava.vcGeneration;
002    
003    public class TypeInfo {
004    
005        /**
006         * README :
007         * 
008         * This class is used to store old types and corresponding new types.
009         * 
010         * If you want to change the way types are renamed, just change
011         * {@link pvsRename} or {@link sammyRename} or add a function at the end.
012         */
013    
014        public/* @ non_null @ */String old = null;
015    
016        public String def = null;
017    
018        private ProverType prover = null;
019    
020        public TypeInfo(/* @ non_null @ */String old) {
021            this.old = old;
022        }
023    
024        /**
025         * Constructor for specifying the renaming of the type.
026         */
027        public TypeInfo(/* @ non_null @ */String old, /* @ non_null @ */String def, /*@ non_null @*/ProverType prover) {
028            this.old = old;
029            this.def = def;
030            this.prover = prover;
031        }
032    
033        public/* @ non_null @ */String getTypeInfo() {
034            return prover.getTypeInfo(this);
035        }
036    
037    }