Examples of com.odiago.flumebase.lang.Type.replaceUniversal()

com.odiago.flumebase.lang.Type.replaceUniversal()
@return this type structure with any UniversalType instancesreplaced by their concrete types. @param universalMapping a map from universal type instances to theirconcrete replacements within an expression. @throws TypeCheckException if the universal type is not bound properly.

    }
    
    // Finally, generate a list of concrete argument types for coercion purposes.
    for (int i = 0; i < abstractArgTypes.size(); i++ ) {
      Type abstractType = abstractArgTypes.get(i);
      mArgTypes[i] = abstractType.replaceUniversal(unificationOut);
      assert mArgTypes[i] != null;
    }


    // Also set mReturnType; if this referenced a UniversalType, use the resolved
    // version. Otherwise, use the version from the function directly.

View Full Code Here


    // Also set mReturnType; if this referenced a UniversalType, use the resolved
    // version. Otherwise, use the version from the function directly.
    Type fnRetType = mFnSymbol.getReturnType();
    try {
      mReturnType = fnRetType.replaceUniversal(unificationOut);
    } catch (TypeCheckException tce) {
      // We can only resolve against our arguments, not our caller's type.
      if (fnRetType instanceof ListType) {
        // If the unresolved typevar is an argument to a list type, we can
        // return this -- it's going to be an empty list, so we can return

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.