Examples of com.google.dart.engine.element.PropertyInducingElement

com.google.dart.engine.element.PropertyInducingElement
The interface {@code PropertyInducingElement} defines the behavior of elements representing avariable that has an associated getter and possibly a setter. Note that explicitly defined variables implicitly define a synthetic getter and that non- {@code final} explicitly definedvariables implicitly define a synthetic setter. Symmetrically, synthetic fields are implicitly created for explicitly defined getters and setters. The following rules apply:
- Every explicit variable is represented by a non-synthetic {@link PropertyInducingElement}.
- Every explicit variable induces a getter and possibly a setter, both of which are represented by synthetic {@link PropertyAccessorElement}s.
- Every explicit getter or setter is represented by a non-synthetic {@link PropertyAccessorElement}.
- Every explicit getter or setter (or pair thereof if they have the same name) induces a variable that is represented by a synthetic {@link PropertyInducingElement}.
@coverage dart.engine.element

      if (!baseType.equals(substitutedType)) {
        return true;
      }
      // If this property accessor is based on a field, that field might have a propagated type.
      // In which case we need to check whether the propagated type of the field needs substitution.
      PropertyInducingElement field = baseAccessor.getVariable();
      if (!field.isSynthetic()) {
        Type baseFieldType = field.getPropagatedType();
        if (baseFieldType != null) {
          Type substitutedFieldType = baseFieldType.substitute(argumentTypes, parameterTypes);
          if (!baseFieldType.equals(substitutedFieldType)) {
            return true;
          }

View Full Code Here

    return getBaseElement().getEnclosingElement();
  }


  @Override
  public PropertyInducingElement getVariable() {
    PropertyInducingElement variable = getBaseElement().getVariable();
    if (variable instanceof FieldElement) {
      return FieldMember.from(((FieldElement) variable), getDefiningType());
    }
    return variable;
  }

View Full Code Here

      PropertyAccess propertyAccess = (PropertyAccess) expression;
      element = propertyAccess.getPropertyName().getStaticElement();
    }
    if (element instanceof PropertyAccessorElement) {
      PropertyAccessorElement pae = (PropertyAccessorElement) element;
      PropertyInducingElement variable = pae.getVariable();
      return variable != null && variable.isConst();
    }
    return false;
  }

View Full Code Here

              prefixElement.getName());
        }
        return null;
      }
      if (element instanceof PropertyAccessorElement && identifier.inSetterContext()) {
        PropertyInducingElement variable = ((PropertyAccessorElement) element).getVariable();
        if (variable != null) {
          PropertyAccessorElement setter = variable.getSetter();
          if (setter != null) {
            element = setter;
          }
        }
      }

View Full Code Here

   * @return the element to which the identifier could be resolved
   */
  private Element resolveSimpleIdentifier(SimpleIdentifier node) {
    Element element = resolver.getNameScope().lookup(node, definingLibrary);
    if (element instanceof PropertyAccessorElement && node.inSetterContext()) {
      PropertyInducingElement variable = ((PropertyAccessorElement) element).getVariable();
      if (variable != null) {
        PropertyAccessorElement setter = variable.getSetter();
        if (setter == null) {
          //
          // Check to see whether there might be a locally defined getter and an inherited setter.
          //
          ClassElement enclosingClass = resolver.getEnclosingClass();

View Full Code Here

    // The first check, that [! (C << P)], covers the case where [P] and [C] are unrelated types;
    // This case is not addressed in the spec for static types.
    if (currentType == null || allowPrecisionLoss || !currentType.isMoreSpecificThan(potentialType)
        || potentialType.isMoreSpecificThan(currentType)) {
      if (element instanceof PropertyInducingElement) {
        PropertyInducingElement variable = (PropertyInducingElement) element;
        if (!variable.isConst() && !variable.isFinal()) {
          return;
        }
        ((PropertyInducingElementImpl) variable).setPropagatedType(potentialType);
      }
      overrideManager.setType(element, potentialType);

View Full Code Here

    }
    Element element = node.getName().getStaticElement();
    if (element instanceof VariableElement) {
      ((VariableElementImpl) element).setType(declaredType);
      if (element instanceof PropertyInducingElement) {
        PropertyInducingElement variableElement = (PropertyInducingElement) element;
        PropertyAccessorElementImpl getter = (PropertyAccessorElementImpl) variableElement.getGetter();
        getter.setReturnType(declaredType);
        FunctionTypeImpl getterType = new FunctionTypeImpl(getter);
        ClassElement definingClass = element.getAncestor(ClassElement.class);
        if (definingClass != null) {
          getterType.setTypeArguments(definingClass.getType().getTypeArguments());
        }
        getter.setType(getterType);


        PropertyAccessorElementImpl setter = (PropertyAccessorElementImpl) variableElement.getSetter();
        if (setter != null) {
          ParameterElement[] parameters = setter.getParameters();
          if (parameters.length > 0) {
            ((ParameterElementImpl) parameters[0]).setType(declaredType);
          }

View Full Code Here

   */
  private Type getPropertyPropagatedType(Element element, Type currentType) {
    if (element instanceof PropertyAccessorElement) {
      PropertyAccessorElement accessor = (PropertyAccessorElement) element;
      if (accessor.isGetter()) {
        PropertyInducingElement variable = accessor.getVariable();
        Type propagatedType = variable.getPropagatedType();
        if (currentType == null || propagatedType != null
            && propagatedType.isMoreSpecificThan(currentType)) {
          return propagatedType;
        }
      }

View Full Code Here

TOP

Related Classes of com.google.dart.engine.element.PropertyInducingElement

com.google.dart.engine.internal.element.member.PropertyAccessorMember

com.google.dart.engine.internal.hint.DeadCodeVerifier

com.google.dart.engine.internal.resolver.ElementResolver

com.google.dart.engine.internal.resolver.ResolverVisitor

com.google.dart.engine.internal.resolver.StaticTypeAnalyzer

com.google.dart.engine.internal.resolver.TypeResolverVisitor

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.