ast.go 38 KB

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