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