Examples of UnionType

com.google.javascript.rhino.jstype.UnionType
The {@code UnionType} implements a common JavaScript idiom in which thecode is specifically designed to work with multiple input types. Because JavaScript always knows the run-time type of an object value, this is safer than a C union.
For instance, values of the union type {@code (String,boolean)} can be oftype {@code String} or of type {@code boolean}. The commutativity of the statement is captured by making {@code (String,boolean)} and{@code (boolean,String)} equal.
The implementation of this class prevents the creation of nested unions.
com.redhat.ceylon.compiler.typechecker.model.UnionType
org.apache.axis2.corba.idl.types.UnionType
org.yinwang.pysonar.types.UnionType
ptolemy.data.type.UnionType
A class representing the type of a UnionToken. To set the type of a typeable object (such as a port or parameter) to a union with particular fields, create an instance of this class and call setTypeEquals() with that instance as an argument.
Note that an union type with more fields is a supertype of a union type with a subset of the fields. For example, {|x = double, y = int} is a supertype of {|x = double}. When an union of type {|x = double} is converted to one of type {|x = double, y = int}, an extra field is added, but a value with the lower type will not have the type of this extra field. @author Yuhong Xiong, Elaine Cheong and Steve Neuendorffer @version $Id: UnionType.java,v 1.17 2007/12/07 06:31:47 cxh Exp $ @since Ptolemy II 5.2 @Pt.ProposedRating Red (yuhongx) @Pt.AcceptedRating Red (cxh)

Examples of com.google.javascript.rhino.jstype.UnionType

          shortest = distance;
          bestSoFar = alt;
        }
      }
    } else if (objectType.isUnionType()) {
      UnionType type = (UnionType) objectType;
      for (JSType alt : type.getAlternates()) {
        SuggestionPair pair = getClosestPropertySuggestion(alt, propName);
        if (pair != null) {
          if (pair.distance <= shortest) {
            if (pair.distance  == shortest) {
              if (bestSoFar != null &&

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

        return;
      }


      String className = thisType.getDisplayName();
      if (thatType.isUnionType()) {
        UnionType ut = thatType.toMaybeUnionType();
        for (JSType type : ut.getAlternates()) {
          if (type.isObject()) {
            addEventizeClass(className, type);
          }
        }
      } else {

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

  public List<Symbol> getAllSymbolsForType(JSType type) {
    if (type == null) {
      return ImmutableList.of();
    }


    UnionType unionType = type.toMaybeUnionType();
    if (unionType != null) {
      List<Symbol> result = Lists.newArrayListWithExpectedSize(2);
      for (JSType alt : unionType.getAlternates()) {
        // Our type system never has nested unions.
        Symbol altSym = getSymbolForTypeHelper(alt, true);
        if (altSym != null) {
          result.add(altSym);
        }

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType


      // Filter out non-function types (such as null and undefined) as
      // we only care about FUNCTION subtypes here.
      FunctionType restrictedParameter = null;
      if (iParameterType.isUnionType()) {
        UnionType union = iParameterType.toMaybeUnionType();
        for (JSType alternative : union.getAlternates()) {
          if (alternative.isFunctionType()) {
            // There is only one function type per union.
            restrictedParameter = alternative.toMaybeFunctionType();
            break;
          }

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

      // @param {T}
      resolvedTemplateType(
          resolvedTypes, paramType.toMaybeTemplateType(), argType);
    } else if (paramType.isUnionType()) {
      // @param {Array.<T>|NodeList|Arguments|{length:number}}
      UnionType unionType = paramType.toMaybeUnionType();
      for (JSType alernative : unionType.getAlternates()) {
        maybeResolveTemplatedType(alernative, argType, resolvedTypes, seenTypes);
      }
    } else if (paramType.isFunctionType()) {
      FunctionType paramFunctionType = paramType.toMaybeFunctionType();
      FunctionType argFunctionType = argType

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

      areAllUnknownsChecked = areAllUnknownsChecked &&
          alternate.isCheckedUnknownType();
    }
    if (!isAllType && !isNativeUnknownType) {
      if (alternate.isUnionType()) {
        UnionType union = alternate.toMaybeUnionType();
        for (JSType unionAlt : union.getAlternates()) {
          addAlternate(unionAlt);
        }
      } else {
        if (alternates.size() > maxUnionSize) {
          return this;

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

   */
  JSType build() {
    if (result == null) {
      result = reduceAlternatesWithoutUnion();
      if (result == null) {
        result = new UnionType(registry, getAlternateListCopy());
      }
    }
    return result;
  }

View Full Code Here

Examples of com.google.javascript.rhino.jstype.UnionType

  public List<Symbol> getAllSymbolsForType(JSType type) {
    if (type == null) {
      return ImmutableList.of();
    }


    UnionType unionType = type.toMaybeUnionType();
    if (unionType != null) {
      List<Symbol> result = Lists.newArrayListWithExpectedSize(2);
      for (JSType alt : unionType.getAlternates()) {
        // Our type system never has nested unions.
        Symbol altSym = getOnlySymbolForType(alt);
        if (altSym != null) {
          result.add(altSym);
        }

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnionType

                        } else {
                            ArrayList<ProducedType> cases = new ArrayList<ProducedType>(2);
                            Util.addToUnion(cases, sequencedType);
                            Util.addToUnion(cases, exprType);
                            if (cases.size() > 1) {
                                UnionType ut = new UnionType(that.getUnit());
                                ut.setCaseTypes(cases);
                                sequencedType = ut.getType();
                            } else {
                                sequencedType = cases.get(0);
                            }
                        }
                        if (!opened) {

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.UnionType

            subs = node.getUnit().getTupleElementTypes(pt);
            final ProducedType lastType = subs.get(subs.size()-1);
            if (node.getUnit().getSequenceDeclaration().equals(lastType.getDeclaration())
                    || node.getUnit().getSequentialDeclaration().equals(lastType.getDeclaration())) {
                //Non-empty, non-tuple tail; union it with its type parameter
                UnionType utail = new UnionType(node.getUnit());
                utail.setCaseTypes(Arrays.asList(lastType.getTypeArgumentList().get(0), lastType));
                subs.remove(subs.size()-1);
                subs.add(utail.getType());
            }
        } else {
            return false;
        }
        gen.out("',l:[");

View Full Code Here

0 1 2 3 4 5

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.