/**
 * @name Test for fields
 */
import csharp

from Field f
where f.getName() = "finished"
  and f.getDeclaringType().hasQualifiedName("Fields.Application")
  and f.getType() instanceof BoolType
  and not exists(f.getInitializer())
  and f.isPublic() and f.isStatic() and f.isVolatile()
select f, f.getType().toString()

