Ejemplo n.º 1
0
 internal override InvalidInfo AccumUsedTypeDefs(ValidityContext vctxt, MessageContext ctxt, Set <QualifiedTypeName> usedTypes)
 {
     if (!name.IsResolvable(vctxt.Global, vctxt.Log, ctxt))
     {
         return(new InvalidInfo(MessageContextBuilders.Type(vctxt.Global, this)));
     }
     usedTypes.Add(name);
     return(arguments.Select(a => a.AccumUsedTypeDefs(vctxt, ctxt, usedTypes)).FirstOrDefault
                (v => v != null));
 }
Ejemplo n.º 2
0
        public bool IsResolvable(Global global, Log log, MessageContext ctxt)
        {
            if (!DefiningType.IsResolvable(global, log, ctxt))
            {
                return(false);
            }
            var assemblyDef = default(AssemblyDef);
            var typeDef     = default(TypeDef);

            if (!DefiningType.PrimTryResolve(global, out assemblyDef, out typeDef))
            {
                return(false);
            }

            var memberDef = typeDef.ResolveMember(Signature);

            if (memberDef == null)
            {
                log(new InvalidMemberName(ctxt, this, "Type does not contain a definition for member"));
                return(false);
            }
            return(true);
        }