Ejemplos de TypeMapping en Java

Ejemplo n.º 1

Archivo: RBCompoundTerm.java Proyecto: SEAL-UCLA/Ref-Finder

 public Object up() {
   TypeConstructor tc = getTypeConstructor();
   if ((tc instanceof UserDefinedTypeConstructor)) {
     TypeMapping mapping = ((UserDefinedTypeConstructor) tc).getMapping();
     if (mapping != null) {
       return mapping.toJava(getArg().up());
     }
   }
   return super.up();
 }