ast.go 31 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595
  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. return v.simpleDataEval(lhs, rhs, expr.OP)
  821. }
  822. func (v *ValuerEval) evalJsonExpr(result interface{}, op Token, expr Expr) interface{} {
  823. if val, ok := result.(map[string]interface{}); ok {
  824. switch op {
  825. case ARROW:
  826. if exp, ok := expr.(*FieldRef); ok {
  827. ve := &ValuerEval{Valuer: Message(val)}
  828. return ve.Eval(exp)
  829. } else {
  830. return fmt.Errorf("the right expression is not a field reference node")
  831. }
  832. default:
  833. return fmt.Errorf("%v is an invalid operation for %T", op, val)
  834. }
  835. }
  836. if val, ok := result.([]interface{}); ok {
  837. switch op {
  838. case SUBSET:
  839. ber := v.Eval(expr)
  840. if berVal, ok1 := ber.(*BracketEvalResult); ok1 {
  841. if berVal.isIndex() {
  842. if berVal.Start >= len(val) {
  843. return fmt.Errorf("out of index: %d of %d", berVal.Start, len(val))
  844. }
  845. return val[berVal.Start]
  846. } else {
  847. if berVal.Start >= len(val) {
  848. return fmt.Errorf("start value is out of index: %d of %d", berVal.Start, len(val))
  849. }
  850. if berVal.End >= len(val) {
  851. return fmt.Errorf("end value is out of index: %d of %d", berVal.End, len(val))
  852. }
  853. return val[berVal.Start:berVal.End]
  854. }
  855. } else {
  856. return fmt.Errorf("invalid evaluation result - %v", berVal)
  857. }
  858. default:
  859. return fmt.Errorf("%v is an invalid operation for %T", op, val)
  860. }
  861. }
  862. return nil
  863. }
  864. //lhs and rhs are non-nil
  865. func (v *ValuerEval) simpleDataEval(lhs, rhs interface{}, op Token) interface{} {
  866. if lhs == nil || rhs == nil {
  867. switch op {
  868. case EQ, LTE, GTE:
  869. if lhs == nil && rhs == nil {
  870. return true
  871. } else {
  872. return false
  873. }
  874. case NEQ:
  875. if lhs == nil && rhs == nil {
  876. return false
  877. } else {
  878. return true
  879. }
  880. case LT, GT:
  881. return false
  882. default:
  883. return nil
  884. }
  885. }
  886. lhs = convertNum(lhs)
  887. rhs = convertNum(rhs)
  888. // Evaluate if both sides are simple types.
  889. switch lhs := lhs.(type) {
  890. case bool:
  891. rhs, ok := rhs.(bool)
  892. if !ok {
  893. return invalidOpError(lhs, op, rhs)
  894. }
  895. switch op {
  896. case AND:
  897. return lhs && rhs
  898. case OR:
  899. return lhs || rhs
  900. case BITWISE_AND:
  901. return lhs && rhs
  902. case BITWISE_OR:
  903. return lhs || rhs
  904. case BITWISE_XOR:
  905. return lhs != rhs
  906. case EQ:
  907. return lhs == rhs
  908. case NEQ:
  909. return lhs != rhs
  910. default:
  911. return invalidOpError(lhs, op, rhs)
  912. }
  913. case float64:
  914. // Try the rhs as a float64, int64, or uint64
  915. rhsf, ok := rhs.(float64)
  916. if !ok {
  917. switch val := rhs.(type) {
  918. case int64:
  919. rhsf, ok = float64(val), true
  920. case uint64:
  921. rhsf, ok = float64(val), true
  922. }
  923. }
  924. if !ok {
  925. return invalidOpError(lhs, op, rhs)
  926. }
  927. rhs := rhsf
  928. switch op {
  929. case EQ:
  930. return lhs == rhs
  931. case NEQ:
  932. return lhs != rhs
  933. case LT:
  934. return lhs < rhs
  935. case LTE:
  936. return lhs <= rhs
  937. case GT:
  938. return lhs > rhs
  939. case GTE:
  940. return lhs >= rhs
  941. case ADD:
  942. return lhs + rhs
  943. case SUB:
  944. return lhs - rhs
  945. case MUL:
  946. return lhs * rhs
  947. case DIV:
  948. if rhs == 0 {
  949. return fmt.Errorf("divided by zero")
  950. }
  951. return lhs / rhs
  952. case MOD:
  953. if rhs == 0 {
  954. return fmt.Errorf("divided by zero")
  955. }
  956. return math.Mod(lhs, rhs)
  957. default:
  958. return invalidOpError(lhs, op, rhs)
  959. }
  960. case int64:
  961. // Try as a float64 to see if a float cast is required.
  962. switch rhs := rhs.(type) {
  963. case float64:
  964. lhs := float64(lhs)
  965. switch op {
  966. case EQ:
  967. return lhs == rhs
  968. case NEQ:
  969. return lhs != rhs
  970. case LT:
  971. return lhs < rhs
  972. case LTE:
  973. return lhs <= rhs
  974. case GT:
  975. return lhs > rhs
  976. case GTE:
  977. return lhs >= rhs
  978. case ADD:
  979. return lhs + rhs
  980. case SUB:
  981. return lhs - rhs
  982. case MUL:
  983. return lhs * rhs
  984. case DIV:
  985. if rhs == 0 {
  986. return fmt.Errorf("divided by zero")
  987. }
  988. return lhs / rhs
  989. case MOD:
  990. if rhs == 0 {
  991. return fmt.Errorf("divided by zero")
  992. }
  993. return math.Mod(lhs, rhs)
  994. default:
  995. return invalidOpError(lhs, op, rhs)
  996. }
  997. case int64:
  998. switch op {
  999. case EQ:
  1000. return lhs == rhs
  1001. case NEQ:
  1002. return lhs != rhs
  1003. case LT:
  1004. return lhs < rhs
  1005. case LTE:
  1006. return lhs <= rhs
  1007. case GT:
  1008. return lhs > rhs
  1009. case GTE:
  1010. return lhs >= rhs
  1011. case ADD:
  1012. return lhs + rhs
  1013. case SUB:
  1014. return lhs - rhs
  1015. case MUL:
  1016. return lhs * rhs
  1017. case DIV:
  1018. if v.IntegerFloatDivision {
  1019. if rhs == 0 {
  1020. return fmt.Errorf("divided by zero")
  1021. }
  1022. return float64(lhs) / float64(rhs)
  1023. }
  1024. if rhs == 0 {
  1025. return fmt.Errorf("divided by zero")
  1026. }
  1027. return lhs / rhs
  1028. case MOD:
  1029. if rhs == 0 {
  1030. return fmt.Errorf("divided by zero")
  1031. }
  1032. return lhs % rhs
  1033. case BITWISE_AND:
  1034. return lhs & rhs
  1035. case BITWISE_OR:
  1036. return lhs | rhs
  1037. case BITWISE_XOR:
  1038. return lhs ^ rhs
  1039. default:
  1040. return invalidOpError(lhs, op, rhs)
  1041. }
  1042. case uint64:
  1043. switch op {
  1044. case EQ:
  1045. return uint64(lhs) == rhs
  1046. case NEQ:
  1047. return uint64(lhs) != rhs
  1048. case LT:
  1049. if lhs < 0 {
  1050. return true
  1051. }
  1052. return uint64(lhs) < rhs
  1053. case LTE:
  1054. if lhs < 0 {
  1055. return true
  1056. }
  1057. return uint64(lhs) <= rhs
  1058. case GT:
  1059. if lhs < 0 {
  1060. return false
  1061. }
  1062. return uint64(lhs) > rhs
  1063. case GTE:
  1064. if lhs < 0 {
  1065. return false
  1066. }
  1067. return uint64(lhs) >= rhs
  1068. case ADD:
  1069. return uint64(lhs) + rhs
  1070. case SUB:
  1071. return uint64(lhs) - rhs
  1072. case MUL:
  1073. return uint64(lhs) * rhs
  1074. case DIV:
  1075. if rhs == 0 {
  1076. return fmt.Errorf("divided by zero")
  1077. }
  1078. return uint64(lhs) / rhs
  1079. case MOD:
  1080. if rhs == 0 {
  1081. return fmt.Errorf("divided by zero")
  1082. }
  1083. return uint64(lhs) % rhs
  1084. case BITWISE_AND:
  1085. return uint64(lhs) & rhs
  1086. case BITWISE_OR:
  1087. return uint64(lhs) | rhs
  1088. case BITWISE_XOR:
  1089. return uint64(lhs) ^ rhs
  1090. default:
  1091. return invalidOpError(lhs, op, rhs)
  1092. }
  1093. default:
  1094. return invalidOpError(lhs, op, rhs)
  1095. }
  1096. case uint64:
  1097. // Try as a float64 to see if a float cast is required.
  1098. switch rhs := rhs.(type) {
  1099. case float64:
  1100. lhs := float64(lhs)
  1101. switch op {
  1102. case EQ:
  1103. return lhs == rhs
  1104. case NEQ:
  1105. return lhs != rhs
  1106. case LT:
  1107. return lhs < rhs
  1108. case LTE:
  1109. return lhs <= rhs
  1110. case GT:
  1111. return lhs > rhs
  1112. case GTE:
  1113. return lhs >= rhs
  1114. case ADD:
  1115. return lhs + rhs
  1116. case SUB:
  1117. return lhs - rhs
  1118. case MUL:
  1119. return lhs * rhs
  1120. case DIV:
  1121. if rhs == 0 {
  1122. return fmt.Errorf("divided by zero")
  1123. }
  1124. return lhs / rhs
  1125. case MOD:
  1126. if rhs == 0 {
  1127. return fmt.Errorf("divided by zero")
  1128. }
  1129. return math.Mod(lhs, rhs)
  1130. default:
  1131. return invalidOpError(lhs, op, rhs)
  1132. }
  1133. case int64:
  1134. switch op {
  1135. case EQ:
  1136. return lhs == uint64(rhs)
  1137. case NEQ:
  1138. return lhs != uint64(rhs)
  1139. case LT:
  1140. if rhs < 0 {
  1141. return false
  1142. }
  1143. return lhs < uint64(rhs)
  1144. case LTE:
  1145. if rhs < 0 {
  1146. return false
  1147. }
  1148. return lhs <= uint64(rhs)
  1149. case GT:
  1150. if rhs < 0 {
  1151. return true
  1152. }
  1153. return lhs > uint64(rhs)
  1154. case GTE:
  1155. if rhs < 0 {
  1156. return true
  1157. }
  1158. return lhs >= uint64(rhs)
  1159. case ADD:
  1160. return lhs + uint64(rhs)
  1161. case SUB:
  1162. return lhs - uint64(rhs)
  1163. case MUL:
  1164. return lhs * uint64(rhs)
  1165. case DIV:
  1166. if rhs == 0 {
  1167. return fmt.Errorf("divided by zero")
  1168. }
  1169. return lhs / uint64(rhs)
  1170. case MOD:
  1171. if rhs == 0 {
  1172. return fmt.Errorf("divided by zero")
  1173. }
  1174. return lhs % uint64(rhs)
  1175. case BITWISE_AND:
  1176. return lhs & uint64(rhs)
  1177. case BITWISE_OR:
  1178. return lhs | uint64(rhs)
  1179. case BITWISE_XOR:
  1180. return lhs ^ uint64(rhs)
  1181. default:
  1182. return invalidOpError(lhs, op, rhs)
  1183. }
  1184. case uint64:
  1185. switch op {
  1186. case EQ:
  1187. return lhs == rhs
  1188. case NEQ:
  1189. return lhs != rhs
  1190. case LT:
  1191. return lhs < rhs
  1192. case LTE:
  1193. return lhs <= rhs
  1194. case GT:
  1195. return lhs > rhs
  1196. case GTE:
  1197. return lhs >= rhs
  1198. case ADD:
  1199. return lhs + rhs
  1200. case SUB:
  1201. return lhs - rhs
  1202. case MUL:
  1203. return lhs * rhs
  1204. case DIV:
  1205. if rhs == 0 {
  1206. return fmt.Errorf("divided by zero")
  1207. }
  1208. return lhs / rhs
  1209. case MOD:
  1210. if rhs == 0 {
  1211. return fmt.Errorf("divided by zero")
  1212. }
  1213. return lhs % rhs
  1214. case BITWISE_AND:
  1215. return lhs & rhs
  1216. case BITWISE_OR:
  1217. return lhs | rhs
  1218. case BITWISE_XOR:
  1219. return lhs ^ rhs
  1220. default:
  1221. return invalidOpError(lhs, op, rhs)
  1222. }
  1223. default:
  1224. return invalidOpError(lhs, op, rhs)
  1225. }
  1226. case string:
  1227. rhss, ok := rhs.(string)
  1228. if !ok {
  1229. return invalidOpError(lhs, op, rhs)
  1230. }
  1231. switch op {
  1232. case EQ:
  1233. return lhs == rhss
  1234. case NEQ:
  1235. return lhs != rhss
  1236. case LT:
  1237. return lhs < rhss
  1238. case LTE:
  1239. return lhs <= rhss
  1240. case GT:
  1241. return lhs > rhss
  1242. case GTE:
  1243. return lhs >= rhss
  1244. default:
  1245. return invalidOpError(lhs, op, rhs)
  1246. }
  1247. case time.Time:
  1248. rt, err := common.InterfaceToTime(rhs, "")
  1249. if err != nil {
  1250. return invalidOpError(lhs, op, rhs)
  1251. }
  1252. switch op {
  1253. case EQ:
  1254. return lhs.Equal(rt)
  1255. case NEQ:
  1256. return !lhs.Equal(rt)
  1257. case LT:
  1258. return lhs.Before(rt)
  1259. case LTE:
  1260. return lhs.Before(rt) || lhs.Equal(rt)
  1261. case GT:
  1262. return lhs.After(rt)
  1263. case GTE:
  1264. return lhs.After(rt) || lhs.Equal(rt)
  1265. default:
  1266. return invalidOpError(lhs, op, rhs)
  1267. }
  1268. default:
  1269. return invalidOpError(lhs, op, rhs)
  1270. }
  1271. return invalidOpError(lhs, op, rhs)
  1272. }
  1273. func invalidOpError(lhs interface{}, op Token, rhs interface{}) error {
  1274. return fmt.Errorf("invalid operation %T %s %T", lhs, tokens[op], rhs)
  1275. }
  1276. func convertNum(para interface{}) interface{} {
  1277. if isInt(para) {
  1278. para = toInt64(para)
  1279. } else if isFloat(para) {
  1280. para = toFloat64(para)
  1281. }
  1282. return para
  1283. }
  1284. func isInt(para interface{}) bool {
  1285. switch para.(type) {
  1286. case int:
  1287. return true
  1288. case int8:
  1289. return true
  1290. case int16:
  1291. return true
  1292. case int32:
  1293. return true
  1294. case int64:
  1295. return true
  1296. }
  1297. return false
  1298. }
  1299. func toInt64(para interface{}) int64 {
  1300. if v, ok := para.(int); ok {
  1301. return int64(v)
  1302. } else if v, ok := para.(int8); ok {
  1303. return int64(v)
  1304. } else if v, ok := para.(int16); ok {
  1305. return int64(v)
  1306. } else if v, ok := para.(int32); ok {
  1307. return int64(v)
  1308. } else if v, ok := para.(int64); ok {
  1309. return v
  1310. }
  1311. return 0
  1312. }
  1313. func isFloat(para interface{}) bool {
  1314. switch para.(type) {
  1315. case float32:
  1316. return true
  1317. case float64:
  1318. return true
  1319. }
  1320. return false
  1321. }
  1322. func toFloat64(para interface{}) float64 {
  1323. if v, ok := para.(float32); ok {
  1324. return float64(v)
  1325. } else if v, ok := para.(float64); ok {
  1326. return v
  1327. }
  1328. return 0
  1329. }
  1330. func IsAggStatement(node Node) bool {
  1331. var r = false
  1332. WalkFunc(node, func(n Node) {
  1333. if f, ok := n.(*Call); ok {
  1334. if ok := isAggFunc(f); ok {
  1335. r = true
  1336. return
  1337. }
  1338. } else if d, ok := n.(Dimensions); ok {
  1339. ds := d.GetGroups()
  1340. if ds != nil && len(ds) > 0 {
  1341. r = true
  1342. return
  1343. }
  1344. }
  1345. })
  1346. return r
  1347. }
  1348. func isAggFunc(f *Call) bool {
  1349. fn := strings.ToLower(f.Name)
  1350. if _, ok := aggFuncMap[fn]; ok {
  1351. return true
  1352. } else if _, ok := strFuncMap[fn]; ok {
  1353. return false
  1354. } else if _, ok := convFuncMap[fn]; ok {
  1355. return false
  1356. } else if _, ok := hashFuncMap[fn]; ok {
  1357. return false
  1358. } else if _, ok := otherFuncMap[fn]; ok {
  1359. return false
  1360. } else if _, ok := mathFuncMap[fn]; ok {
  1361. return false
  1362. } else {
  1363. if nf, err := plugin_manager.GetPlugin(f.Name, "functions"); err == nil {
  1364. if ef, ok := nf.(api.Function); ok && ef.IsAggregate() {
  1365. return true
  1366. }
  1367. }
  1368. }
  1369. return false
  1370. }
  1371. func HasAggFuncs(node Node) bool {
  1372. if node == nil {
  1373. return false
  1374. }
  1375. var r = false
  1376. WalkFunc(node, func(n Node) {
  1377. if f, ok := n.(*Call); ok {
  1378. if ok := isAggFunc(f); ok {
  1379. r = true
  1380. return
  1381. }
  1382. }
  1383. })
  1384. return r
  1385. }
  1386. func HasNoAggFuncs(node Node) bool {
  1387. if node == nil {
  1388. return false
  1389. }
  1390. var r = false
  1391. WalkFunc(node, func(n Node) {
  1392. if f, ok := n.(*Call); ok {
  1393. if ok := isAggFunc(f); !ok {
  1394. r = true
  1395. return
  1396. }
  1397. }
  1398. })
  1399. return r
  1400. }