public void Should_verify_methods_if_method_is_known()
{
var method = GetMethodInfo(() => TestKnownStaticType.Get42());
var expr = Expression.Call(method);
var verify = Create(m => m == method);
var verified = verify(expr);
AssertVerified(verified);
}
public void Should_refute_methods_if_method_is_unknown()
{
var method = GetMethodInfo <int>(() => TestKnownStaticType.Get42());
var expr = Expression.Call(method);
var verify = Create();
var refuted = verify(expr);
AssertRefuted(refuted);
}
public void DeclaredMembersVerifier_should_verify_open_generic_methods_to_be_closed_with_any_types()
{
var genericMethod = typeof(TestKnownStaticType).GetMethod(nameof(TestKnownStaticType.GetTypeNameOf));
var allowedExpr1 = Expression.Call(GetMethodInfo(() => TestKnownStaticType.GetTypeNameOf <string>()));
var allowedExpr2 = Expression.Call(GetMethodInfo(() => TestKnownStaticType.GetTypeNameOf <int>()));
var verify = Create(CreateDeclaredMembersVerifier(genericMethod));
var verified1 = verify(allowedExpr1);
var verified2 = verify(allowedExpr2);
AssertVerified(verified1);
AssertVerified(verified2);
}
public void DeclaredMembersVerifier_should_verify_closed_generic_methods()
{
var allowedMethod = GetMethodInfo(() => TestKnownStaticType.GetTypeNameOf <string>());
var disallowedMethod = GetMethodInfo(() => TestKnownStaticType.GetTypeNameOf <int>());
var allowedExpr = Expression.Call(allowedMethod);
var disallowedExpr = Expression.Call(disallowedMethod);
var verify = Create(CreateDeclaredMembersVerifier(allowedMethod));
var verified = verify(allowedExpr);
var refuted = verify(disallowedExpr);
AssertVerified(verified);
AssertRefuted(refuted);
}
