ast.go 28 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507
  1. package xsql
  2. import (
  3. "engine/common"
  4. "fmt"
  5. "math"
  6. "sort"
  7. "strings"
  8. "time"
  9. )
  10. type Node interface {
  11. node()
  12. }
  13. type Expr interface {
  14. Node
  15. expr()
  16. }
  17. type Field struct {
  18. Name string
  19. AName string
  20. Expr
  21. }
  22. type Source interface {
  23. Node
  24. source()
  25. }
  26. type Sources []Source
  27. func (ss Sources) node(){}
  28. type Table struct {
  29. Name string
  30. Alias string
  31. }
  32. func (t *Table) source() {}
  33. func (ss *Table) node(){}
  34. type JoinType int
  35. const (
  36. LEFT_JOIN JoinType = iota
  37. INNER_JOIN
  38. RIGHT_JOIN
  39. FULL_JOIN
  40. CROSS_JOIN
  41. )
  42. type Join struct {
  43. Name string
  44. Alias string
  45. JoinType JoinType
  46. Expr Expr
  47. }
  48. func (j *Join) source() {}
  49. func (ss *Join) node(){}
  50. type Joins []Join
  51. func (ss Joins) node(){}
  52. type Statement interface{
  53. Stmt()
  54. Node
  55. }
  56. type SelectStatement struct {
  57. Fields Fields
  58. Sources Sources
  59. Joins Joins
  60. Condition Expr
  61. Dimensions Dimensions
  62. Having Expr
  63. SortFields SortFields
  64. }
  65. func (ss *SelectStatement) Stmt() {}
  66. func (ss *SelectStatement) node(){}
  67. type Literal interface {
  68. Expr
  69. literal()
  70. }
  71. type ParenExpr struct {
  72. Expr Expr
  73. }
  74. type ArrowExpr struct {
  75. Expr Expr
  76. }
  77. type BracketExpr struct {
  78. Expr Expr
  79. }
  80. type ColonExpr struct {
  81. Start int
  82. End int
  83. }
  84. type IndexExpr struct {
  85. Index int
  86. }
  87. type BooleanLiteral struct {
  88. Val bool
  89. }
  90. type TimeLiteral struct {
  91. Val Token
  92. }
  93. type IntegerLiteral struct {
  94. Val int
  95. }
  96. type StringLiteral struct {
  97. Val string
  98. }
  99. type NumberLiteral struct {
  100. Val float64
  101. }
  102. type Wildcard struct {
  103. Token Token
  104. }
  105. type Dimension struct {
  106. Expr Expr
  107. }
  108. type SortField struct {
  109. Name string
  110. Ascending bool
  111. }
  112. type SortFields []SortField
  113. type Dimensions []Dimension
  114. func (f *Field) expr() {}
  115. func (f *Field) node(){}
  116. func (pe *ParenExpr) expr() {}
  117. func (pe *ParenExpr) node(){}
  118. func (ae *ArrowExpr) expr() {}
  119. func (ae *ArrowExpr) node(){}
  120. func (be *BracketExpr) expr() {}
  121. func (be *BracketExpr) node(){}
  122. func (be *ColonExpr) expr() {}
  123. func (be *ColonExpr) node(){}
  124. func (be *IndexExpr) expr() {}
  125. func (be *IndexExpr) node(){}
  126. func (w *Wildcard) expr() {}
  127. func (w *Wildcard) node(){}
  128. func (bl *BooleanLiteral) expr() {}
  129. func (bl *BooleanLiteral) literal() {}
  130. func (bl *BooleanLiteral) node(){}
  131. func (tl *TimeLiteral) expr() {}
  132. func (tl *TimeLiteral) literal() {}
  133. func (tl *TimeLiteral) node(){}
  134. func (il *IntegerLiteral) expr() {}
  135. func (il *IntegerLiteral) literal() {}
  136. func (il *IntegerLiteral) node(){}
  137. func (nl *NumberLiteral) expr() {}
  138. func (nl *NumberLiteral) literal() {}
  139. func (nl *NumberLiteral) node(){}
  140. func (sl *StringLiteral) expr() {}
  141. func (sl *StringLiteral) literal() {}
  142. func (sl *StringLiteral) node(){}
  143. func (d *Dimension) expr() {}
  144. func (d *Dimension) node(){}
  145. func (d Dimensions) node(){}
  146. func (d *Dimensions) GetWindow() *Window{
  147. for _, child := range *d {
  148. if w, ok := child.Expr.(*Window); ok{
  149. return w
  150. }
  151. }
  152. return nil
  153. }
  154. func (d *Dimensions) GetGroups() Dimensions{
  155. var nd Dimensions
  156. for _, child := range *d {
  157. if _, ok := child.Expr.(*Window); !ok{
  158. nd = append(nd, child)
  159. }
  160. }
  161. return nd
  162. }
  163. func (sf *SortField) expr() {}
  164. func (sf *SortField) node(){}
  165. func (sf SortFields) node(){}
  166. type Call struct {
  167. Name string
  168. Args []Expr
  169. }
  170. func (c *Call) expr() {}
  171. func (c *Call) literal() {}
  172. func (c *Call) node(){}
  173. type WindowType int
  174. const (
  175. NOT_WINDOW WindowType = iota
  176. TUMBLING_WINDOW
  177. HOPPING_WINDOW
  178. SLIDING_WINDOW
  179. SESSION_WINDOW
  180. )
  181. type Window struct {
  182. WindowType WindowType
  183. Length *IntegerLiteral
  184. Interval *IntegerLiteral
  185. }
  186. func (w *Window) expr() {}
  187. func (w *Window) literal() {}
  188. func (w *Window) node() {}
  189. type SelectStatements []SelectStatement
  190. func (ss *SelectStatements) node(){}
  191. type Fields []Field
  192. func (fs Fields) node(){}
  193. type BinaryExpr struct {
  194. OP Token
  195. LHS Expr
  196. RHS Expr
  197. }
  198. func (fe *BinaryExpr) expr() {}
  199. func (be *BinaryExpr) node(){}
  200. type FieldRef struct {
  201. StreamName StreamName
  202. Name string
  203. }
  204. func (fr *FieldRef) expr() {}
  205. func (fr *FieldRef) node(){}
  206. // The stream AST tree
  207. type Options map[string]string
  208. func (o Options) node() {}
  209. type StreamName string
  210. func (sn *StreamName) node() {}
  211. type StreamStmt struct {
  212. Name StreamName
  213. StreamFields StreamFields
  214. Options Options
  215. }
  216. func (ss *StreamStmt) node(){}
  217. func (ss *StreamStmt) Stmt() {}
  218. type FieldType interface {
  219. fieldType()
  220. Node
  221. }
  222. type StreamField struct {
  223. Name string
  224. FieldType
  225. }
  226. type StreamFields []StreamField
  227. func (sf StreamFields) node(){}
  228. type BasicType struct {
  229. Type DataType
  230. }
  231. func (bt *BasicType) fieldType() {}
  232. func (bt *BasicType) node(){}
  233. type ArrayType struct {
  234. Type DataType
  235. FieldType
  236. }
  237. func (at *ArrayType) fieldType() {}
  238. func (at *ArrayType) node(){}
  239. type RecType struct {
  240. StreamFields StreamFields
  241. }
  242. func (rt *RecType) fieldType() {}
  243. func (rt *RecType) node(){}
  244. type ShowStreamsStatement struct {
  245. }
  246. type DescribeStreamStatement struct {
  247. Name string
  248. }
  249. type ExplainStreamStatement struct {
  250. Name string
  251. }
  252. type DropStreamStatement struct {
  253. Name string
  254. }
  255. func (ss *ShowStreamsStatement) Stmt() {}
  256. func (ss *ShowStreamsStatement) node(){}
  257. func (dss *DescribeStreamStatement) Stmt() {}
  258. func (dss *DescribeStreamStatement) node(){}
  259. func (ess *ExplainStreamStatement) Stmt() {}
  260. func (ess *ExplainStreamStatement) node(){}
  261. func (dss *DropStreamStatement) Stmt() {}
  262. func (dss *DropStreamStatement) node(){}
  263. type Visitor interface {
  264. Visit(Node) Visitor
  265. }
  266. func Walk(v Visitor, node Node) {
  267. if node == nil {
  268. return
  269. }
  270. if v = v.Visit(node); v == nil {
  271. return
  272. }
  273. switch n := node.(type) {
  274. case *BinaryExpr:
  275. Walk(v, n.LHS)
  276. Walk(v, n.RHS)
  277. case *Call:
  278. for _, expr := range n.Args {
  279. Walk(v, expr)
  280. }
  281. case *Window:
  282. Walk(v, n.Length)
  283. Walk(v, n.Interval)
  284. case *Field:
  285. Walk(v, n.Expr)
  286. case Fields:
  287. for _, c := range n {
  288. Walk(v, &c)
  289. }
  290. case *ParenExpr:
  291. Walk(v, n.Expr)
  292. case *SelectStatement:
  293. Walk(v, n.Fields)
  294. Walk(v, n.Dimensions)
  295. Walk(v, n.Sources)
  296. Walk(v, n.Joins)
  297. Walk(v, n.Condition)
  298. Walk(v, n.SortFields)
  299. case SortFields:
  300. for _, sf := range n {
  301. Walk(v, &sf)
  302. }
  303. case Sources:
  304. for _, s := range n {
  305. Walk(v, s)
  306. }
  307. case Joins:
  308. for _, s := range n {
  309. Walk(v, &s)
  310. }
  311. case *Join:
  312. Walk(v, n.Expr)
  313. case *StreamStmt:
  314. Walk(v, &n.Name)
  315. Walk(v, n.StreamFields)
  316. Walk(v, n.Options)
  317. case *BasicType:
  318. Walk(v, n)
  319. case *ArrayType:
  320. Walk(v, n)
  321. case *RecType:
  322. Walk(v, n)
  323. case *ShowStreamsStatement:
  324. Walk(v, n)
  325. case *DescribeStreamStatement:
  326. Walk(v, n)
  327. case *ExplainStreamStatement:
  328. Walk(v, n)
  329. case *DropStreamStatement:
  330. Walk(v, n)
  331. }
  332. }
  333. // WalkFunc traverses a node hierarchy in depth-first order.
  334. func WalkFunc(node Node, fn func(Node)) {
  335. Walk(walkFuncVisitor(fn), node)
  336. }
  337. type walkFuncVisitor func(Node)
  338. func (fn walkFuncVisitor) Visit(n Node) Visitor { fn(n); return fn }
  339. // Valuer is the interface that wraps the Value() method.
  340. type Valuer interface {
  341. // Value returns the value and existence flag for a given key.
  342. Value(key string) (interface{}, bool)
  343. }
  344. // CallValuer implements the Call method for evaluating function calls.
  345. type CallValuer interface {
  346. Valuer
  347. // Call is invoked to evaluate a function call (if possible).
  348. Call(name string, args []interface{}) (interface{}, bool)
  349. }
  350. type AggregateCallValuer interface {
  351. CallValuer
  352. GetAllTuples() AggregateData
  353. }
  354. type Wildcarder interface {
  355. // Value returns the value and existence flag for a given key.
  356. All(stream string) (interface{}, bool)
  357. }
  358. type DataValuer interface {
  359. Valuer
  360. Wildcarder
  361. }
  362. type WildcardValuer struct {
  363. Data Wildcarder
  364. }
  365. //TODO deal with wildcard of a stream, e.g. SELECT Table.* from Table inner join Table1
  366. func (wv *WildcardValuer) Value(key string) (interface{}, bool) {
  367. if key == ""{
  368. return wv.Data.All(key)
  369. }else{
  370. a := strings.Index(key, ".*")
  371. if a <= 0{
  372. return nil, false
  373. }else{
  374. return wv.Data.All(key[:a])
  375. }
  376. }
  377. }
  378. /**********************************
  379. ** Various Data Types for SQL transformation
  380. */
  381. type AggregateData interface {
  382. AggregateEval(expr Expr) []interface{}
  383. }
  384. // Message is a valuer that substitutes values for the mapped interface.
  385. type Message map[string]interface{}
  386. // Value returns the value for a key in the Message.
  387. func (m Message) Value(key string) (interface{}, bool) {
  388. key = strings.ToLower(key)
  389. if keys := strings.Split(key, "."); len(keys) == 1 {
  390. v, ok := m[key]
  391. return v, ok
  392. } else if len(keys) == 2 {
  393. v, ok := m[keys[1]]
  394. return v, ok
  395. }
  396. common.Log.Println("Invalid key: " + key + ", expect source.field or field.")
  397. return nil, false
  398. }
  399. type Event interface {
  400. GetTimestamp() int64
  401. IsWatermark() bool
  402. }
  403. type Tuple struct {
  404. Emitter string
  405. Message Message
  406. Timestamp int64
  407. }
  408. func (t *Tuple) Value(key string) (interface{}, bool) {
  409. return t.Message.Value(key)
  410. }
  411. func (t *Tuple) All(stream string) (interface{}, bool) {
  412. return t.Message, true
  413. }
  414. func (t *Tuple) AggregateEval(expr Expr) []interface{} {
  415. return []interface{}{Eval(expr, t)}
  416. }
  417. func (t *Tuple) GetTimestamp() int64 {
  418. return t.Timestamp
  419. }
  420. func (t *Tuple) IsWatermark() bool {
  421. return false
  422. }
  423. type WindowTuples struct {
  424. Emitter string
  425. Tuples []Tuple
  426. }
  427. type WindowTuplesSet []WindowTuples
  428. func (w WindowTuplesSet) GetBySrc(src string) []Tuple {
  429. for _, me := range w {
  430. if me.Emitter == src {
  431. return me.Tuples
  432. }
  433. }
  434. return nil
  435. }
  436. func (w WindowTuplesSet) Len() int {
  437. if len(w) > 0{
  438. return len(w[0].Tuples)
  439. }
  440. return 0
  441. }
  442. func (w WindowTuplesSet) Swap(i, j int) {
  443. if len(w) > 0{
  444. s := w[0].Tuples
  445. s[i], s[j] = s[j], s[i]
  446. }
  447. }
  448. func (w WindowTuplesSet) Index(i int) Valuer {
  449. if len(w) > 0{
  450. s := w[0].Tuples
  451. return &(s[i])
  452. }
  453. return nil
  454. }
  455. func (w WindowTuplesSet) AddTuple(tuple *Tuple) WindowTuplesSet{
  456. found := false
  457. for i, t := range w {
  458. if t.Emitter == tuple.Emitter {
  459. t.Tuples = append(t.Tuples, *tuple)
  460. found = true
  461. w[i] = t
  462. break
  463. }
  464. }
  465. if !found {
  466. ets := &WindowTuples{Emitter: tuple.Emitter}
  467. ets.Tuples = append(ets.Tuples, *tuple)
  468. w = append(w, *ets)
  469. }
  470. return w
  471. }
  472. //Sort by tuple timestamp
  473. func (w WindowTuplesSet) Sort() {
  474. for _, t := range w {
  475. tuples := t.Tuples
  476. sort.SliceStable(tuples, func(i, j int) bool {
  477. return tuples[i].Timestamp < tuples[j].Timestamp
  478. })
  479. t.Tuples = tuples
  480. }
  481. }
  482. func (w WindowTuplesSet) AggregateEval(expr Expr) []interface{} {
  483. var result []interface{}
  484. if len(w) != 1 { //should never happen
  485. return nil
  486. }
  487. for _, t := range w[0].Tuples {
  488. result = append(result, Eval(expr, &t))
  489. }
  490. return result
  491. }
  492. type JoinTuple struct {
  493. Tuples []Tuple
  494. }
  495. func (jt *JoinTuple) AddTuple(tuple Tuple) {
  496. jt.Tuples = append(jt.Tuples, tuple)
  497. }
  498. func (jt *JoinTuple) AddTuples(tuples []Tuple) {
  499. for _, t := range tuples {
  500. jt.Tuples = append(jt.Tuples, t)
  501. }
  502. }
  503. func (jt *JoinTuple) Value(key string) (interface{}, bool) {
  504. keys := strings.Split(key, ".")
  505. tuples := jt.Tuples
  506. switch len(keys) {
  507. case 1:
  508. if len(tuples) > 1 {
  509. for _, tuple := range tuples { //TODO support key without modifier?
  510. v, ok := tuple.Message[key]
  511. if ok{
  512. return v, ok
  513. }
  514. }
  515. common.Log.Infoln("Wrong key: ", key, ", not found")
  516. return nil, false
  517. } else{
  518. v, ok := tuples[0].Message[key]
  519. return v, ok
  520. }
  521. case 2:
  522. emitter, key := keys[0], keys[1]
  523. //TODO should use hash here
  524. for _, tuple := range tuples {
  525. if tuple.Emitter == emitter {
  526. v, ok := tuple.Message[key]
  527. return v, ok
  528. }
  529. }
  530. return nil, false
  531. default:
  532. common.Log.Infoln("Wrong key: ", key, ", expect dot in the expression.")
  533. return nil, false
  534. }
  535. }
  536. func (jt *JoinTuple) All(stream string) (interface{}, bool) {
  537. if stream != ""{
  538. for _, t := range jt.Tuples{
  539. if t.Emitter == stream{
  540. return t.Message, true
  541. }
  542. }
  543. }else{
  544. var r Message = make(map[string]interface{})
  545. for _, t := range jt.Tuples{
  546. for k, v := range t.Message{
  547. if _, ok := r[k]; !ok{
  548. r[k] = v
  549. }
  550. }
  551. }
  552. return r, true
  553. }
  554. return nil, false
  555. }
  556. type JoinTupleSets []JoinTuple
  557. func (s JoinTupleSets) Len() int { return len(s) }
  558. func (s JoinTupleSets) Swap(i, j int) { s[i], s[j] = s[j], s[i] }
  559. func (s JoinTupleSets) Index(i int) Valuer { return &(s[i]) }
  560. func (s JoinTupleSets) AggregateEval(expr Expr) []interface{} {
  561. var result []interface{}
  562. for _, t := range s {
  563. result = append(result, Eval(expr, &t))
  564. }
  565. return result
  566. }
  567. type GroupedTuples []DataValuer
  568. func (s GroupedTuples) AggregateEval(expr Expr) []interface{} {
  569. var result []interface{}
  570. for _, t := range s {
  571. result = append(result, Eval(expr, t))
  572. }
  573. return result
  574. }
  575. type GroupedTuplesSet []GroupedTuples
  576. func (s GroupedTuplesSet) Len() int { return len(s) }
  577. func (s GroupedTuplesSet) Swap(i, j int) { s[i], s[j] = s[j], s[i] }
  578. func (s GroupedTuplesSet) Index(i int) Valuer { return s[i][0] }
  579. type SortingData interface {
  580. Len() int
  581. Swap(i, j int)
  582. Index(i int) Valuer
  583. }
  584. // multiSorter implements the Sort interface, sorting the changes within.Hi
  585. type MultiSorter struct {
  586. SortingData
  587. fields SortFields
  588. }
  589. // OrderedBy returns a Sorter that sorts using the less functions, in order.
  590. // Call its Sort method to sort the data.
  591. func OrderedBy(fields SortFields) *MultiSorter {
  592. return &MultiSorter{
  593. fields: fields,
  594. }
  595. }
  596. // Less is part of sort.Interface. It is implemented by looping along the
  597. // less functions until it finds a comparison that discriminates between
  598. // the two items (one is less than the other). Note that it can call the
  599. // less functions twice per call. We could change the functions to return
  600. // -1, 0, 1 and reduce the number of calls for greater efficiency: an
  601. // exercise for the reader.
  602. func (ms *MultiSorter) Less(i, j int) bool {
  603. p, q := ms.SortingData.Index(i), ms.SortingData.Index(j)
  604. vep, veq := &ValuerEval{Valuer: MultiValuer(p, &FunctionValuer{})}, &ValuerEval{Valuer: MultiValuer(q, &FunctionValuer{})}
  605. for _, field := range ms.fields {
  606. vp, ok := vep.Valuer.Value(field.Name)
  607. if !ok {
  608. return !field.Ascending
  609. }
  610. vq, ok := veq.Valuer.Value(field.Name)
  611. if !ok {
  612. return !field.Ascending
  613. }
  614. switch {
  615. case vep.simpleDataEval(vp, vq, LT):
  616. return field.Ascending
  617. case veq.simpleDataEval(vq, vp, LT):
  618. return !field.Ascending
  619. }
  620. }
  621. return false
  622. }
  623. // Sort sorts the argument slice according to the less functions passed to OrderedBy.
  624. func (ms *MultiSorter) Sort(data SortingData) {
  625. ms.SortingData = data
  626. sort.Sort(ms)
  627. }
  628. type EvalResultMessage struct {
  629. Emitter string
  630. Result interface{}
  631. Message Message
  632. }
  633. type ResultsAndMessages []EvalResultMessage
  634. // Eval evaluates expr against a map.
  635. func Eval(expr Expr, m Valuer) interface{} {
  636. eval := ValuerEval{Valuer: MultiValuer(m, &FunctionValuer{})}
  637. return eval.Eval(expr)
  638. }
  639. // ValuerEval will evaluate an expression using the Valuer.
  640. type ValuerEval struct {
  641. Valuer Valuer
  642. // IntegerFloatDivision will set the eval system to treat
  643. // a division between two integers as a floating point division.
  644. IntegerFloatDivision bool
  645. }
  646. // MultiValuer returns a Valuer that iterates over multiple Valuer instances
  647. // to find a match.
  648. func MultiValuer(valuers ...Valuer) Valuer {
  649. return multiValuer(valuers)
  650. }
  651. type multiValuer []Valuer
  652. func (a multiValuer) Value(key string) (interface{}, bool) {
  653. for _, valuer := range a {
  654. if v, ok := valuer.Value(key); ok {
  655. return v, true
  656. }
  657. }
  658. return nil, false
  659. }
  660. func (a multiValuer) Call(name string, args []interface{}) (interface{}, bool) {
  661. for _, valuer := range a {
  662. if valuer, ok := valuer.(CallValuer); ok {
  663. if v, ok := valuer.Call(name, args); ok {
  664. return v, true
  665. } else {
  666. common.Log.Println(fmt.Sprintf("Found error \"%s\" when call func %s.\n", v, name))
  667. }
  668. }
  669. }
  670. return nil, false
  671. }
  672. type multiAggregateValuer struct{
  673. data AggregateData
  674. valuers []Valuer
  675. }
  676. func MultiAggregateValuer(data AggregateData, valuers ...Valuer) Valuer {
  677. return &multiAggregateValuer{
  678. data: data,
  679. valuers: valuers,
  680. }
  681. }
  682. func (a *multiAggregateValuer) Value(key string) (interface{}, bool) {
  683. for _, valuer := range a.valuers {
  684. if v, ok := valuer.Value(key); ok {
  685. return v, true
  686. }
  687. }
  688. return nil, false
  689. }
  690. //The args is [][] for aggregation
  691. func (a *multiAggregateValuer) Call(name string, args []interface{}) (interface{}, bool) {
  692. var singleArgs []interface{} = nil
  693. for _, valuer := range a.valuers {
  694. if a, ok := valuer.(AggregateCallValuer); ok {
  695. if v, ok := a.Call(name, args); ok {
  696. return v, true
  697. }
  698. }else if c, ok := valuer.(CallValuer); ok{
  699. if singleArgs == nil{
  700. for _, arg := range args{
  701. if arg, ok := arg.([]interface{}); ok{
  702. singleArgs = append(singleArgs, arg[0])
  703. }else{
  704. common.Log.Infof("multiAggregateValuer does not get [][] args but get %v", args)
  705. return nil, false
  706. }
  707. }
  708. }
  709. if v, ok := c.Call(name, singleArgs); ok {
  710. return v, true
  711. }
  712. }
  713. }
  714. return nil, false
  715. }
  716. func (a *multiAggregateValuer) GetAllTuples() AggregateData {
  717. return a.data
  718. }
  719. type BracketEvalResult struct {
  720. Start, End int
  721. }
  722. func (ber *BracketEvalResult) isIndex() bool {
  723. return ber.Start == ber.End
  724. }
  725. // Eval evaluates an expression and returns a value.
  726. func (v *ValuerEval) Eval(expr Expr) interface{} {
  727. if expr == nil {
  728. return nil
  729. }
  730. switch expr := expr.(type) {
  731. case *BinaryExpr:
  732. return v.evalBinaryExpr(expr)
  733. //case *BooleanLiteral:
  734. // return expr.Val
  735. case *IntegerLiteral:
  736. return expr.Val
  737. case *NumberLiteral:
  738. return expr.Val
  739. case *ParenExpr:
  740. return v.Eval(expr.Expr)
  741. case *StringLiteral:
  742. return expr.Val
  743. case *BooleanLiteral:
  744. return expr.Val
  745. case *ColonExpr:
  746. return &BracketEvalResult{Start:expr.Start, End:expr.End}
  747. case *IndexExpr:
  748. return &BracketEvalResult{Start:expr.Index, End:expr.Index}
  749. case *Call:
  750. if valuer, ok := v.Valuer.(CallValuer); ok {
  751. var args []interface{}
  752. if len(expr.Args) > 0 {
  753. args = make([]interface{}, len(expr.Args))
  754. if aggreValuer, ok := valuer.(AggregateCallValuer); ok{
  755. for i := range expr.Args {
  756. args[i] = aggreValuer.GetAllTuples().AggregateEval(expr.Args[i])
  757. }
  758. }else{
  759. for i := range expr.Args {
  760. args[i] = v.Eval(expr.Args[i])
  761. }
  762. }
  763. }
  764. val, _ := valuer.Call(expr.Name, args)
  765. return val
  766. }
  767. return nil
  768. case *FieldRef:
  769. if expr.StreamName == "" {
  770. val, _ := v.Valuer.Value(expr.Name)
  771. return val
  772. } else {
  773. //The field specified with stream source
  774. val, _ := v.Valuer.Value(string(expr.StreamName) + "." + expr.Name)
  775. return val
  776. }
  777. case *Wildcard:
  778. val, _ := v.Valuer.Value("")
  779. return val
  780. default:
  781. return nil
  782. }
  783. return nil
  784. }
  785. func (v *ValuerEval) evalBinaryExpr(expr *BinaryExpr) interface{} {
  786. lhs := v.Eval(expr.LHS)
  787. switch val := lhs.(type) {
  788. case map[string]interface{}:
  789. return v.evalJsonExpr(val, expr.OP, expr.RHS)
  790. case []interface{}:
  791. return v.evalJsonExpr(val, expr.OP, expr.RHS)
  792. }
  793. rhs := v.Eval(expr.RHS)
  794. if lhs == nil && rhs != nil {
  795. // When the LHS is nil and the RHS is a boolean, implicitly cast the
  796. // nil to false.
  797. if _, ok := rhs.(bool); ok {
  798. lhs = false
  799. }
  800. } else if lhs != nil && rhs == nil {
  801. // Implicit cast of the RHS nil to false when the LHS is a boolean.
  802. if _, ok := lhs.(bool); ok {
  803. rhs = false
  804. }
  805. }
  806. return v.simpleDataEval(lhs, rhs, expr.OP)
  807. }
  808. func (v *ValuerEval) evalJsonExpr(result interface{}, op Token, expr Expr) interface{} {
  809. if val, ok := result.(map[string]interface{}); ok {
  810. switch op {
  811. case ARROW:
  812. if exp, ok := expr.(*FieldRef); ok {
  813. ve := &ValuerEval{Valuer: Message(val)}
  814. return ve.Eval(exp)
  815. } else {
  816. fmt.Printf("The right expression is not a field reference node.\n")
  817. return nil
  818. }
  819. default:
  820. fmt.Printf("%v is an invalid operation.\n", op)
  821. return nil
  822. }
  823. }
  824. if val, ok := result.([]interface{}); ok {
  825. switch op {
  826. case SUBSET:
  827. ber := v.Eval(expr)
  828. if berVal, ok1 := ber.(*BracketEvalResult); ok1 {
  829. if berVal.isIndex() {
  830. if berVal.Start >= len(val) {
  831. fmt.Printf("Out of index: %d of %d.\n", berVal.Start, len(val))
  832. return nil
  833. }
  834. return val[berVal.Start]
  835. } else {
  836. if berVal.Start >= len(val) {
  837. fmt.Printf("Start value is out of index: %d of %d.\n", berVal.Start, len(val))
  838. return nil
  839. }
  840. if berVal.End >= len(val) {
  841. fmt.Printf("End value is out of index: %d of %d.\n", berVal.End, len(val))
  842. return nil
  843. }
  844. return val[berVal.Start : berVal.End]
  845. }
  846. } else {
  847. fmt.Printf("Invalid evaluation result - %v.\n", berVal)
  848. return nil
  849. }
  850. default:
  851. fmt.Printf("%v is an invalid operation.\n", op)
  852. return nil
  853. }
  854. }
  855. return nil
  856. }
  857. func (v *ValuerEval) simpleDataEval(lhs, rhs interface{}, op Token) interface{} {
  858. lhs = convertNum(lhs)
  859. rhs = convertNum(rhs)
  860. // Evaluate if both sides are simple types.
  861. switch lhs := lhs.(type) {
  862. case bool:
  863. rhs, ok := rhs.(bool)
  864. switch op {
  865. case AND:
  866. return ok && (lhs && rhs)
  867. case OR:
  868. return ok && (lhs || rhs)
  869. case BITWISE_AND:
  870. return ok && (lhs && rhs)
  871. case BITWISE_OR:
  872. return ok && (lhs || rhs)
  873. case BITWISE_XOR:
  874. return ok && (lhs != rhs)
  875. case EQ:
  876. return ok && (lhs == rhs)
  877. case NEQ:
  878. return ok && (lhs != rhs)
  879. }
  880. case float64:
  881. // Try the rhs as a float64, int64, or uint64
  882. rhsf, ok := rhs.(float64)
  883. if !ok {
  884. switch val := rhs.(type) {
  885. case int64:
  886. rhsf, ok = float64(val), true
  887. case uint64:
  888. rhsf, ok = float64(val), true
  889. }
  890. }
  891. rhs := rhsf
  892. switch op {
  893. case EQ:
  894. return ok && (lhs == rhs)
  895. case NEQ:
  896. return ok && (lhs != rhs)
  897. case LT:
  898. return ok && (lhs < rhs)
  899. case LTE:
  900. return ok && (lhs <= rhs)
  901. case GT:
  902. return ok && (lhs > rhs)
  903. case GTE:
  904. return ok && (lhs >= rhs)
  905. case ADD:
  906. if !ok {
  907. return nil
  908. }
  909. return lhs + rhs
  910. case SUB:
  911. if !ok {
  912. return nil
  913. }
  914. return lhs - rhs
  915. case MUL:
  916. if !ok {
  917. return nil
  918. }
  919. return lhs * rhs
  920. case DIV:
  921. if !ok {
  922. return nil
  923. } else if rhs == 0 {
  924. return float64(0)
  925. }
  926. return lhs / rhs
  927. case MOD:
  928. if !ok {
  929. return nil
  930. }
  931. return math.Mod(lhs, rhs)
  932. }
  933. case int64:
  934. // Try as a float64 to see if a float cast is required.
  935. switch rhs := rhs.(type) {
  936. case float64:
  937. lhs := float64(lhs)
  938. switch op {
  939. case EQ:
  940. return lhs == rhs
  941. case NEQ:
  942. return lhs != rhs
  943. case LT:
  944. return lhs < rhs
  945. case LTE:
  946. return lhs <= rhs
  947. case GT:
  948. return lhs > rhs
  949. case GTE:
  950. return lhs >= rhs
  951. case ADD:
  952. return lhs + rhs
  953. case SUB:
  954. return lhs - rhs
  955. case MUL:
  956. return lhs * rhs
  957. case DIV:
  958. if rhs == 0 {
  959. return float64(0)
  960. }
  961. return lhs / rhs
  962. case MOD:
  963. return math.Mod(lhs, rhs)
  964. }
  965. case int64:
  966. switch op {
  967. case EQ:
  968. return lhs == rhs
  969. case NEQ:
  970. return lhs != rhs
  971. case LT:
  972. return lhs < rhs
  973. case LTE:
  974. return lhs <= rhs
  975. case GT:
  976. return lhs > rhs
  977. case GTE:
  978. return lhs >= rhs
  979. case ADD:
  980. return lhs + rhs
  981. case SUB:
  982. return lhs - rhs
  983. case MUL:
  984. return lhs * rhs
  985. case DIV:
  986. if v.IntegerFloatDivision {
  987. if rhs == 0 {
  988. return float64(0)
  989. }
  990. return float64(lhs) / float64(rhs)
  991. }
  992. if rhs == 0 {
  993. return int64(0)
  994. }
  995. return lhs / rhs
  996. case MOD:
  997. if rhs == 0 {
  998. return int64(0)
  999. }
  1000. return lhs % rhs
  1001. case BITWISE_AND:
  1002. return lhs & rhs
  1003. case BITWISE_OR:
  1004. return lhs | rhs
  1005. case BITWISE_XOR:
  1006. return lhs ^ rhs
  1007. }
  1008. case uint64:
  1009. switch op {
  1010. case EQ:
  1011. return uint64(lhs) == rhs
  1012. case NEQ:
  1013. return uint64(lhs) != rhs
  1014. case LT:
  1015. if lhs < 0 {
  1016. return true
  1017. }
  1018. return uint64(lhs) < rhs
  1019. case LTE:
  1020. if lhs < 0 {
  1021. return true
  1022. }
  1023. return uint64(lhs) <= rhs
  1024. case GT:
  1025. if lhs < 0 {
  1026. return false
  1027. }
  1028. return uint64(lhs) > rhs
  1029. case GTE:
  1030. if lhs < 0 {
  1031. return false
  1032. }
  1033. return uint64(lhs) >= rhs
  1034. case ADD:
  1035. return uint64(lhs) + rhs
  1036. case SUB:
  1037. return uint64(lhs) - rhs
  1038. case MUL:
  1039. return uint64(lhs) * rhs
  1040. case DIV:
  1041. if rhs == 0 {
  1042. return uint64(0)
  1043. }
  1044. return uint64(lhs) / rhs
  1045. case MOD:
  1046. if rhs == 0 {
  1047. return uint64(0)
  1048. }
  1049. return uint64(lhs) % rhs
  1050. case BITWISE_AND:
  1051. return uint64(lhs) & rhs
  1052. case BITWISE_OR:
  1053. return uint64(lhs) | rhs
  1054. case BITWISE_XOR:
  1055. return uint64(lhs) ^ rhs
  1056. }
  1057. }
  1058. case uint64:
  1059. // Try as a float64 to see if a float cast is required.
  1060. switch rhs := rhs.(type) {
  1061. case float64:
  1062. lhs := float64(lhs)
  1063. switch op {
  1064. case EQ:
  1065. return lhs == rhs
  1066. case NEQ:
  1067. return lhs != rhs
  1068. case LT:
  1069. return lhs < rhs
  1070. case LTE:
  1071. return lhs <= rhs
  1072. case GT:
  1073. return lhs > rhs
  1074. case GTE:
  1075. return lhs >= rhs
  1076. case ADD:
  1077. return lhs + rhs
  1078. case SUB:
  1079. return lhs - rhs
  1080. case MUL:
  1081. return lhs * rhs
  1082. case DIV:
  1083. if rhs == 0 {
  1084. return float64(0)
  1085. }
  1086. return lhs / rhs
  1087. case MOD:
  1088. return math.Mod(lhs, rhs)
  1089. }
  1090. case int64:
  1091. switch op {
  1092. case EQ:
  1093. return lhs == uint64(rhs)
  1094. case NEQ:
  1095. return lhs != uint64(rhs)
  1096. case LT:
  1097. if rhs < 0 {
  1098. return false
  1099. }
  1100. return lhs < uint64(rhs)
  1101. case LTE:
  1102. if rhs < 0 {
  1103. return false
  1104. }
  1105. return lhs <= uint64(rhs)
  1106. case GT:
  1107. if rhs < 0 {
  1108. return true
  1109. }
  1110. return lhs > uint64(rhs)
  1111. case GTE:
  1112. if rhs < 0 {
  1113. return true
  1114. }
  1115. return lhs >= uint64(rhs)
  1116. case ADD:
  1117. return lhs + uint64(rhs)
  1118. case SUB:
  1119. return lhs - uint64(rhs)
  1120. case MUL:
  1121. return lhs * uint64(rhs)
  1122. case DIV:
  1123. if rhs == 0 {
  1124. return uint64(0)
  1125. }
  1126. return lhs / uint64(rhs)
  1127. case MOD:
  1128. if rhs == 0 {
  1129. return uint64(0)
  1130. }
  1131. return lhs % uint64(rhs)
  1132. case BITWISE_AND:
  1133. return lhs & uint64(rhs)
  1134. case BITWISE_OR:
  1135. return lhs | uint64(rhs)
  1136. case BITWISE_XOR:
  1137. return lhs ^ uint64(rhs)
  1138. }
  1139. case uint64:
  1140. switch op {
  1141. case EQ:
  1142. return lhs == rhs
  1143. case NEQ:
  1144. return lhs != rhs
  1145. case LT:
  1146. return lhs < rhs
  1147. case LTE:
  1148. return lhs <= rhs
  1149. case GT:
  1150. return lhs > rhs
  1151. case GTE:
  1152. return lhs >= rhs
  1153. case ADD:
  1154. return lhs + rhs
  1155. case SUB:
  1156. return lhs - rhs
  1157. case MUL:
  1158. return lhs * rhs
  1159. case DIV:
  1160. if rhs == 0 {
  1161. return uint64(0)
  1162. }
  1163. return lhs / rhs
  1164. case MOD:
  1165. if rhs == 0 {
  1166. return uint64(0)
  1167. }
  1168. return lhs % rhs
  1169. case BITWISE_AND:
  1170. return lhs & rhs
  1171. case BITWISE_OR:
  1172. return lhs | rhs
  1173. case BITWISE_XOR:
  1174. return lhs ^ rhs
  1175. }
  1176. }
  1177. case string:
  1178. switch op {
  1179. case EQ:
  1180. rhs, ok := rhs.(string)
  1181. if !ok {
  1182. return false
  1183. }
  1184. return lhs == rhs
  1185. case NEQ:
  1186. rhs, ok := rhs.(string)
  1187. if !ok {
  1188. return false
  1189. }
  1190. return lhs != rhs
  1191. case LT:
  1192. rhs, ok := rhs.(string)
  1193. if !ok {
  1194. return false
  1195. }
  1196. return lhs < rhs
  1197. case LTE:
  1198. rhs, ok := rhs.(string)
  1199. if !ok {
  1200. return false
  1201. }
  1202. return lhs <= rhs
  1203. case GT:
  1204. rhs, ok := rhs.(string)
  1205. if !ok {
  1206. return false
  1207. }
  1208. return lhs > rhs
  1209. case GTE:
  1210. rhs, ok := rhs.(string)
  1211. if !ok {
  1212. return false
  1213. }
  1214. return lhs >= rhs
  1215. }
  1216. case time.Time:
  1217. rt, err := common.InterfaceToTime(rhs, "")
  1218. if err != nil{
  1219. return false
  1220. }
  1221. switch op {
  1222. case EQ:
  1223. return lhs.Equal(rt)
  1224. case NEQ:
  1225. return !lhs.Equal(rt)
  1226. case LT:
  1227. return lhs.Before(rt)
  1228. case LTE:
  1229. return lhs.Before(rt) || lhs.Equal(rt)
  1230. case GT:
  1231. return lhs.After(rt)
  1232. case GTE:
  1233. return lhs.After(rt) || lhs.Equal(rt)
  1234. }
  1235. }
  1236. // The types were not comparable. If our operation was an equality operation,
  1237. // return false instead of true.
  1238. switch op {
  1239. case EQ, NEQ, LT, LTE, GT, GTE:
  1240. return false
  1241. }
  1242. return nil
  1243. }
  1244. func convertNum(para interface{}) interface{} {
  1245. if isInt(para) {
  1246. para = toInt64(para)
  1247. } else if isFloat(para) {
  1248. para = toFloat64(para)
  1249. }
  1250. return para
  1251. }
  1252. func isInt(para interface{}) bool {
  1253. switch para.(type) {
  1254. case int:
  1255. return true
  1256. case int8:
  1257. return true
  1258. case int16:
  1259. return true
  1260. case int32:
  1261. return true
  1262. case int64:
  1263. return true
  1264. }
  1265. return false
  1266. }
  1267. func toInt64(para interface{}) int64 {
  1268. if v, ok := para.(int); ok {
  1269. return int64(v)
  1270. } else if v, ok := para.(int8); ok {
  1271. return int64(v)
  1272. } else if v, ok := para.(int16); ok {
  1273. return int64(v)
  1274. } else if v, ok := para.(int32); ok {
  1275. return int64(v)
  1276. } else if v, ok := para.(int64); ok {
  1277. return v
  1278. }
  1279. return 0
  1280. }
  1281. func isFloat(para interface{}) bool {
  1282. switch para.(type) {
  1283. case float32:
  1284. return true
  1285. case float64:
  1286. return true
  1287. }
  1288. return false
  1289. }
  1290. func toFloat64(para interface{}) float64 {
  1291. if v, ok := para.(float32); ok {
  1292. return float64(v)
  1293. } else if v, ok := para.(float64); ok {
  1294. return v
  1295. }
  1296. return 0
  1297. }
  1298. func IsAggStatement(node Node) (bool) {
  1299. var r bool = false
  1300. WalkFunc(node, func(n Node) {
  1301. if f, ok := n.(*Call); ok {
  1302. fn := strings.ToLower(f.Name)
  1303. if _, ok1 := aggFuncMap[fn]; ok1 {
  1304. r = true
  1305. return
  1306. }
  1307. } else if d, ok := n.(Dimensions); ok {
  1308. ds := d.GetGroups()
  1309. if ds != nil && len(ds) > 0 {
  1310. r = true
  1311. return
  1312. }
  1313. }
  1314. });
  1315. return r
  1316. }