Fix #21 and change the MQL semantics slightly to match the original MQL

This commit is contained in:
Barak Michener 2014-06-29 21:20:54 -04:00
parent 18c56be950
commit 18c4c555b5
6 changed files with 42 additions and 23 deletions

View file

@ -59,7 +59,7 @@ func (it *Int64AllIterator) Clone() Iterator {
// Prints the All iterator as just an "all". // Prints the All iterator as just an "all".
func (it *Int64AllIterator) DebugString(indent int) string { func (it *Int64AllIterator) DebugString(indent int) string {
return fmt.Sprintf("%s(%s)", strings.Repeat(" ", indent), it.Type()) return fmt.Sprintf("%s(%s tags: %v)", strings.Repeat(" ", indent), it.Type(), it.Tags())
} }
// Next() on an Int64 all iterator is a simple incrementing counter. // Next() on an Int64 all iterator is a simple incrementing counter.

View file

@ -173,6 +173,9 @@ func (it *AndIterator) checkCheckList(val TSVal) bool {
break break
} }
} }
if ok {
it.Last = val
}
return CheckLogOut(it, val, ok) return CheckLogOut(it, val, ok)
} }

View file

@ -33,7 +33,7 @@ func (q *Query) buildFixed(s string) graph.Iterator {
func (q *Query) buildResultIterator(path Path) graph.Iterator { func (q *Query) buildResultIterator(path Path) graph.Iterator {
all := q.ses.ts.GetNodesAllIterator() all := q.ses.ts.GetNodesAllIterator()
all.AddTag(string(path)) all.AddTag(string(path))
return graph.NewOptionalIterator(all) return all
} }
func (q *Query) BuildIteratorTree(query interface{}) { func (q *Query) BuildIteratorTree(query interface{}) {
@ -42,16 +42,16 @@ func (q *Query) BuildIteratorTree(query interface{}) {
q.queryResult = make(map[ResultPath]map[string]interface{}) q.queryResult = make(map[ResultPath]map[string]interface{})
q.queryResult[""] = make(map[string]interface{}) q.queryResult[""] = make(map[string]interface{})
q.it, q.err = q.buildIteratorTreeInternal(query, NewPath()) var isOptional bool
if q.err != nil { q.it, isOptional, q.err = q.buildIteratorTreeInternal(query, NewPath())
q.isError = true if isOptional {
q.err = errors.New("Optional iterator at the top level?")
} }
} }
func (q *Query) buildIteratorTreeInternal(query interface{}, path Path) (graph.Iterator, error) { func (q *Query) buildIteratorTreeInternal(query interface{}, path Path) (it graph.Iterator, optional bool, err error) {
var it graph.Iterator
var err error
err = nil err = nil
optional = false
switch t := query.(type) { switch t := query.(type) {
case bool: case bool:
// for JSON booleans // for JSON booleans
@ -78,8 +78,9 @@ func (q *Query) buildIteratorTreeInternal(query interface{}, path Path) (graph.I
q.isRepeated[path] = true q.isRepeated[path] = true
if len(t) == 0 { if len(t) == 0 {
it = q.buildResultIterator(path) it = q.buildResultIterator(path)
optional = true
} else if len(t) == 1 { } else if len(t) == 1 {
it, err = q.buildIteratorTreeInternal(t[0], path) it, optional, err = q.buildIteratorTreeInternal(t[0], path)
} else { } else {
err = errors.New(fmt.Sprintf("Multiple fields at location root%s", path.DisplayString())) err = errors.New(fmt.Sprintf("Multiple fields at location root%s", path.DisplayString()))
} }
@ -88,14 +89,15 @@ func (q *Query) buildIteratorTreeInternal(query interface{}, path Path) (graph.I
it, err = q.buildIteratorTreeMapInternal(t, path) it, err = q.buildIteratorTreeMapInternal(t, path)
case nil: case nil:
it = q.buildResultIterator(path) it = q.buildResultIterator(path)
optional = true
default: default:
log.Fatal("Unknown JSON type?", query) log.Fatal("Unknown JSON type?", query)
} }
if err != nil { if err != nil {
return nil, err return nil, false, err
} }
it.AddTag(string(path)) it.AddTag(string(path))
return it, nil return it, optional, nil
} }
func (q *Query) buildIteratorTreeMapInternal(query map[string]interface{}, path Path) (graph.Iterator, error) { func (q *Query) buildIteratorTreeMapInternal(query map[string]interface{}, path Path) (graph.Iterator, error) {
@ -105,6 +107,7 @@ func (q *Query) buildIteratorTreeMapInternal(query map[string]interface{}, path
err = nil err = nil
outputStructure := make(map[string]interface{}) outputStructure := make(map[string]interface{})
for key, subquery := range query { for key, subquery := range query {
optional := false
outputStructure[key] = nil outputStructure[key] = nil
reverse := false reverse := false
pred := key pred := key
@ -122,13 +125,13 @@ func (q *Query) buildIteratorTreeMapInternal(query map[string]interface{}, path
// Other special constructs here // Other special constructs here
var subit graph.Iterator var subit graph.Iterator
if key == "id" { if key == "id" {
subit, err = q.buildIteratorTreeInternal(subquery, path.Follow(key)) subit, optional, err = q.buildIteratorTreeInternal(subquery, path.Follow(key))
if err != nil { if err != nil {
return nil, err return nil, err
} }
it.AddSubIterator(subit)
} else { } else {
subit, err = q.buildIteratorTreeInternal(subquery, path.Follow(key)) var builtIt graph.Iterator
builtIt, optional, err = q.buildIteratorTreeInternal(subquery, path.Follow(key))
if err != nil { if err != nil {
return nil, err return nil, err
} }
@ -137,17 +140,22 @@ func (q *Query) buildIteratorTreeMapInternal(query map[string]interface{}, path
predFixed.AddValue(q.ses.ts.GetIdFor(pred)) predFixed.AddValue(q.ses.ts.GetIdFor(pred))
subAnd.AddSubIterator(graph.NewLinksToIterator(q.ses.ts, predFixed, "p")) subAnd.AddSubIterator(graph.NewLinksToIterator(q.ses.ts, predFixed, "p"))
if reverse { if reverse {
lto := graph.NewLinksToIterator(q.ses.ts, subit, "s") lto := graph.NewLinksToIterator(q.ses.ts, builtIt, "s")
subAnd.AddSubIterator(lto) subAnd.AddSubIterator(lto)
hasa := graph.NewHasaIterator(q.ses.ts, subAnd, "o") hasa := graph.NewHasaIterator(q.ses.ts, subAnd, "o")
it.AddSubIterator(hasa) subit = hasa
} else { } else {
lto := graph.NewLinksToIterator(q.ses.ts, subit, "o") lto := graph.NewLinksToIterator(q.ses.ts, builtIt, "o")
subAnd.AddSubIterator(lto) subAnd.AddSubIterator(lto)
hasa := graph.NewHasaIterator(q.ses.ts, subAnd, "s") hasa := graph.NewHasaIterator(q.ses.ts, subAnd, "s")
it.AddSubIterator(hasa) subit = hasa
} }
} }
if optional {
it.AddSubIterator(graph.NewOptionalIterator(subit))
} else {
it.AddSubIterator(subit)
}
} }
if err != nil { if err != nil {
return nil, err return nil, err

View file

@ -24,6 +24,9 @@ func (q *Query) treeifyResult(tags map[string]graph.TSVal) map[ResultPath]string
// Transform the map into something a little more interesting. // Transform the map into something a little more interesting.
results := make(map[Path]string) results := make(map[Path]string)
for k, v := range tags { for k, v := range tags {
if v == nil {
continue
}
results[Path(k)] = q.ses.ts.GetNameFor(v) results[Path(k)] = q.ses.ts.GetNameFor(v)
} }
resultPaths := make(map[ResultPath]string) resultPaths := make(map[ResultPath]string)
@ -78,7 +81,10 @@ func (q *Query) treeifyResult(tags map[string]graph.TSVal) map[ResultPath]string
// Fill values // Fill values
for _, path := range paths { for _, path := range paths {
currentPath := path.getPath() currentPath := path.getPath()
value := resultPaths[path] value, ok := resultPaths[path]
if !ok {
continue
}
namePath := path.AppendValue(value) namePath := path.AppendValue(value)
if _, ok := q.queryStructure[currentPath]; ok { if _, ok := q.queryStructure[currentPath]; ok {
// We're dealing with ids. // We're dealing with ids.

View file

@ -32,10 +32,13 @@ type Query struct {
queryResult map[ResultPath]map[string]interface{} queryResult map[ResultPath]map[string]interface{}
results []interface{} results []interface{}
resultOrder []string resultOrder []string
isError bool
err error err error
} }
func (q *Query) isError() bool {
return q.err != nil
}
func (q *Query) copyPathStructure(path Path) map[string]interface{} { func (q *Query) copyPathStructure(path Path) map[string]interface{} {
output := make(map[string]interface{}) output := make(map[string]interface{})
for k, v := range q.queryStructure[path] { for k, v := range q.queryStructure[path] {
@ -106,6 +109,5 @@ func NewQuery(ses *Session) *Query {
q.results = make([]interface{}, 0) q.results = make([]interface{}, 0)
q.resultOrder = make([]string, 0) q.resultOrder = make([]string, 0)
q.err = nil q.err = nil
q.isError = false
return &q return &q
} }

View file

@ -79,7 +79,7 @@ func (s *Session) ExecInput(input string, c chan interface{}, limit int) {
} }
s.currentQuery = NewQuery(s) s.currentQuery = NewQuery(s)
s.currentQuery.BuildIteratorTree(mqlQuery) s.currentQuery.BuildIteratorTree(mqlQuery)
if s.currentQuery.isError { if s.currentQuery.isError() {
return return
} }
it, _ := s.currentQuery.it.Optimize() it, _ := s.currentQuery.it.Optimize()
@ -131,7 +131,7 @@ func (s *Session) BuildJson(result interface{}) {
func (s *Session) GetJson() (interface{}, error) { func (s *Session) GetJson() (interface{}, error) {
s.currentQuery.buildResults() s.currentQuery.buildResults()
if s.currentQuery.isError { if s.currentQuery.isError() {
return nil, s.currentQuery.err return nil, s.currentQuery.err
} else { } else {
return s.currentQuery.results, nil return s.currentQuery.results, nil