Function TestTypeCheck

builtin/builtin_test.go:508–532

(t *testing.T)

}

func TestTypeCheck(t *testing.T) {
	fooDecl, err := ast.NewDecl(
		ast.NewAtom("foo", ast.Variable{"SomeNum"}, ast.Variable{"SomeStr"}, ast.Variable{"SomeName"}),
		nil,
		[]ast.BoundDecl{
			ast.NewBoundDecl(ast.NumberBound, symbols.NewStructType(name("/bar"), symbols.NewListType(ast.StringBound)), ast.NameBound)}, nil)
	if err != nil {
		t.Fatal(err)
	}
	decls := map[ast.PredicateSym]ast.Decl{
		ast.PredicateSym{"foo", 3}: fooDecl,
	}
	checker, err := NewTypeChecker(decls)
	if err != nil {
		t.Fatalf("bad test setup, cannot construct type checker: %v", err)
	}
	okFact := evAtom("foo(12, {/bar: ['aaa']}, /bar)")
	if err := checker.CheckTypeBounds(okFact); err != nil {
		t.Errorf("CheckTypeBounds(%v) failed %v", okFact, err)
	}
	badFact := evAtom("foo('aaa', {/bar: ['b12']}, /bar)")
	if err := checker.CheckTypeBounds(badFact); err == nil { // if NO error
		t.Errorf("CheckTypeBounds(%v) succeeded expected error", badFact)
	}
}

func TestCheckTypeExpressionStructured(t *testing.T) {
	tests := []struct {