Exemplos de Type.unify em Java

Exemplo n.º 1

Arquivo: JSSA.java Projeto: behnaaz/jerl

 public Return(Expr e) {
   this.e = e;
   if (Type.unify(method.getReturnType(), e.getType()) != method.getReturnType())
     throw new IllegalArgumentException("type mismatch");
 }