HomeSort by: relevance | last modified time | path
    Searched refs:Covariant (Results 1 - 14 of 14) sorted by relevancy

  /src/external/gpl3/gcc.old/dist/gcc/d/dmd/
dclass.d 460 * This is used to detect forward references in covariant overloads.
739 if (ident != fd.ident || fd.type.covariant(tf) != Covariant.yes)
741 //printf("\t\t%d\n", fd.type.covariant(tf));
765 fdmatch.type.covariant(fd.type) == Covariant.yes)
772 // Function type matching: exact > covariant
mtype.h 122 enum class Covariant
229 Covariant covariant(Type *t, StorageClass *pstc = NULL);
func.d 628 const cov = type.covariant(fd.type);
629 if (cov != Covariant.distinct)
643 * Prefer an exact match to a covariant one.
687 const cov = type.covariant(fdv.type, &stc);
691 case Covariant.distinct:
695 case Covariant.yes:
696 bestvi = vi; // covariant, but not identical
700 case Covariant.no:
703 mismatch = fdv; // overrides, but is not covariant
707 case Covariant.fwdref
    [all...]
mtype.d 320 /// Result of a check whether two types are covariant
321 enum Covariant
324 yes = 1, /// types are covariant
325 no = 2, /// arguments match as far as overloading goes, but types are not covariant
523 * Covariant means that 'this' can substitute for 't',
526 * t = type 'this' is covariant with
527 * pstc = if not null, store STCxxxx which would make it covariant
529 * An enum value of either `Covariant.yes` or a reason it's not covariant.
531 final Covariant covariant(Type t, StorageClass* pstc = null
    [all...]
opover.d 1759 // Ignore covariant matches, as later on it can be redone
1761 ambig = !(tfBody.covariant(bestBody) == Covariant.yes || bestBody.covariant(tfBody) == Covariant.yes);
1765 fd_ambig = f; // not covariant, so ambiguous
ctfeexpr.d 693 return srcPointee.covariant(destPointee) == Covariant.yes ||
694 destPointee.covariant(srcPointee) == Covariant.yes;
dtemplate.d 2741 /* The 'overrides' check above does covariant checking only
2746 * I.e. a not-the-same-but-covariant match is preferred,
2751 //printf("cov: %d %d\n", m.lastf.type.covariant(fd.type), fd.type.covariant(m.lastf.type));
2752 const lastCovariant = m.lastf.type.covariant(fd.type);
2753 const firstCovariant = fd.type.covariant(m.lastf.type);
2755 if (lastCovariant == Covariant.yes || lastCovariant == Covariant.no)
2757 if (firstCovariant != Covariant.yes && firstCovariant != Covariant.no
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/AST/
DeclPrinter.cpp 1254 case ObjCTypeParamVariance::Covariant:
JSONNodeDumper.cpp 944 case ObjCTypeParamVariance::Covariant:
945 JOS.attribute("variance", "covariant");
TextNodeDumper.cpp 2167 case ObjCTypeParamVariance::Covariant:
2168 OS << " covariant";
ASTContext.cpp 9137 case ObjCTypeParamVariance::Covariant:
  /src/external/apache2/llvm/dist/clang/include/clang/AST/
DeclObjC.h 558 /// The parameter is covariant, e.g., X<T> is a subtype of X<U> when
559 /// the type parameter is covariant and T is a subtype of U.
560 Covariant,
563 /// when the type parameter is covariant and U is a subtype of T.
  /src/external/apache2/llvm/dist/clang/lib/Sema/
SemaDeclObjC.cpp 888 case ObjCTypeParamVariance::Covariant:
891 = prevTypeParam->getVariance() == ObjCTypeParamVariance::Covariant
  /src/external/apache2/llvm/dist/clang/lib/Parse/
ParseObjc.cpp 456 ? ObjCTypeParamVariance::Covariant

Completed in 79 milliseconds