ast.go 35 KB

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