001    package escjava.vcGeneration;
002    
003    /*
004     * Classes that inherits from this class have return type boolean
005     */
006    // ? -> boolean
007    abstract public class TBoolRes extends TFunction {
008    
009        public TBoolRes() {
010            type = _boolean;
011        }
012    
013    }