public void Filter_NotTerm_False()
{
var node = MockRepository.GenerateStub<ISyntacticNode>();
var resolverType = MockRepository.GenerateStub<IResolverType>();
var resolvers = Enumerable.Empty<IResolver>();
var linkedClass = MockRepository.GenerateStub<ILinkedLibrary>();
var rewriter = new ResolverSyntaxRewriter(resolverType, resolvers, linkedClass);
Assert.That(rewriter.Filter(node), Is.False);
}
public void Filter_TermAndFalseResolve_False()
{
var term = MockRepository.GenerateStub<IDeclarationTerm>();
var node = new TermSyntacticNode(term, Enumerable.Empty<ISyntacticNode>());
var resolverType = MockRepository.GenerateStub<IResolverType>();
resolverType.Stub(rt => resolverType.Resolve(term)).Return(false);
var resolvers = Enumerable.Empty<IResolver>();
var linkedClass = MockRepository.GenerateStub<ILinkedLibrary>();
var rewriter = new ResolverSyntaxRewriter(resolverType, resolvers, linkedClass);
Assert.That(rewriter.Filter(node), Is.False);
}