org.eclipse.xtext.common.types.JvmSpecializedTypeReference Java Examples

/**
 * Constraint bounds are definitely invalid if they are <code>not null</code> and point to a primitive type.
 * {@link JvmSpecializedTypeReference} will not be resolved by this check thus they may lead to finally 
 * invalid constraint bounds.
 * 
 * @param constraintBound the reference that shall be come the new constraint.
 * @return <code>false</code> if the given constraint is definitely invalid. 
 */
protected boolean isLikelyAValidConstraintBound(JvmTypeReference constraintBound) {
	if (constraintBound == null)
		return true;
	if (constraintBound instanceof JvmSpecializedTypeReference) {
		JvmTypeReference equivalent = (JvmTypeReference) constraintBound.eGet(TypesPackage.Literals.JVM_SPECIALIZED_TYPE_REFERENCE__EQUIVALENT, false);
		if (equivalent != null) {
			return isLikelyAValidConstraintBound(equivalent);
		}
		return true;
	}
	boolean invalid = (constraintBound.getType() instanceof JvmPrimitiveType 
				|| (constraintBound.getType() instanceof JvmVoid && !constraintBound.getType().eIsProxy()));
	return !invalid;
}
 

/**
 * This handles model notifications by calling {@link #updateChildren} to update any cached
 * children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
@Override
public void notifyChanged(Notification notification)
{
	updateChildren(notification);

	switch (notification.getFeatureID(JvmSpecializedTypeReference.class))
	{
		case TypesPackage.JVM_SPECIALIZED_TYPE_REFERENCE__EQUIVALENT:
			fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), true, false));
			return;
	}
	super.notifyChanged(notification);
}
 

protected boolean isInvalidWildcard(JvmTypeReference typeRef) {
	if (typeRef instanceof JvmWildcardTypeReference)
		return true;
	else if (typeRef instanceof JvmParameterizedTypeReference) {
		for(JvmTypeReference typeArgument: ((JvmParameterizedTypeReference) typeRef).getArguments()) {
			if(typeArgument instanceof JvmWildcardTypeReference) 
				return true;
		}
	} else if (typeRef instanceof JvmSpecializedTypeReference) {
		return isInvalidWildcard(((JvmSpecializedTypeReference) typeRef).getEquivalent());
	}
	return false;
}
 

@Override
public StringBuilder doVisitSpecializedTypeReference(JvmSpecializedTypeReference reference, StringBuilder param) {
	return visit(reference.getEquivalent(), param);
}
 

@Override
public Adapter caseJvmSpecializedTypeReference(JvmSpecializedTypeReference object)
{
	return createJvmSpecializedTypeReferenceAdapter();
}
 

@Override
public Result doVisitSpecializedTypeReference(JvmSpecializedTypeReference reference) {
	Result result = visit(reference.getEquivalent());
	return result;
}
 

@Override
public Result doVisitSpecializedTypeReference(JvmSpecializedTypeReference reference, Parameter parameter) {
	Result result = visit(reference.getEquivalent(), parameter);
	return result;
}
 

/**
 * Returns the result of interpreting the object as an instance of '<em>Jvm Specialized Type Reference</em>'.
 * <!-- begin-user-doc -->
 * This implementation returns null;
 * returning a non-null result will terminate the switch.
 * <!-- end-user-doc -->
 * @param object the target of the switch.
 * @return the result of interpreting the object as an instance of '<em>Jvm Specialized Type Reference</em>'.
 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
 * @generated
 */
public T caseJvmSpecializedTypeReference(JvmSpecializedTypeReference object)
{
	return null;
}
 

Result doVisitSpecializedTypeReference(JvmSpecializedTypeReference reference, Parameter param); 

Result doVisitSpecializedTypeReference(JvmSpecializedTypeReference reference);