Examples of resolveAliases()


Examples of com.odiago.flumebase.exec.Symbol.resolveAliases()

    Symbol sym = symTab.resolve(mIdentifier);
    if (null == sym) {
      // Magic field or attribute.
      return Collections.singletonList(new TypedField("_" + mAssignedName, mType));
    } else {
      sym = sym.resolveAliases();
      String canonicalName = sym.getName();
      TypedField field = new TypedField(canonicalName, sym.getType(), mAssignedName, canonicalName);
      return Collections.singletonList(field);
    }
  }
View Full Code Here

Examples of com.odiago.flumebase.exec.Symbol.resolveAliases()

    Symbol fnSymbol = symTab.resolve(mFunctionName);
    if (null == fnSymbol) {
      throw new TypeCheckException("No such function: " + mFunctionName);
    }

    fnSymbol = fnSymbol.resolveAliases();

    if (!(fnSymbol instanceof FnSymbol)) {
      // This symbol isn't a function call?
      throw new TypeCheckException("Symbol " + mFunctionName + " is not a function");
    }
View Full Code Here

Examples of com.odiago.flumebase.exec.Symbol.resolveAliases()

    assert e1Sym != null;
    assert e2Sym != null;

    e1Sym = e1Sym.resolveAliases();
    e2Sym = e2Sym.resolveAliases();

    // We now have the symbols for the e1 and e2 sides of the BinExpr.
    // Determine which of these is from the left source and the right source.
    // Verify that both sources are represented here.
View Full Code Here

Examples of com.odiago.flumebase.exec.Symbol.resolveAliases()

    // The field symbol should also be an AssignedSymbol that has a unique
    // reference name throughout the query. Bind to the reference name here;
    // the actual query uses this name instead of the user-friendly
    // identifier.
    fieldSym = fieldSym.resolveAliases();
    assert fieldSym instanceof AssignedSymbol;

    outSym.item = (AssignedSymbol) fieldSym;
  }
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

        Set<TypeDeclaration> set = new HashSet<TypeDeclaration>();
        if (td.getSatisfiedTypes().isEmpty()) return; //handle undecidability case
        for (Tree.StaticType t: that.getTypes()) {
            ProducedType type = t.getTypeModel();
            if (type!=null && type.getDeclaration()!=null) {
                type = type.resolveAliases();
                TypeDeclaration std = type.getDeclaration();
                if (td instanceof ClassOrInterface &&
                        !inLanguageModule(that.getUnit())) {
                    if (unit.isCallableType(type)) {
                        t.addError("satisfies 'Callable'");
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

            Set<TypeDeclaration> typeSet = new HashSet<TypeDeclaration>();
            for (Tree.StaticType st: that.getTypes()) {
                ProducedType type = st.getTypeModel();
                TypeDeclaration ctd = type.getDeclaration();
                if (type!=null && ctd!=null) {
                    type = type.resolveAliases();
                    ctd = type.getDeclaration();
                    if (!typeSet.add(ctd)) {
                        //this error is not really truly necessary
                        st.addError("duplicate case type: '" +
                                ctd.getName(unit) +
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

            }
        }
        else if (td instanceof Class) {
            ProducedType et = ctd.getExtendedType();
            if (et!=null &&
                    et.resolveAliases().getDeclaration().equals(td)) {
                found = true;
            }
        }
        if (!found) {
            node.addError("case type is not a direct subtype of enumerated type: " +
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

                }
                that.setTypeModel(unit.getTypeParameterDeclarationType());
            }
            else if (d != null) {
                that.setWantsDeclaration(false);
                t = t.resolveAliases();
                //checkNonlocalType(that.getType(), t.getDeclaration());
                if (d instanceof Class) {
//                    checkNonlocal(that, t.getDeclaration());
                    if (((Class) d).isAbstraction()) {
                        errorNode.addError("class constructor is overloaded");
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

              if (!qtd.isAnonymous()) {
                oe.addError("must be a reference to an anonymous class");
              }
            }
            if (qt != null) {
              qt = qt.resolveAliases();
              if (qtd instanceof UnknownType) {
                // let it go, we already logged an error for the missing type
                return;
              }
              //checkNonlocalType(that.getType(), qtd);
View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.resolveAliases()

                    member = null;
                }
                ambiguous = false;
            }
            else {
                pt = pt.resolveAliases(); //needed for aliases like "alias Id<T> => T"
                TypeDeclaration d = getDeclaration(that, pt);
                container = "type '" + d.getName(unit) + "'";
                ClassOrInterface ci =
                        getContainingClassOrInterface(that.getScope());
                if (ci!=null && d.inherits(ci) && !(d instanceof NothingType)) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.