ast.go 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779
  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. case *CaseExpr:
  977. return v.evalCase(expr)
  978. default:
  979. return nil
  980. }
  981. }
  982. func (v *ValuerEval) evalBinaryExpr(expr *BinaryExpr) interface{} {
  983. lhs := v.Eval(expr.LHS)
  984. switch val := lhs.(type) {
  985. case map[string]interface{}:
  986. return v.evalJsonExpr(val, expr.OP, expr.RHS)
  987. case Message:
  988. return v.evalJsonExpr(map[string]interface{}(val), expr.OP, expr.RHS)
  989. case error:
  990. return val
  991. }
  992. if isSliceOrArray(lhs) {
  993. return v.evalJsonExpr(lhs, expr.OP, expr.RHS)
  994. }
  995. rhs := v.Eval(expr.RHS)
  996. if _, ok := rhs.(error); ok {
  997. return rhs
  998. }
  999. return v.simpleDataEval(lhs, rhs, expr.OP)
  1000. }
  1001. func (v *ValuerEval) evalCase(expr *CaseExpr) interface{} {
  1002. if expr.Value != nil { // compare value to all when clause
  1003. ev := v.Eval(expr.Value)
  1004. for _, w := range expr.WhenClauses {
  1005. wv := v.Eval(w.Expr)
  1006. switch r := v.simpleDataEval(ev, wv, EQ).(type) {
  1007. case error:
  1008. return fmt.Errorf("evaluate case expression error: %s", r)
  1009. case bool:
  1010. if r {
  1011. return v.Eval(w.Result)
  1012. }
  1013. }
  1014. }
  1015. } else {
  1016. for _, w := range expr.WhenClauses {
  1017. switch r := v.Eval(w.Expr).(type) {
  1018. case error:
  1019. return fmt.Errorf("evaluate case expression error: %s", r)
  1020. case bool:
  1021. if r {
  1022. return v.Eval(w.Result)
  1023. }
  1024. }
  1025. }
  1026. }
  1027. if expr.ElseClause != nil {
  1028. return v.Eval(expr.ElseClause)
  1029. }
  1030. return nil
  1031. }
  1032. func isSliceOrArray(v interface{}) bool {
  1033. kind := reflect.ValueOf(v).Kind()
  1034. return kind == reflect.Array || kind == reflect.Slice
  1035. }
  1036. func (v *ValuerEval) evalJsonExpr(result interface{}, op Token, expr Expr) interface{} {
  1037. switch op {
  1038. case ARROW:
  1039. if val, ok := result.(map[string]interface{}); ok {
  1040. switch e := expr.(type) {
  1041. case *FieldRef, *MetaRef:
  1042. ve := &ValuerEval{Valuer: Message(val)}
  1043. return ve.Eval(e)
  1044. default:
  1045. return fmt.Errorf("the right expression is not a field reference node")
  1046. }
  1047. } else {
  1048. return fmt.Errorf("the result %v is not a type of map[string]interface{}", result)
  1049. }
  1050. case SUBSET:
  1051. if isSliceOrArray(result) {
  1052. return v.subset(result, expr)
  1053. } else {
  1054. return fmt.Errorf("%v is an invalid operation for %T", op, result)
  1055. }
  1056. default:
  1057. return fmt.Errorf("%v is an invalid operation for %T", op, result)
  1058. }
  1059. }
  1060. func (v *ValuerEval) subset(result interface{}, expr Expr) interface{} {
  1061. val := reflect.ValueOf(result)
  1062. ber := v.Eval(expr)
  1063. if berVal, ok1 := ber.(*BracketEvalResult); ok1 {
  1064. if berVal.isIndex() {
  1065. if 0 > berVal.Start {
  1066. if 0 > berVal.Start+val.Len() {
  1067. return fmt.Errorf("out of index: %d of %d", berVal.Start, val.Len())
  1068. }
  1069. berVal.Start += val.Len()
  1070. } else if berVal.Start >= val.Len() {
  1071. return fmt.Errorf("out of index: %d of %d", berVal.Start, val.Len())
  1072. }
  1073. return val.Index(berVal.Start).Interface()
  1074. } else {
  1075. if 0 > berVal.Start {
  1076. if 0 > berVal.Start+val.Len() {
  1077. return fmt.Errorf("out of index: %d of %d", berVal.Start, val.Len())
  1078. }
  1079. berVal.Start += val.Len()
  1080. } else if berVal.Start >= val.Len() {
  1081. return fmt.Errorf("start value is out of index: %d of %d", berVal.Start, val.Len())
  1082. }
  1083. if math.MinInt32 == berVal.End {
  1084. berVal.End = val.Len()
  1085. } else if 0 > berVal.End {
  1086. if 0 > berVal.End+val.Len() {
  1087. return fmt.Errorf("out of index: %d of %d", berVal.End, val.Len())
  1088. }
  1089. berVal.End += val.Len()
  1090. } else if berVal.End > val.Len() {
  1091. return fmt.Errorf("end value is out of index: %d of %d", berVal.End, val.Len())
  1092. } else if berVal.Start >= berVal.End {
  1093. return fmt.Errorf("start cannot be greater than end. start:%d end:%d", berVal.Start, berVal.End)
  1094. }
  1095. return val.Slice(berVal.Start, berVal.End).Interface()
  1096. }
  1097. } else {
  1098. return fmt.Errorf("invalid evaluation result - %v", berVal)
  1099. }
  1100. }
  1101. //lhs and rhs are non-nil
  1102. func (v *ValuerEval) simpleDataEval(lhs, rhs interface{}, op Token) interface{} {
  1103. if lhs == nil || rhs == nil {
  1104. switch op {
  1105. case EQ, LTE, GTE:
  1106. if lhs == nil && rhs == nil {
  1107. return true
  1108. } else {
  1109. return false
  1110. }
  1111. case NEQ:
  1112. if lhs == nil && rhs == nil {
  1113. return false
  1114. } else {
  1115. return true
  1116. }
  1117. case LT, GT:
  1118. return false
  1119. default:
  1120. return nil
  1121. }
  1122. }
  1123. lhs = convertNum(lhs)
  1124. rhs = convertNum(rhs)
  1125. // Evaluate if both sides are simple types.
  1126. switch lhs := lhs.(type) {
  1127. case bool:
  1128. rhs, ok := rhs.(bool)
  1129. if !ok {
  1130. return invalidOpError(lhs, op, rhs)
  1131. }
  1132. switch op {
  1133. case AND:
  1134. return lhs && rhs
  1135. case OR:
  1136. return lhs || rhs
  1137. case BITWISE_AND:
  1138. return lhs && rhs
  1139. case BITWISE_OR:
  1140. return lhs || rhs
  1141. case BITWISE_XOR:
  1142. return lhs != rhs
  1143. case EQ:
  1144. return lhs == rhs
  1145. case NEQ:
  1146. return lhs != rhs
  1147. default:
  1148. return invalidOpError(lhs, op, rhs)
  1149. }
  1150. case float64:
  1151. // Try the rhs as a float64, int64, or uint64
  1152. rhsf, ok := rhs.(float64)
  1153. if !ok {
  1154. switch val := rhs.(type) {
  1155. case int64:
  1156. rhsf, ok = float64(val), true
  1157. case uint64:
  1158. rhsf, ok = float64(val), true
  1159. }
  1160. }
  1161. if !ok {
  1162. return invalidOpError(lhs, op, rhs)
  1163. }
  1164. rhs := rhsf
  1165. switch op {
  1166. case EQ:
  1167. return lhs == rhs
  1168. case NEQ:
  1169. return lhs != rhs
  1170. case LT:
  1171. return lhs < rhs
  1172. case LTE:
  1173. return lhs <= rhs
  1174. case GT:
  1175. return lhs > rhs
  1176. case GTE:
  1177. return lhs >= rhs
  1178. case ADD:
  1179. return lhs + rhs
  1180. case SUB:
  1181. return lhs - rhs
  1182. case MUL:
  1183. return lhs * rhs
  1184. case DIV:
  1185. if rhs == 0 {
  1186. return fmt.Errorf("divided by zero")
  1187. }
  1188. return lhs / rhs
  1189. case MOD:
  1190. if rhs == 0 {
  1191. return fmt.Errorf("divided by zero")
  1192. }
  1193. return math.Mod(lhs, rhs)
  1194. default:
  1195. return invalidOpError(lhs, op, rhs)
  1196. }
  1197. case int64:
  1198. // Try as a float64 to see if a float cast is required.
  1199. switch rhs := rhs.(type) {
  1200. case float64:
  1201. lhs := float64(lhs)
  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 rhs == 0 {
  1223. return fmt.Errorf("divided by zero")
  1224. }
  1225. return lhs / rhs
  1226. case MOD:
  1227. if rhs == 0 {
  1228. return fmt.Errorf("divided by zero")
  1229. }
  1230. return math.Mod(lhs, rhs)
  1231. default:
  1232. return invalidOpError(lhs, op, rhs)
  1233. }
  1234. case int64:
  1235. switch op {
  1236. case EQ:
  1237. return lhs == rhs
  1238. case NEQ:
  1239. return lhs != rhs
  1240. case LT:
  1241. return lhs < rhs
  1242. case LTE:
  1243. return lhs <= rhs
  1244. case GT:
  1245. return lhs > rhs
  1246. case GTE:
  1247. return lhs >= rhs
  1248. case ADD:
  1249. return lhs + rhs
  1250. case SUB:
  1251. return lhs - rhs
  1252. case MUL:
  1253. return lhs * rhs
  1254. case DIV:
  1255. if v.IntegerFloatDivision {
  1256. if rhs == 0 {
  1257. return fmt.Errorf("divided by zero")
  1258. }
  1259. return float64(lhs) / float64(rhs)
  1260. }
  1261. if rhs == 0 {
  1262. return fmt.Errorf("divided by zero")
  1263. }
  1264. return lhs / rhs
  1265. case MOD:
  1266. if rhs == 0 {
  1267. return fmt.Errorf("divided by zero")
  1268. }
  1269. return lhs % rhs
  1270. case BITWISE_AND:
  1271. return lhs & rhs
  1272. case BITWISE_OR:
  1273. return lhs | rhs
  1274. case BITWISE_XOR:
  1275. return lhs ^ rhs
  1276. default:
  1277. return invalidOpError(lhs, op, rhs)
  1278. }
  1279. case uint64:
  1280. switch op {
  1281. case EQ:
  1282. return uint64(lhs) == rhs
  1283. case NEQ:
  1284. return uint64(lhs) != rhs
  1285. case LT:
  1286. if lhs < 0 {
  1287. return true
  1288. }
  1289. return uint64(lhs) < rhs
  1290. case LTE:
  1291. if lhs < 0 {
  1292. return true
  1293. }
  1294. return uint64(lhs) <= rhs
  1295. case GT:
  1296. if lhs < 0 {
  1297. return false
  1298. }
  1299. return uint64(lhs) > rhs
  1300. case GTE:
  1301. if lhs < 0 {
  1302. return false
  1303. }
  1304. return uint64(lhs) >= rhs
  1305. case ADD:
  1306. return uint64(lhs) + rhs
  1307. case SUB:
  1308. return uint64(lhs) - rhs
  1309. case MUL:
  1310. return uint64(lhs) * rhs
  1311. case DIV:
  1312. if rhs == 0 {
  1313. return fmt.Errorf("divided by zero")
  1314. }
  1315. return uint64(lhs) / rhs
  1316. case MOD:
  1317. if rhs == 0 {
  1318. return fmt.Errorf("divided by zero")
  1319. }
  1320. return uint64(lhs) % rhs
  1321. case BITWISE_AND:
  1322. return uint64(lhs) & rhs
  1323. case BITWISE_OR:
  1324. return uint64(lhs) | rhs
  1325. case BITWISE_XOR:
  1326. return uint64(lhs) ^ rhs
  1327. default:
  1328. return invalidOpError(lhs, op, rhs)
  1329. }
  1330. default:
  1331. return invalidOpError(lhs, op, rhs)
  1332. }
  1333. case uint64:
  1334. // Try as a float64 to see if a float cast is required.
  1335. switch rhs := rhs.(type) {
  1336. case float64:
  1337. lhs := float64(lhs)
  1338. switch op {
  1339. case EQ:
  1340. return lhs == rhs
  1341. case NEQ:
  1342. return lhs != rhs
  1343. case LT:
  1344. return lhs < rhs
  1345. case LTE:
  1346. return lhs <= rhs
  1347. case GT:
  1348. return lhs > rhs
  1349. case GTE:
  1350. return lhs >= rhs
  1351. case ADD:
  1352. return lhs + rhs
  1353. case SUB:
  1354. return lhs - rhs
  1355. case MUL:
  1356. return lhs * rhs
  1357. case DIV:
  1358. if rhs == 0 {
  1359. return fmt.Errorf("divided by zero")
  1360. }
  1361. return lhs / rhs
  1362. case MOD:
  1363. if rhs == 0 {
  1364. return fmt.Errorf("divided by zero")
  1365. }
  1366. return math.Mod(lhs, rhs)
  1367. default:
  1368. return invalidOpError(lhs, op, rhs)
  1369. }
  1370. case int64:
  1371. switch op {
  1372. case EQ:
  1373. return lhs == uint64(rhs)
  1374. case NEQ:
  1375. return lhs != uint64(rhs)
  1376. case LT:
  1377. if rhs < 0 {
  1378. return false
  1379. }
  1380. return lhs < uint64(rhs)
  1381. case LTE:
  1382. if rhs < 0 {
  1383. return false
  1384. }
  1385. return lhs <= uint64(rhs)
  1386. case GT:
  1387. if rhs < 0 {
  1388. return true
  1389. }
  1390. return lhs > uint64(rhs)
  1391. case GTE:
  1392. if rhs < 0 {
  1393. return true
  1394. }
  1395. return lhs >= uint64(rhs)
  1396. case ADD:
  1397. return lhs + uint64(rhs)
  1398. case SUB:
  1399. return lhs - uint64(rhs)
  1400. case MUL:
  1401. return lhs * uint64(rhs)
  1402. case DIV:
  1403. if rhs == 0 {
  1404. return fmt.Errorf("divided by zero")
  1405. }
  1406. return lhs / uint64(rhs)
  1407. case MOD:
  1408. if rhs == 0 {
  1409. return fmt.Errorf("divided by zero")
  1410. }
  1411. return lhs % uint64(rhs)
  1412. case BITWISE_AND:
  1413. return lhs & uint64(rhs)
  1414. case BITWISE_OR:
  1415. return lhs | uint64(rhs)
  1416. case BITWISE_XOR:
  1417. return lhs ^ uint64(rhs)
  1418. default:
  1419. return invalidOpError(lhs, op, rhs)
  1420. }
  1421. case uint64:
  1422. switch op {
  1423. case EQ:
  1424. return lhs == rhs
  1425. case NEQ:
  1426. return lhs != rhs
  1427. case LT:
  1428. return lhs < rhs
  1429. case LTE:
  1430. return lhs <= rhs
  1431. case GT:
  1432. return lhs > rhs
  1433. case GTE:
  1434. return lhs >= rhs
  1435. case ADD:
  1436. return lhs + rhs
  1437. case SUB:
  1438. return lhs - rhs
  1439. case MUL:
  1440. return lhs * rhs
  1441. case DIV:
  1442. if rhs == 0 {
  1443. return fmt.Errorf("divided by zero")
  1444. }
  1445. return lhs / rhs
  1446. case MOD:
  1447. if rhs == 0 {
  1448. return fmt.Errorf("divided by zero")
  1449. }
  1450. return lhs % rhs
  1451. case BITWISE_AND:
  1452. return lhs & rhs
  1453. case BITWISE_OR:
  1454. return lhs | rhs
  1455. case BITWISE_XOR:
  1456. return lhs ^ rhs
  1457. default:
  1458. return invalidOpError(lhs, op, rhs)
  1459. }
  1460. default:
  1461. return invalidOpError(lhs, op, rhs)
  1462. }
  1463. case string:
  1464. rhss, ok := rhs.(string)
  1465. if !ok {
  1466. return invalidOpError(lhs, op, rhs)
  1467. }
  1468. switch op {
  1469. case EQ:
  1470. return lhs == rhss
  1471. case NEQ:
  1472. return lhs != rhss
  1473. case LT:
  1474. return lhs < rhss
  1475. case LTE:
  1476. return lhs <= rhss
  1477. case GT:
  1478. return lhs > rhss
  1479. case GTE:
  1480. return lhs >= rhss
  1481. default:
  1482. return invalidOpError(lhs, op, rhs)
  1483. }
  1484. case time.Time:
  1485. rt, err := common.InterfaceToTime(rhs, "")
  1486. if err != nil {
  1487. return invalidOpError(lhs, op, rhs)
  1488. }
  1489. switch op {
  1490. case EQ:
  1491. return lhs.Equal(rt)
  1492. case NEQ:
  1493. return !lhs.Equal(rt)
  1494. case LT:
  1495. return lhs.Before(rt)
  1496. case LTE:
  1497. return lhs.Before(rt) || lhs.Equal(rt)
  1498. case GT:
  1499. return lhs.After(rt)
  1500. case GTE:
  1501. return lhs.After(rt) || lhs.Equal(rt)
  1502. default:
  1503. return invalidOpError(lhs, op, rhs)
  1504. }
  1505. default:
  1506. return invalidOpError(lhs, op, rhs)
  1507. }
  1508. return invalidOpError(lhs, op, rhs)
  1509. }
  1510. func invalidOpError(lhs interface{}, op Token, rhs interface{}) error {
  1511. return fmt.Errorf("invalid operation %[1]T(%[1]v) %s %[3]T(%[3]v)", lhs, tokens[op], rhs)
  1512. }
  1513. func convertNum(para interface{}) interface{} {
  1514. if isInt(para) {
  1515. para = toInt64(para)
  1516. } else if isFloat(para) {
  1517. para = toFloat64(para)
  1518. }
  1519. return para
  1520. }
  1521. func isInt(para interface{}) bool {
  1522. switch para.(type) {
  1523. case int:
  1524. return true
  1525. case int8:
  1526. return true
  1527. case int16:
  1528. return true
  1529. case int32:
  1530. return true
  1531. case int64:
  1532. return true
  1533. }
  1534. return false
  1535. }
  1536. func toInt64(para interface{}) int64 {
  1537. if v, ok := para.(int); ok {
  1538. return int64(v)
  1539. } else if v, ok := para.(int8); ok {
  1540. return int64(v)
  1541. } else if v, ok := para.(int16); ok {
  1542. return int64(v)
  1543. } else if v, ok := para.(int32); ok {
  1544. return int64(v)
  1545. } else if v, ok := para.(int64); ok {
  1546. return v
  1547. }
  1548. return 0
  1549. }
  1550. func isFloat(para interface{}) bool {
  1551. switch para.(type) {
  1552. case float32:
  1553. return true
  1554. case float64:
  1555. return true
  1556. }
  1557. return false
  1558. }
  1559. func toFloat64(para interface{}) float64 {
  1560. if v, ok := para.(float32); ok {
  1561. return float64(v)
  1562. } else if v, ok := para.(float64); ok {
  1563. return v
  1564. }
  1565. return 0
  1566. }