ast.go 30 KB

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