Examples with TypableElement org.eclipse.n4js.ts.types.TypableElement used on opensource projects

Example 1 with TypableElement

use of org.eclipse.n4js.ts.types.TypableElement in project n4js by eclipse.

the class TypeXpectMethod method getTypeString.

private String getTypeString(IEObjectCoveringRegion offset, boolean expectedType) {
    final String calculatedString;
    EObject eobject = offset.getEObject();
    if (eobject instanceof LiteralOrComputedPropertyName) {
        eobject = eobject.eContainer();
    }
    RuleEnvironment G = newRuleEnvironment(eobject);
    Result<org.eclipse.n4js.ts.typeRefs.TypeRef> result;
    if (expectedType) {
        if (!(eobject instanceof Expression && eobject.eContainer() != null))
            return "Not an Expression at given region (required to obtain expected type); got instead: " + eobject.eClass().getName();
        result = ts.expectedTypeIn(G, eobject.eContainer(), (Expression) eobject);
    } else {
        if (eobject instanceof BindingProperty) {
            /*-
				 * Small tweak to allow testing the inferred type of variable declarations within binding patterns. For
				 * example, without this tweak, the following test would fail with a "Not a TypableElement at given
				 * region" exception:
				 *
				 * // Xpect type of 'len' --> number
				 * var {length:len} = "hello";
				 */
            if (((BindingProperty) eobject).getValue() != null && ((BindingProperty) eobject).getValue().getVarDecl() != null) {
                eobject = ((BindingProperty) eobject).getValue().getVarDecl();
            }
        }
        if (!(eobject instanceof TypableElement))
            return "Not a TypableElement at given region; got instead: " + eobject.eClass().getName();
        result = ts.type(G, (TypableElement) eobject);
    }
    if (result.getRuleFailedException() != null) {
        calculatedString = result.getRuleFailedException().getMessage();
    } else {
        calculatedString = result.getValue().getTypeRefAsString();
    }
    return calculatedString;
}

Example 2 with TypableElement

use of org.eclipse.n4js.ts.types.TypableElement in project n4js by eclipse.

the class N4JSNameValidator method holdsNoTypeNameOrNameEqualsType.

private boolean holdsNoTypeNameOrNameEqualsType(NamedElement namedElement) {
    if (namedElement instanceof TypableElement) {
        String name = namedElement.getName();
        if (BASE_TYPES.contains(name)) {
            TypeRef typeRef = ts.tau((TypableElement) namedElement);
            if (typeRef != null && typeRef.getDeclaredType() != null) {
                String typeName = typeRef.getDeclaredType().getName();
                if (!Strings.isEmpty(typeName) && !name.equals(typeName)) {
                    final String message = getMessageForCLF_NAME_DIFFERS_TYPE(validatorMessageHelper.description(namedElement), name, typeName);
                    addIssue(Strings.toFirstUpper(message), namedElement, N4JSFeatureUtils.attributeOfNameFeature(namedElement), CLF_NAME_DIFFERS_TYPE);
                    return false;
                }
            }
        }
    }
    return true;
}