public Pointcut parameterizeWith(Map typeVariableMap, World w) { AndPointcut ret = new AndPointcut( left.parameterizeWith(typeVariableMap, w), right.parameterizeWith(typeVariableMap, w)); ret.copyLocationFrom(this); ret.m_ignoreUnboundBindingForNames = m_ignoreUnboundBindingForNames; return ret; }