Parte 3 - Unicamp

Verificação Semântica IV
public class IfStatOp extends StatOp{
}
...
AbsOp cond, thenStat, elseStat;
...
boolean verif(){
}
if( !cond.verif() ||
!thenStat.verif() ||
!elseStat.verif()) return false;
return cond.retType()==Type.BoolType;
Type retType(){ return Type.NoType; }