Good evening.

My master degree is about architecture conformance and I proposed a "dependency constraint language" and I'm using .QL for all these proposed constraints.

However, I'm having difficulties with a constraint which declares that one module A can-declare variables of a type.

By example: only A can-declare B.

Query returns all classes which declare a attribute of type B:
    from Field f, Class clazz
    where
        clazz.hasQualifiedName("com.terra","B") and
        f.getType() = clazz
    select f.getDeclaringType().getQualifiedName()

Query returns all classes and their methods or constructors which declare a parameter of type B:
    from Callable c, Class clazz
    where
        clazz.hasQualifiedName("com.terra","B") and
        c.getAParameter().getType() = clazz
    select c.getDeclaringType().getQualifiedName(), c.getStringSignature()

Then, my difficult is: How I use .QL to return all methods or constructors which declare the type B in their bodies?

Thanks a lot,

Ricardo Terra