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