determine if a declaration is annotated with all of 'Type<Annotation>[]'

[jvasileff]

It's possible to search for models that are annotated with all annotations in a Type<Annotation>[], such as with:

shared formal Attribute<Container,Get,Set>[]
    getAttributes<Container = Nothing, Get = Anything, Set = Nothing>
    (Type<Annotation>[] annotationTypes)

but there doesn't seem to be an easy way to test if a model or declaration that you already have contains all annotations in a list. There is some overlap with #706.

The best I've come up with so far (without API support), is:

shared
Boolean annotatedTake1(
        AnnotatedDeclaration programElement,
        Type<Annotation> *annotations)
    =>  annotations.every((annotation)
        =>  !`function AnnotatedDeclaration.annotations`
                .memberApply
                    <AnnotatedDeclaration, [Annotation*], []>
                    (`AnnotatedDeclaration`, annotation)
                    (programElement)().empty);

// or

shared
Boolean annotatedTake2(
        AnnotatedDeclaration programElement,
        Type<Annotation> *annotations)
    =>  annotations.empty || ( 
        let (allAnnotations =
                programElement.annotations<Annotation>()) 
        annotations.every((requiredAnnotation)
            =>  allAnnotations.any((presentAnnotation)
                =>  type(presentAnnotation)
                        .subtypeOf(requiredAnnotation))));