Dekker1/iro-mzn
Archived
1
0
Fork 0
Code

Add numeric patterns

Browse Source
This commit is contained in:
Jip J. Dekker 2018-02-05 17:20:45 +11:00
parent 231b09ed29
commit 619b8b57af
No known key found for this signature in database
GPG Key ID: 9CB1B58997DD0D58
1 changed files with 29 additions and 51 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

80
minizinc.iro
View File

@ -78,53 +78,9 @@ contexts [] {
##############################################
main : context {
: pattern {
regex \= $${__MY_CONSTANT}
styles [] = .keyword;
}
: include "numeric" ;
: inline_push {
regex \= (\{)
styles [] = .punctuation;
: pop {
regex \= (\})
styles [] = .punctuation;
}
: include "main" ;
}
: pattern {
regex \= (;)
styles [] = .punctuation;
}
: inline_push {
regex \= (\")
styles [] = .punctuation;
default_style = .text
: pop {
regex \= (\")
styles [] = .punctuation;
}
}
: inline_push {
regex \= (\()
styles [] = .punctuation;
: pop {
regex \= (\))
styles [] = .punctuation;
}
: include "numeric" ;
: pattern {
regex \= (,)
styles [] = .punctuation;
}
}
#######################################
## Comment Patterns
#######################################
: include "multi_line_comment";
: pattern {
@ -132,10 +88,10 @@ main : context {
styles [] = .comment;
}
: pattern {
regex \= ([^\s])
styles [] = .illegal;
}
#######################################
## Literal Patterns
#######################################
: include "numeric";
}
@ -149,11 +105,33 @@ main : context {
numeric : context {
: pattern {
description = integer number
regex \= (\b\d+)
styles [] = .numeric;
}
: pattern {
description = octal integer number
regex \= (\b0o[0-7]+)
styles [] = .numeric;
}
: pattern {
description = hexadecimal number
regex \= (\b0x[0-9A-Fa-f]+)
styles [] = .numeric;
}
: pattern {
description = hexadecimal number
regex \= (\b0x[0-9A-Fa-f]+)
styles [] = .numeric;
}
: pattern {
description = floating point number
regex \= (\b\d+(.\d+|(.\d+)?[Ee][-+]?\d+))
styles [] = .numeric, .numeric, .numeric;
}
}
###########################################
## Multi Line Comment Context
###########################################