ast.go 29 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580
  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 Metadata map[string]interface{}
  404. type Tuple struct {
  405. Emitter string
  406. Message Message
  407. Timestamp int64
  408. Metadata Metadata
  409. }
  410. // Value returns the value for a key in the Message.
  411. func (m Metadata) Value(key string) (interface{}, bool) {
  412. key = strings.ToLower(key)
  413. if keys := strings.Split(key, "."); len(keys) == 1 {
  414. v, ok := m[key]
  415. return v, ok
  416. } else if len(keys) == 2 {
  417. v, ok := m[keys[1]]
  418. return v, ok
  419. }
  420. common.Log.Println("Invalid key: " + key + ", expect source.field or field.")
  421. return nil, false
  422. }
  423. func (t *Tuple) Value(key string) (interface{}, bool) {
  424. if v, ok := t.Message.Value(key); ok {
  425. return v, ok
  426. } else {
  427. return t.Metadata.Value(key)
  428. }
  429. }
  430. func (t *Tuple) All(stream string) (interface{}, bool) {
  431. return t.Message, true
  432. }
  433. func (t *Tuple) AggregateEval(expr Expr) []interface{} {
  434. return []interface{}{Eval(expr, t)}
  435. }
  436. func (t *Tuple) GetTimestamp() int64 {
  437. return t.Timestamp
  438. }
  439. func (t *Tuple) GetMetadata() Metadata {
  440. return t.Metadata
  441. }
  442. func (t *Tuple) IsWatermark() bool {
  443. return false
  444. }
  445. type WindowTuples struct {
  446. Emitter string
  447. Tuples []Tuple
  448. }
  449. type WindowTuplesSet []WindowTuples
  450. func (w WindowTuplesSet) GetBySrc(src string) []Tuple {
  451. for _, me := range w {
  452. if me.Emitter == src {
  453. return me.Tuples
  454. }
  455. }
  456. return nil
  457. }
  458. func (w WindowTuplesSet) Len() int {
  459. if len(w) > 0{
  460. return len(w[0].Tuples)
  461. }
  462. return 0
  463. }
  464. func (w WindowTuplesSet) Swap(i, j int) {
  465. if len(w) > 0{
  466. s := w[0].Tuples
  467. s[i], s[j] = s[j], s[i]
  468. }
  469. }
  470. func (w WindowTuplesSet) Index(i int) Valuer {
  471. if len(w) > 0{
  472. s := w[0].Tuples
  473. return &(s[i])
  474. }
  475. return nil
  476. }
  477. func (w WindowTuplesSet) AddTuple(tuple *Tuple) WindowTuplesSet{
  478. found := false
  479. for i, t := range w {
  480. if t.Emitter == tuple.Emitter {
  481. t.Tuples = append(t.Tuples, *tuple)
  482. found = true
  483. w[i] = t
  484. break
  485. }
  486. }
  487. if !found {
  488. ets := &WindowTuples{Emitter: tuple.Emitter}
  489. ets.Tuples = append(ets.Tuples, *tuple)
  490. w = append(w, *ets)
  491. }
  492. return w
  493. }
  494. //Sort by tuple timestamp
  495. func (w WindowTuplesSet) Sort() {
  496. for _, t := range w {
  497. tuples := t.Tuples
  498. sort.SliceStable(tuples, func(i, j int) bool {
  499. return tuples[i].Timestamp < tuples[j].Timestamp
  500. })
  501. t.Tuples = tuples
  502. }
  503. }
  504. func (w WindowTuplesSet) AggregateEval(expr Expr) []interface{} {
  505. var result []interface{}
  506. if len(w) != 1 { //should never happen
  507. return nil
  508. }
  509. for _, t := range w[0].Tuples {
  510. result = append(result, Eval(expr, &t))
  511. }
  512. return result
  513. }
  514. type JoinTuple struct {
  515. Tuples []Tuple
  516. }
  517. func (jt *JoinTuple) AddTuple(tuple Tuple) {
  518. jt.Tuples = append(jt.Tuples, tuple)
  519. }
  520. func (jt *JoinTuple) AddTuples(tuples []Tuple) {
  521. for _, t := range tuples {
  522. jt.Tuples = append(jt.Tuples, t)
  523. }
  524. }
  525. func (jt *JoinTuple) Value(key string) (interface{}, bool) {
  526. keys := strings.Split(key, ".")
  527. tuples := jt.Tuples
  528. switch len(keys) {
  529. case 1:
  530. if len(tuples) > 1 {
  531. for _, tuple := range tuples { //TODO support key without modifier?
  532. v, ok := tuple.Message[key]
  533. if ok{
  534. return v, ok
  535. }
  536. }
  537. common.Log.Infoln("Wrong key: ", key, ", not found")
  538. return nil, false
  539. } else{
  540. v, ok := tuples[0].Message[key]
  541. return v, ok
  542. }
  543. case 2:
  544. emitter, key := keys[0], keys[1]
  545. //TODO should use hash here
  546. for _, tuple := range tuples {
  547. if tuple.Emitter == emitter {
  548. v, ok := tuple.Message[key]
  549. return v, ok
  550. }
  551. }
  552. return nil, false
  553. default:
  554. common.Log.Infoln("Wrong key: ", key, ", expect dot in the expression.")
  555. return nil, false
  556. }
  557. }
  558. func (jt *JoinTuple) All(stream string) (interface{}, bool) {
  559. if stream != ""{
  560. for _, t := range jt.Tuples{
  561. if t.Emitter == stream{
  562. return t.Message, true
  563. }
  564. }
  565. }else{
  566. var r Message = make(map[string]interface{})
  567. for _, t := range jt.Tuples{
  568. for k, v := range t.Message{
  569. if _, ok := r[k]; !ok{
  570. r[k] = v
  571. }
  572. }
  573. }
  574. return r, true
  575. }
  576. return nil, false
  577. }
  578. type JoinTupleSets []JoinTuple
  579. func (s JoinTupleSets) Len() int { return len(s) }
  580. func (s JoinTupleSets) Swap(i, j int) { s[i], s[j] = s[j], s[i] }
  581. func (s JoinTupleSets) Index(i int) Valuer { return &(s[i]) }
  582. func (s JoinTupleSets) AggregateEval(expr Expr) []interface{} {
  583. var result []interface{}
  584. for _, t := range s {
  585. result = append(result, Eval(expr, &t))
  586. }
  587. return result
  588. }
  589. type GroupedTuples []DataValuer
  590. func (s GroupedTuples) AggregateEval(expr Expr) []interface{} {
  591. var result []interface{}
  592. for _, t := range s {
  593. result = append(result, Eval(expr, t))
  594. }
  595. return result
  596. }
  597. type GroupedTuplesSet []GroupedTuples
  598. func (s GroupedTuplesSet) Len() int { return len(s) }
  599. func (s GroupedTuplesSet) Swap(i, j int) { s[i], s[j] = s[j], s[i] }
  600. func (s GroupedTuplesSet) Index(i int) Valuer { return s[i][0] }
  601. type SortingData interface {
  602. Len() int
  603. Swap(i, j int)
  604. Index(i int) Valuer
  605. }
  606. // multiSorter implements the Sort interface, sorting the changes within.Hi
  607. type MultiSorter struct {
  608. SortingData
  609. fields SortFields
  610. }
  611. // OrderedBy returns a Sorter that sorts using the less functions, in order.
  612. // Call its Sort method to sort the data.
  613. func OrderedBy(fields SortFields) *MultiSorter {
  614. return &MultiSorter{
  615. fields: fields,
  616. }
  617. }
  618. // Less is part of sort.Interface. It is implemented by looping along the
  619. // less functions until it finds a comparison that discriminates between
  620. // the two items (one is less than the other). Note that it can call the
  621. // less functions twice per call. We could change the functions to return
  622. // -1, 0, 1 and reduce the number of calls for greater efficiency: an
  623. // exercise for the reader.
  624. func (ms *MultiSorter) Less(i, j int) bool {
  625. p, q := ms.SortingData.Index(i), ms.SortingData.Index(j)
  626. vep, veq := &ValuerEval{Valuer: MultiValuer(p, &FunctionValuer{})}, &ValuerEval{Valuer: MultiValuer(q, &FunctionValuer{})}
  627. for _, field := range ms.fields {
  628. vp, ok := vep.Valuer.Value(field.Name)
  629. if !ok {
  630. return !field.Ascending
  631. }
  632. vq, ok := veq.Valuer.Value(field.Name)
  633. if !ok {
  634. return !field.Ascending
  635. }
  636. switch {
  637. case vep.simpleDataEval(vp, vq, LT):
  638. return field.Ascending
  639. case veq.simpleDataEval(vq, vp, LT):
  640. return !field.Ascending
  641. }
  642. }
  643. return false
  644. }
  645. // Sort sorts the argument slice according to the less functions passed to OrderedBy.
  646. func (ms *MultiSorter) Sort(data SortingData) {
  647. ms.SortingData = data
  648. sort.Sort(ms)
  649. }
  650. type EvalResultMessage struct {
  651. Emitter string
  652. Result interface{}
  653. Message Message
  654. }
  655. type ResultsAndMessages []EvalResultMessage
  656. // Eval evaluates expr against a map.
  657. func Eval(expr Expr, m Valuer) interface{} {
  658. eval := ValuerEval{Valuer: MultiValuer(m, &FunctionValuer{})}
  659. return eval.Eval(expr)
  660. }
  661. // ValuerEval will evaluate an expression using the Valuer.
  662. type ValuerEval struct {
  663. Valuer Valuer
  664. // IntegerFloatDivision will set the eval system to treat
  665. // a division between two integers as a floating point division.
  666. IntegerFloatDivision bool
  667. }
  668. // MultiValuer returns a Valuer that iterates over multiple Valuer instances
  669. // to find a match.
  670. func MultiValuer(valuers ...Valuer) Valuer {
  671. return multiValuer(valuers)
  672. }
  673. type multiValuer []Valuer
  674. func (a multiValuer) Value(key string) (interface{}, bool) {
  675. for _, valuer := range a {
  676. if v, ok := valuer.Value(key); ok {
  677. return v, true
  678. }
  679. }
  680. return nil, false
  681. }
  682. func (a multiValuer) Call(name string, args []interface{}) (interface{}, bool) {
  683. for _, valuer := range a {
  684. if valuer, ok := valuer.(CallValuer); ok {
  685. if v, ok := valuer.Call(name, args); ok {
  686. return v, true
  687. } else {
  688. common.Log.Println(fmt.Sprintf("Found error \"%s\" when call func %s.\n", v, name))
  689. }
  690. }
  691. }
  692. return nil, false
  693. }
  694. type multiAggregateValuer struct{
  695. data AggregateData
  696. valuers []Valuer
  697. }
  698. func MultiAggregateValuer(data AggregateData, valuers ...Valuer) Valuer {
  699. return &multiAggregateValuer{
  700. data: data,
  701. valuers: valuers,
  702. }
  703. }
  704. func (a *multiAggregateValuer) Value(key string) (interface{}, bool) {
  705. for _, valuer := range a.valuers {
  706. if v, ok := valuer.Value(key); ok {
  707. return v, true
  708. }
  709. }
  710. return nil, false
  711. }
  712. //The args is [][] for aggregation
  713. func (a *multiAggregateValuer) Call(name string, args []interface{}) (interface{}, bool) {
  714. var singleArgs []interface{} = nil
  715. for _, valuer := range a.valuers {
  716. if a, ok := valuer.(AggregateCallValuer); ok {
  717. if v, ok := a.Call(name, args); ok {
  718. return v, true
  719. }
  720. }else if c, ok := valuer.(CallValuer); ok{
  721. if singleArgs == nil{
  722. for _, arg := range args{
  723. if arg, ok := arg.([]interface{}); ok{
  724. singleArgs = append(singleArgs, arg[0])
  725. }else{
  726. common.Log.Infof("multiAggregateValuer does not get [][] args but get %v", args)
  727. return nil, false
  728. }
  729. }
  730. }
  731. if v, ok := c.Call(name, singleArgs); ok {
  732. return v, true
  733. }
  734. }
  735. }
  736. return nil, false
  737. }
  738. func (a *multiAggregateValuer) GetAllTuples() AggregateData {
  739. return a.data
  740. }
  741. type BracketEvalResult struct {
  742. Start, End int
  743. }
  744. func (ber *BracketEvalResult) isIndex() bool {
  745. return ber.Start == ber.End
  746. }
  747. // Eval evaluates an expression and returns a value.
  748. func (v *ValuerEval) Eval(expr Expr) interface{} {
  749. if expr == nil {
  750. return nil
  751. }
  752. switch expr := expr.(type) {
  753. case *BinaryExpr:
  754. return v.evalBinaryExpr(expr)
  755. //case *BooleanLiteral:
  756. // return expr.Val
  757. case *IntegerLiteral:
  758. return expr.Val
  759. case *NumberLiteral:
  760. return expr.Val
  761. case *ParenExpr:
  762. return v.Eval(expr.Expr)
  763. case *StringLiteral:
  764. return expr.Val
  765. case *BooleanLiteral:
  766. return expr.Val
  767. case *ColonExpr:
  768. return &BracketEvalResult{Start:expr.Start, End:expr.End}
  769. case *IndexExpr:
  770. return &BracketEvalResult{Start:expr.Index, End:expr.Index}
  771. case *Call:
  772. if valuer, ok := v.Valuer.(CallValuer); ok {
  773. var args []interface{}
  774. if len(expr.Args) > 0 {
  775. args = make([]interface{}, len(expr.Args))
  776. if aggreValuer, ok := valuer.(AggregateCallValuer); ok{
  777. for i := range expr.Args {
  778. args[i] = aggreValuer.GetAllTuples().AggregateEval(expr.Args[i])
  779. }
  780. }else{
  781. for i := range expr.Args {
  782. args[i] = v.Eval(expr.Args[i])
  783. }
  784. }
  785. }
  786. val, _ := valuer.Call(expr.Name, args)
  787. return val
  788. }
  789. return nil
  790. case *FieldRef:
  791. if expr.StreamName == "" {
  792. val, _ := v.Valuer.Value(expr.Name)
  793. return val
  794. } else {
  795. //The field specified with stream source
  796. val, _ := v.Valuer.Value(string(expr.StreamName) + "." + expr.Name)
  797. return val
  798. }
  799. case *Wildcard:
  800. val, _ := v.Valuer.Value("")
  801. return val
  802. default:
  803. return nil
  804. }
  805. return nil
  806. }
  807. func (v *ValuerEval) evalBinaryExpr(expr *BinaryExpr) interface{} {
  808. lhs := v.Eval(expr.LHS)
  809. switch val := lhs.(type) {
  810. case map[string]interface{}:
  811. return v.evalJsonExpr(val, expr.OP, expr.RHS)
  812. case []interface{}:
  813. return v.evalJsonExpr(val, expr.OP, expr.RHS)
  814. }
  815. rhs := v.Eval(expr.RHS)
  816. if lhs == nil && rhs != nil {
  817. // When the LHS is nil and the RHS is a boolean, implicitly cast the
  818. // nil to false.
  819. if _, ok := rhs.(bool); ok {
  820. lhs = false
  821. }
  822. } else if lhs != nil && rhs == nil {
  823. // Implicit cast of the RHS nil to false when the LHS is a boolean.
  824. if _, ok := lhs.(bool); ok {
  825. rhs = false
  826. }
  827. }
  828. return v.simpleDataEval(lhs, rhs, expr.OP)
  829. }
  830. func (v *ValuerEval) evalJsonExpr(result interface{}, op Token, expr Expr) interface{} {
  831. if val, ok := result.(map[string]interface{}); ok {
  832. switch op {
  833. case ARROW:
  834. if exp, ok := expr.(*FieldRef); ok {
  835. ve := &ValuerEval{Valuer: Message(val)}
  836. return ve.Eval(exp)
  837. } else {
  838. fmt.Printf("The right expression is not a field reference node.\n")
  839. return nil
  840. }
  841. default:
  842. fmt.Printf("%v is an invalid operation.\n", op)
  843. return nil
  844. }
  845. }
  846. if val, ok := result.([]interface{}); ok {
  847. switch op {
  848. case SUBSET:
  849. ber := v.Eval(expr)
  850. if berVal, ok1 := ber.(*BracketEvalResult); ok1 {
  851. if berVal.isIndex() {
  852. if berVal.Start >= len(val) {
  853. fmt.Printf("Out of index: %d of %d.\n", berVal.Start, len(val))
  854. return nil
  855. }
  856. return val[berVal.Start]
  857. } else {
  858. if berVal.Start >= len(val) {
  859. fmt.Printf("Start value is out of index: %d of %d.\n", berVal.Start, len(val))
  860. return nil
  861. }
  862. if berVal.End >= len(val) {
  863. fmt.Printf("End value is out of index: %d of %d.\n", berVal.End, len(val))
  864. return nil
  865. }
  866. return val[berVal.Start : berVal.End]
  867. }
  868. } else {
  869. fmt.Printf("Invalid evaluation result - %v.\n", berVal)
  870. return nil
  871. }
  872. default:
  873. fmt.Printf("%v is an invalid operation.\n", op)
  874. return nil
  875. }
  876. }
  877. return nil
  878. }
  879. func (v *ValuerEval) simpleDataEval(lhs, rhs interface{}, op Token) interface{} {
  880. lhs = convertNum(lhs)
  881. rhs = convertNum(rhs)
  882. // Evaluate if both sides are simple types.
  883. switch lhs := lhs.(type) {
  884. case bool:
  885. rhs, ok := rhs.(bool)
  886. switch op {
  887. case AND:
  888. return ok && (lhs && rhs)
  889. case OR:
  890. return ok && (lhs || rhs)
  891. case BITWISE_AND:
  892. return ok && (lhs && rhs)
  893. case BITWISE_OR:
  894. return ok && (lhs || rhs)
  895. case BITWISE_XOR:
  896. return ok && (lhs != rhs)
  897. case EQ:
  898. return ok && (lhs == rhs)
  899. case NEQ:
  900. return ok && (lhs != rhs)
  901. }
  902. case float64:
  903. // Try the rhs as a float64, int64, or uint64
  904. rhsf, ok := rhs.(float64)
  905. if !ok {
  906. switch val := rhs.(type) {
  907. case int64:
  908. rhsf, ok = float64(val), true
  909. case uint64:
  910. rhsf, ok = float64(val), true
  911. }
  912. }
  913. rhs := rhsf
  914. switch op {
  915. case EQ:
  916. return ok && (lhs == rhs)
  917. case NEQ:
  918. return ok && (lhs != rhs)
  919. case LT:
  920. return ok && (lhs < rhs)
  921. case LTE:
  922. return ok && (lhs <= rhs)
  923. case GT:
  924. return ok && (lhs > rhs)
  925. case GTE:
  926. return ok && (lhs >= rhs)
  927. case ADD:
  928. if !ok {
  929. return nil
  930. }
  931. return lhs + rhs
  932. case SUB:
  933. if !ok {
  934. return nil
  935. }
  936. return lhs - rhs
  937. case MUL:
  938. if !ok {
  939. return nil
  940. }
  941. return lhs * rhs
  942. case DIV:
  943. if !ok {
  944. return nil
  945. } else if rhs == 0 {
  946. return float64(0)
  947. }
  948. return lhs / rhs
  949. case MOD:
  950. if !ok {
  951. return nil
  952. }
  953. return math.Mod(lhs, rhs)
  954. }
  955. case int64:
  956. // Try as a float64 to see if a float cast is required.
  957. switch rhs := rhs.(type) {
  958. case float64:
  959. lhs := float64(lhs)
  960. switch op {
  961. case EQ:
  962. return lhs == rhs
  963. case NEQ:
  964. return lhs != rhs
  965. case LT:
  966. return lhs < rhs
  967. case LTE:
  968. return lhs <= rhs
  969. case GT:
  970. return lhs > rhs
  971. case GTE:
  972. return lhs >= rhs
  973. case ADD:
  974. return lhs + rhs
  975. case SUB:
  976. return lhs - rhs
  977. case MUL:
  978. return lhs * rhs
  979. case DIV:
  980. if rhs == 0 {
  981. return float64(0)
  982. }
  983. return lhs / rhs
  984. case MOD:
  985. return math.Mod(lhs, rhs)
  986. }
  987. case int64:
  988. switch op {
  989. case EQ:
  990. return lhs == rhs
  991. case NEQ:
  992. return lhs != rhs
  993. case LT:
  994. return lhs < rhs
  995. case LTE:
  996. return lhs <= rhs
  997. case GT:
  998. return lhs > rhs
  999. case GTE:
  1000. return lhs >= rhs
  1001. case ADD:
  1002. return lhs + rhs
  1003. case SUB:
  1004. return lhs - rhs
  1005. case MUL:
  1006. return lhs * rhs
  1007. case DIV:
  1008. if v.IntegerFloatDivision {
  1009. if rhs == 0 {
  1010. return float64(0)
  1011. }
  1012. return float64(lhs) / float64(rhs)
  1013. }
  1014. if rhs == 0 {
  1015. return int64(0)
  1016. }
  1017. return lhs / rhs
  1018. case MOD:
  1019. if rhs == 0 {
  1020. return int64(0)
  1021. }
  1022. return lhs % rhs
  1023. case BITWISE_AND:
  1024. return lhs & rhs
  1025. case BITWISE_OR:
  1026. return lhs | rhs
  1027. case BITWISE_XOR:
  1028. return lhs ^ rhs
  1029. }
  1030. case uint64:
  1031. switch op {
  1032. case EQ:
  1033. return uint64(lhs) == rhs
  1034. case NEQ:
  1035. return uint64(lhs) != rhs
  1036. case LT:
  1037. if lhs < 0 {
  1038. return true
  1039. }
  1040. return uint64(lhs) < rhs
  1041. case LTE:
  1042. if lhs < 0 {
  1043. return true
  1044. }
  1045. return uint64(lhs) <= rhs
  1046. case GT:
  1047. if lhs < 0 {
  1048. return false
  1049. }
  1050. return uint64(lhs) > rhs
  1051. case GTE:
  1052. if lhs < 0 {
  1053. return false
  1054. }
  1055. return uint64(lhs) >= rhs
  1056. case ADD:
  1057. return uint64(lhs) + rhs
  1058. case SUB:
  1059. return uint64(lhs) - rhs
  1060. case MUL:
  1061. return uint64(lhs) * rhs
  1062. case DIV:
  1063. if rhs == 0 {
  1064. return uint64(0)
  1065. }
  1066. return uint64(lhs) / rhs
  1067. case MOD:
  1068. if rhs == 0 {
  1069. return uint64(0)
  1070. }
  1071. return uint64(lhs) % rhs
  1072. case BITWISE_AND:
  1073. return uint64(lhs) & rhs
  1074. case BITWISE_OR:
  1075. return uint64(lhs) | rhs
  1076. case BITWISE_XOR:
  1077. return uint64(lhs) ^ rhs
  1078. }
  1079. }
  1080. case uint64:
  1081. // Try as a float64 to see if a float cast is required.
  1082. switch rhs := rhs.(type) {
  1083. case float64:
  1084. lhs := float64(lhs)
  1085. switch op {
  1086. case EQ:
  1087. return lhs == rhs
  1088. case NEQ:
  1089. return lhs != rhs
  1090. case LT:
  1091. return lhs < rhs
  1092. case LTE:
  1093. return lhs <= rhs
  1094. case GT:
  1095. return lhs > rhs
  1096. case GTE:
  1097. return lhs >= rhs
  1098. case ADD:
  1099. return lhs + rhs
  1100. case SUB:
  1101. return lhs - rhs
  1102. case MUL:
  1103. return lhs * rhs
  1104. case DIV:
  1105. if rhs == 0 {
  1106. return float64(0)
  1107. }
  1108. return lhs / rhs
  1109. case MOD:
  1110. return math.Mod(lhs, rhs)
  1111. }
  1112. case int64:
  1113. switch op {
  1114. case EQ:
  1115. return lhs == uint64(rhs)
  1116. case NEQ:
  1117. return lhs != uint64(rhs)
  1118. case LT:
  1119. if rhs < 0 {
  1120. return false
  1121. }
  1122. return lhs < uint64(rhs)
  1123. case LTE:
  1124. if rhs < 0 {
  1125. return false
  1126. }
  1127. return lhs <= uint64(rhs)
  1128. case GT:
  1129. if rhs < 0 {
  1130. return true
  1131. }
  1132. return lhs > uint64(rhs)
  1133. case GTE:
  1134. if rhs < 0 {
  1135. return true
  1136. }
  1137. return lhs >= uint64(rhs)
  1138. case ADD:
  1139. return lhs + uint64(rhs)
  1140. case SUB:
  1141. return lhs - uint64(rhs)
  1142. case MUL:
  1143. return lhs * uint64(rhs)
  1144. case DIV:
  1145. if rhs == 0 {
  1146. return uint64(0)
  1147. }
  1148. return lhs / uint64(rhs)
  1149. case MOD:
  1150. if rhs == 0 {
  1151. return uint64(0)
  1152. }
  1153. return lhs % uint64(rhs)
  1154. case BITWISE_AND:
  1155. return lhs & uint64(rhs)
  1156. case BITWISE_OR:
  1157. return lhs | uint64(rhs)
  1158. case BITWISE_XOR:
  1159. return lhs ^ uint64(rhs)
  1160. }
  1161. case uint64:
  1162. switch op {
  1163. case EQ:
  1164. return lhs == rhs
  1165. case NEQ:
  1166. return lhs != rhs
  1167. case LT:
  1168. return lhs < rhs
  1169. case LTE:
  1170. return lhs <= rhs
  1171. case GT:
  1172. return lhs > rhs
  1173. case GTE:
  1174. return lhs >= rhs
  1175. case ADD:
  1176. return lhs + rhs
  1177. case SUB:
  1178. return lhs - rhs
  1179. case MUL:
  1180. return lhs * rhs
  1181. case DIV:
  1182. if rhs == 0 {
  1183. return uint64(0)
  1184. }
  1185. return lhs / rhs
  1186. case MOD:
  1187. if rhs == 0 {
  1188. return uint64(0)
  1189. }
  1190. return lhs % rhs
  1191. case BITWISE_AND:
  1192. return lhs & rhs
  1193. case BITWISE_OR:
  1194. return lhs | rhs
  1195. case BITWISE_XOR:
  1196. return lhs ^ rhs
  1197. }
  1198. }
  1199. case string:
  1200. switch op {
  1201. case EQ:
  1202. rhs, ok := rhs.(string)
  1203. if !ok {
  1204. return false
  1205. }
  1206. return lhs == rhs
  1207. case NEQ:
  1208. rhs, ok := rhs.(string)
  1209. if !ok {
  1210. return false
  1211. }
  1212. return lhs != rhs
  1213. case LT:
  1214. rhs, ok := rhs.(string)
  1215. if !ok {
  1216. return false
  1217. }
  1218. return lhs < rhs
  1219. case LTE:
  1220. rhs, ok := rhs.(string)
  1221. if !ok {
  1222. return false
  1223. }
  1224. return lhs <= rhs
  1225. case GT:
  1226. rhs, ok := rhs.(string)
  1227. if !ok {
  1228. return false
  1229. }
  1230. return lhs > rhs
  1231. case GTE:
  1232. rhs, ok := rhs.(string)
  1233. if !ok {
  1234. return false
  1235. }
  1236. return lhs >= rhs
  1237. }
  1238. case time.Time:
  1239. rt, err := common.InterfaceToTime(rhs, "")
  1240. if err != nil{
  1241. return false
  1242. }
  1243. switch op {
  1244. case EQ:
  1245. return lhs.Equal(rt)
  1246. case NEQ:
  1247. return !lhs.Equal(rt)
  1248. case LT:
  1249. return lhs.Before(rt)
  1250. case LTE:
  1251. return lhs.Before(rt) || lhs.Equal(rt)
  1252. case GT:
  1253. return lhs.After(rt)
  1254. case GTE:
  1255. return lhs.After(rt) || lhs.Equal(rt)
  1256. }
  1257. }
  1258. // The types were not comparable. If our operation was an equality operation,
  1259. // return false instead of true.
  1260. switch op {
  1261. case EQ, NEQ, LT, LTE, GT, GTE:
  1262. return false
  1263. }
  1264. return nil
  1265. }
  1266. func convertNum(para interface{}) interface{} {
  1267. if isInt(para) {
  1268. para = toInt64(para)
  1269. } else if isFloat(para) {
  1270. para = toFloat64(para)
  1271. }
  1272. return para
  1273. }
  1274. func isInt(para interface{}) bool {
  1275. switch para.(type) {
  1276. case int:
  1277. return true
  1278. case int8:
  1279. return true
  1280. case int16:
  1281. return true
  1282. case int32:
  1283. return true
  1284. case int64:
  1285. return true
  1286. }
  1287. return false
  1288. }
  1289. func toInt64(para interface{}) int64 {
  1290. if v, ok := para.(int); ok {
  1291. return int64(v)
  1292. } else if v, ok := para.(int8); ok {
  1293. return int64(v)
  1294. } else if v, ok := para.(int16); ok {
  1295. return int64(v)
  1296. } else if v, ok := para.(int32); ok {
  1297. return int64(v)
  1298. } else if v, ok := para.(int64); ok {
  1299. return v
  1300. }
  1301. return 0
  1302. }
  1303. func isFloat(para interface{}) bool {
  1304. switch para.(type) {
  1305. case float32:
  1306. return true
  1307. case float64:
  1308. return true
  1309. }
  1310. return false
  1311. }
  1312. func toFloat64(para interface{}) float64 {
  1313. if v, ok := para.(float32); ok {
  1314. return float64(v)
  1315. } else if v, ok := para.(float64); ok {
  1316. return v
  1317. }
  1318. return 0
  1319. }
  1320. func IsAggStatement(node Node) (bool) {
  1321. var r bool = false
  1322. WalkFunc(node, func(n Node) {
  1323. if f, ok := n.(*Call); ok {
  1324. fn := strings.ToLower(f.Name)
  1325. if _, ok1 := aggFuncMap[fn]; ok1 {
  1326. r = true
  1327. return
  1328. }
  1329. } else if d, ok := n.(Dimensions); ok {
  1330. ds := d.GetGroups()
  1331. if ds != nil && len(ds) > 0 {
  1332. r = true
  1333. return
  1334. }
  1335. }
  1336. });
  1337. return r
  1338. }
  1339. func HasAggFuncs(node Node) bool {
  1340. if node == nil{
  1341. return false
  1342. }
  1343. var r bool = false
  1344. WalkFunc(node, func(n Node) {
  1345. if f, ok := n.(*Call); ok {
  1346. fn := strings.ToLower(f.Name)
  1347. if _, ok1 := aggFuncMap[fn]; ok1 {
  1348. r = true
  1349. return
  1350. }
  1351. }
  1352. });
  1353. return r
  1354. }
  1355. func HasNoAggFuncs(node Node) bool {
  1356. if node == nil{
  1357. return false
  1358. }
  1359. var r bool = false
  1360. WalkFunc(node, func(n Node) {
  1361. if f, ok := n.(*Call); ok {
  1362. fn := strings.ToLower(f.Name)
  1363. if _, ok1 := mathFuncMap[fn]; ok1 {
  1364. r = true
  1365. return
  1366. } else if _, ok1 := strFuncMap[fn]; ok1 {
  1367. r = true
  1368. return
  1369. } else if _, ok1 := convFuncMap[fn]; ok1 {
  1370. r = true
  1371. return
  1372. } else if _, ok1 := hashFuncMap[fn]; ok1 {
  1373. r = true
  1374. return
  1375. } else if _, ok1 := otherFuncMap[fn]; ok1 {
  1376. r = true
  1377. return
  1378. }
  1379. }
  1380. });
  1381. return r
  1382. }