final agent A1 { }
agent A2 { }
agent A3 extends |

private class ExtensionFilter extends TypeMatchFilters.AbstractFilter {

		private final ITypesProposalProvider.Filter visibilityFilter;

		private final String modelFullName;

		ExtensionFilter(ContentAssistContext context, int searchFor) {
			super(searchFor);
			this.modelFullName = SARLProposalProvider.this.qualifiedNameProvider.getFullyQualifiedName(
					context.getCurrentModel()).toString();
			this.visibilityFilter = createVisibilityFilter(context, searchFor);
		}

		@Override
		public boolean accept(int modifiers, char[] packageName, char[] simpleTypeName,
				char[][] enclosingTypeNames, String path) {
			// Avoid auto reference of type.
			final String fullName = JavaModelUtil.concatenateName(packageName, simpleTypeName);
			if (Objects.equals(this.modelFullName, fullName)) {
				return false;
			}
			//The following tests are done by the visibility filter.
			//if (TypeMatchFilters.isInternalClass(simpleTypeName, enclosingTypeNames)) {
			//	return false;
			//}
			//if (!TypeMatchFilters.isAcceptableByPreference().accept(modifiers, packageName,
			//		simpleTypeName, enclosingTypeNames, path)) {
			//	return false;
			//}
			// Final modifier test
			if (Flags.isFinal(modifiers)) {
				return false;
			}
			return this.visibilityFilter.accept(modifiers, packageName, simpleTypeName, enclosingTypeNames, path);
		}
	}