Java SignatureWithParameters类代码示例

import org.aikodi.chameleon.oo.member.SignatureWithParameters; //导入依赖的package包/类
@Override
	public boolean contains(Declaration first, Declaration second) throws LookupException {
	  boolean result = false;
	  if((!first.sameAs(second)) && (first instanceof Method) && (second instanceof Method)) {
	    Method method1 = (Method) first;
	    Method method2 = (Method) second;
	    	result = !checkDefined(method2);
	    	result = result && first.name().equals(second.name());
	    	if(result) {
	    		SignatureWithParameters signature1 = method1.signature();
	    		SignatureWithParameters signature2 = method2.signature();
	    		result = signature1.sameParameterBoundsAs(signature2);
					if(!result) {
						SignatureWithParameters erasure2 = signature2.language(Java7.class).erasure((SignatureWithParameters) signature2);
						result = signature1.sameParameterBoundsAs(erasure2);
					}
	    		result = result &&
	    		(! method2.nearestAncestor(Type.class).subtypeOf(method1.nearestAncestor(Type.class))) &&
	    		method1.sameKind(method2);
	    	} 
//	    } 
	  }
	  return result; 
	}
 

import org.aikodi.chameleon.oo.member.SignatureWithParameters; //导入依赖的package包/类
public SignatureWithParameters erasure(SignatureWithParameters signature) {
	SignatureWithParameters result = new SignatureWithParameters(signature.name());
	result.setUniParent(signature.parent());
	for(TypeReference tref : signature.typeReferences()) {
		JavaTypeReference jref = (JavaTypeReference) tref;
		JavaTypeReference erasedReference = jref.erasedReference();
		result.add(erasedReference);
	}
	return result;
}
 

import org.aikodi.chameleon.oo.member.SignatureWithParameters; //导入依赖的package包/类
/** 
 * FIXME This should be used in a validation rule. The check that is done during
 * lookup is {@link Declaration#compatibleSignature(Declaration)}. In correct Java code,
 * the sameAs check for types will give the correct result because any infinite types
 * must have the same structure in both methods anyway. 
 * If the code is not correct, however, that may not be the case. The lookup will then 
 * (correctly) give two results and fail, but the actual error
 * is not in the invocation but in the definition. For now, that is not detected.
 */
private static boolean subSignature(Method first, Method second) throws LookupException {
	boolean result = first.sameKind(second) && ((Type)first.nearestAncestor(Type.class)).subtypeOf((Type)second.nearestAncestor(Type.class));
	if(result) {
		SignatureWithParameters signature1 = first.signature();
		SignatureWithParameters signature2 = second.signature();
		result = signature1.sameParameterBoundsAs(signature2);
		if(!result) {
		   SignatureWithParameters erasure2 = signature2.language(Java7.class).erasure((SignatureWithParameters) signature2);
			result = signature1.sameParameterBoundsAs(erasure2);
		}
	}
	return result;
}
 

import org.aikodi.chameleon.oo.member.SignatureWithParameters; //导入依赖的package包/类
private boolean selectedBasedOnName(Signature signature) throws LookupException {
  	boolean result = false;
	if(signature instanceof SignatureWithParameters) {
		List<Type> actuals = getActualParameterTypes();
		List<Type> formals = ((SignatureWithParameters)signature).parameterTypes();
		if (MoreSpecificTypesOrder.create().contains(actuals, formals)) {
				result = true;
		}
	}
    return result;
}