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

from MemberConstant c
where c.getName() = "Y"
  and c.getDeclaringType().hasQualifiedName("Constants.A")
  and c.getType() instanceof IntType
  and c.getInitializer() instanceof IntLiteral
  and c.isPublic()
  and c.getValue() = "10"
select c, c.getType().toString()

