001    package escjava.vcGeneration;
002    
003    public class TNull extends TLiteral {
004        
005        protected Object value = null;
006        
007        protected TNull(){
008            type = _Reference;
009        }
010    
011        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
012            v.visitTNull(this);
013        }
014    
015    }
016