001    package escjava.vcGeneration;
002    
003    // TBoolOp = return a boolean and sons are boolean : list(boolean) -> boolean
004    public class TStore extends TFunction {
005    
006        public void typeTree(){
007            
008            if(sons.size()!=3)
009                TDisplay.err(this, "typeTree()", "TStore node with "+sons.size()+" instead of 3, that's strange...");
010            else {
011                TNode n1 = getChildAt(0);
012                TNode n2 = getChildAt(1);
013                TNode n3 = getChildAt(2);
014    
015                n1.setType(_Field, true);
016                n2.setType(_Reference,true);
017    
018                n1.typeTree();
019                n2.typeTree();
020                n3.typeTree();
021            }
022    
023        }
024    
025        public void accept(/*@ non_null @*/ TVisitor v) throws java.io.IOException{
026            v.visitTStore(this);
027        }
028    
029    } 
030    
031    // %Reference -> %Type