[17] | 1 | require 'rubygems'
|
---|
[265] | 2 | require 'logger'
|
---|
| 3 | require 'adl_parser.rb'
|
---|
[307] | 4 | require 'open_ehr'
|
---|
[283] | 5 | require 'util.rb'
|
---|
[17] | 6 |
|
---|
| 7 |
|
---|
[307] | 8 | module OpenEhr
|
---|
[17] | 9 | module ADL
|
---|
| 10 | module Scanner
|
---|
[314] | 11 | # LOGGER = Logger.new('log/scanner.log')
|
---|
| 12 | LOGGER = Logger.new('log/parser.log')
|
---|
[307] | 13 | LOGGER.level = Logger::DEBUG
|
---|
[265] | 14 |
|
---|
| 15 | class Base
|
---|
[283] | 16 | attr_accessor :adl_type, :lineno
|
---|
[265] | 17 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 18 | @adl_type = adl_type
|
---|
| 19 | @filename = filename
|
---|
| 20 | @lineno = lineno
|
---|
| 21 | end
|
---|
| 22 |
|
---|
| 23 | def scan(data)
|
---|
| 24 | raise
|
---|
| 25 | end
|
---|
| 26 | end
|
---|
| 27 |
|
---|
[283] | 28 | #
|
---|
| 29 | # ADLScanner
|
---|
| 30 | #
|
---|
| 31 | class ADLScanner < Base
|
---|
[314] | 32 | attr_accessor :adl_type, :lineno, :cadl_scanner, :dadl_scanner, :regex_scanner, :term_constraint_scanner
|
---|
[265] | 33 |
|
---|
[307] | 34 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log')
|
---|
[265] | 35 | RESERVED = {
|
---|
[283] | 36 | 'archetype' => :SYM_ARCHETYPE,
|
---|
| 37 | 'adl_version' => :SYM_ADL_VERSION,
|
---|
| 38 | 'controlled' => :SYM_IS_CONTROLLED,
|
---|
| 39 | 'specialize' => :SYM_SPECIALIZE,
|
---|
| 40 | 'concept' => :SYM_CONCEPT,
|
---|
| 41 | 'language' => :SYM_LANGUAGE,
|
---|
| 42 | 'description' => :SYM_DESCRIPTION,
|
---|
| 43 | 'definition' => :SYM_DEFINITION,
|
---|
| 44 | 'invariant' => :SYM_INVARIANT,
|
---|
| 45 | 'ontology' => :SYM_ONTOLOGY,
|
---|
| 46 | 'matches' => :SYM_MATCHES,
|
---|
| 47 | 'is_in' => :SYM_MATCHES,
|
---|
| 48 | 'occurrences' => :SYM_OCCURRENCES,
|
---|
[265] | 49 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 50 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
[283] | 51 | 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
[265] | 52 | }
|
---|
[324] | 53 | REGEX_PATTERN = Hash[:CarriageReturn => /\A\n/,
|
---|
| 54 | :WhiteSpace => /\A[ \t\r\f]+/,
|
---|
| 55 | :SingleCommentLine => /\A--.*/,
|
---|
| 56 | :V_ISO8601_DURATION => /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?|\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 57 | ]
|
---|
| 58 |
|
---|
[265] | 59 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 60 | super(adl_type, filename, lineno)
|
---|
[283] | 61 | @in_interval = false
|
---|
[265] | 62 | end
|
---|
| 63 |
|
---|
[283] | 64 | #
|
---|
| 65 | # ADLScanner#scan
|
---|
| 66 | #
|
---|
[265] | 67 | def scan(data)
|
---|
[283] | 68 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering ADLScanner#scan at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[265] | 69 | until data.nil? do
|
---|
[314] | 70 | case @adl_type.last
|
---|
| 71 | when :adl
|
---|
[265] | 72 | case data
|
---|
[324] | 73 | # when /\A\n/ # carriage return
|
---|
| 74 | when REGEX_PATTERN[:CarriageReturn] # carriage return
|
---|
[265] | 75 | @lineno += 1
|
---|
| 76 | ;
|
---|
[324] | 77 | # when /\A[ \t\r\f]+/ #just drop it
|
---|
| 78 | when REGEX_PATTERN[:WhiteSpace] # carriage return
|
---|
[265] | 79 | ;
|
---|
[324] | 80 | # when /\A--.*/ # single line comment
|
---|
| 81 | when REGEX_PATTERN[:SingleCommentLine] # carriage return
|
---|
[265] | 82 | @lineno += 1
|
---|
[283] | 83 | @@logger.debug("ADLScanner#scan: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
[265] | 84 | ;
|
---|
[317] | 85 | when /\Adescription/ # description
|
---|
[283] | 86 | yield :SYM_DESCRIPTION, :SYM_DESCRIPTION
|
---|
[317] | 87 | when /\Adefinition/ # definition
|
---|
[283] | 88 | yield :SYM_DEFINITION, :SYM_DEFINITION
|
---|
| 89 | ###----------/* symbols */ -------------------------------------------------
|
---|
| 90 | when /\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 91 | yield :V_TYPE_IDENTIFIER, $&
|
---|
| 92 | when /\A(\w+)-(\w+)-(\w+)\.(\w+)((?:-\w+)*)\.(v\w+)/ #V_ARCHETYPE_ID
|
---|
| 93 | object_id, rm_originator, rm_name, rm_entity, concept_name, specialisation, version_id = $&, $1, $2, $3, $4, $5, $6
|
---|
[323] | 94 | archetype_id = OpenEhr::RM::Support::Identification::ArchetypeID.new(:concept_name => concept_name, :rm_name => rm_name, :rm_entity => rm_entity, :rm_originator => rm_originator, :specialisation => specialisation, :version_id => version_id)
|
---|
[283] | 95 | yield :V_ARCHETYPE_ID, archetype_id
|
---|
| 96 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 97 | word = $&
|
---|
| 98 | if RESERVED[word]
|
---|
| 99 | @@logger.debug("ADLScanner#scan: RESERVED = #{RESERVED[word]} at #{@filename}:#{@lineno}")
|
---|
| 100 | yield RESERVED[word], RESERVED[word]
|
---|
| 101 | elsif #/\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 102 | @@logger.debug("ADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{$&} at #{@filename}:#{@lineno}")
|
---|
| 103 | yield :V_ATTRIBUTE_IDENTIFIER, $&
|
---|
| 104 | end
|
---|
[265] | 105 | when /\A\=/ # =
|
---|
| 106 | yield :SYM_EQ, :SYM_EQ
|
---|
| 107 | when /\A\>=/ # >=
|
---|
| 108 | yield :SYM_GE, :SYM_GE
|
---|
| 109 | when /\A\<=/ # <=
|
---|
| 110 | yield :SYM_LE, :SYM_LE
|
---|
| 111 | when /\A\</ # <
|
---|
| 112 | if @in_interval
|
---|
| 113 | yield :SYM_LT, :SYM_LT
|
---|
| 114 | else
|
---|
[314] | 115 | @adl_type.push(:dadl)
|
---|
[265] | 116 | yield :SYM_START_DBLOCK, $&
|
---|
| 117 | end
|
---|
| 118 | when /\A\>/ # >
|
---|
| 119 | if @in_interval
|
---|
| 120 | yield :SYM_GT, :SYM_GT
|
---|
| 121 | else
|
---|
| 122 | adl_type = @adl_type.pop
|
---|
| 123 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 124 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 125 | end
|
---|
[283] | 126 | when /\A\{/ # {
|
---|
[314] | 127 | @adl_type.push(:cadl)
|
---|
| 128 | @@logger.debug("ADLScanner#scan: SYM_START_CBLOCK")
|
---|
[283] | 129 | yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
|
---|
| 130 | when /\A\}/ # }
|
---|
| 131 | adl_type = @adl_type.pop
|
---|
| 132 | assert_at(__FILE__,__LINE__){adl_type == :cadl}
|
---|
| 133 | @@logger.debug("ADLScanner#scan: SYM_END_CBLOCK")
|
---|
| 134 | yield :SYM_END_CBLOCK, $&
|
---|
[265] | 135 | when /\A\-/ # -
|
---|
| 136 | yield :Minus_code, :Minus_code
|
---|
| 137 | when /\A\+/ # +
|
---|
| 138 | yield :Plus_code, :Plus_code
|
---|
| 139 | when /\A\*/ # *
|
---|
| 140 | yield :Star_code, :Star_code
|
---|
| 141 | when /\A\// # /
|
---|
| 142 | yield :Slash_code, :Slash_code
|
---|
| 143 | when /\A\^/ # ^
|
---|
| 144 | yield :Caret_code, :Caret_code
|
---|
[283] | 145 | when /\A\=/ # =
|
---|
| 146 | yield :Equal_code, :Equal_code
|
---|
[265] | 147 | when /\A\.\.\./ # ...
|
---|
| 148 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 149 | when /\A\.\./ # ..
|
---|
| 150 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 151 | when /\A\./ # .
|
---|
| 152 | yield :Dot_code, :Dot_code
|
---|
| 153 | when /\A\;/ # ;
|
---|
| 154 | yield :Semicolon_code, :Semicolon_code
|
---|
| 155 | when /\A\,/ # ,
|
---|
| 156 | yield :Comma_code, :Comma_code
|
---|
| 157 | when /\A\:/ # :
|
---|
| 158 | yield :Colon_code, :Colon_code
|
---|
| 159 | when /\A\!/ # !
|
---|
| 160 | yield :Exclamation_code, :Exclamation_code
|
---|
| 161 | when /\A\(/ # (
|
---|
| 162 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 163 | when /\A\)/ # )
|
---|
| 164 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
| 165 | when /\A\$/ # $
|
---|
| 166 | yield :Dollar_code, :Dollar_code
|
---|
| 167 | when /\A\?\?/ # ??
|
---|
| 168 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 169 | when /\A\?/ # ?
|
---|
| 170 | yield :Question_mark_code, :Question_mark_code
|
---|
[283] | 171 | when /\A[0-9]+\.[0-9]+(\.[0-9]+)*/ # ?
|
---|
| 172 | yield :V_VERSION_STRING, $&
|
---|
[265] | 173 | when /\A\|/ # |
|
---|
| 174 | if @in_interval
|
---|
| 175 | @in_interval = false
|
---|
| 176 | else
|
---|
| 177 | @in_interval = true
|
---|
| 178 | end
|
---|
| 179 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 180 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form such as [ICD10AM(1998)::F23]
|
---|
| 181 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
[307] | 182 | when /\A\[([a-zA-Z0-9][a-zA-Z0-9._\-]*)\]/ #V_LOCAL_TERM_CODE_REF
|
---|
| 183 | yield :V_LOCAL_TERM_CODE_REF, $1
|
---|
[265] | 184 | when /\A\[/ # [
|
---|
| 185 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 186 | when /\A\]/ # ]
|
---|
| 187 | yield :Right_bracket_code, :Right_bracket_code
|
---|
[283] | 188 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 189 | yield :V_STRING, $1
|
---|
| 190 | when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
|
---|
| 191 | yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
|
---|
[265] | 192 | when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
|
---|
| 193 | yield :V_LOCAL_CODE, $&
|
---|
| 194 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})?|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z|+/- -n-n-n-n-]-
|
---|
| 195 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
| 196 | when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?|[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})? / #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z|+/-nnnn]
|
---|
| 197 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
| 198 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]|[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
|
---|
| 199 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
[283] | 200 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 201 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
[265] | 202 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
[283] | 203 | @@logger.debug("ADLScanner#scan: V_INTEGER = #{$&}")
|
---|
[265] | 204 | yield :V_INTEGER, $&
|
---|
| 205 | when /\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
|
---|
| 206 | yield :V_REAL, $&
|
---|
[283] | 207 | # when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
[265] | 208 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 209 | yield :V_URI, $&
|
---|
[320] | 210 | when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
[283] | 211 | yield :V_ISO8601_DURATION, $&
|
---|
[320] | 212 | when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 213 | yield :V_ISO8601_DURATION, $&
|
---|
[265] | 214 | when /\A\S/ #UTF8CHAR
|
---|
| 215 | yield :UTF8CHAR, $&
|
---|
| 216 | end
|
---|
| 217 | data = $' # variable $' receives the string after the match
|
---|
[314] | 218 | when :dadl
|
---|
| 219 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 220 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
[283] | 221 | yield sym, val
|
---|
| 222 | end
|
---|
[314] | 223 | when :cadl
|
---|
| 224 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 225 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 226 | yield sym, val
|
---|
| 227 | end
|
---|
| 228 | when :regexp
|
---|
| 229 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
| 230 | data = regex_scanner.scan(data) do |sym, val|
|
---|
| 231 | yield sym, val
|
---|
| 232 | end
|
---|
| 233 | when :term_constraint
|
---|
| 234 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
| 235 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 236 | yield sym, val
|
---|
| 237 | end
|
---|
| 238 | else
|
---|
| 239 | raise
|
---|
[265] | 240 | end
|
---|
[283] | 241 | end
|
---|
[265] | 242 | end
|
---|
[283] | 243 | end # of ADLScanner
|
---|
[265] | 244 |
|
---|
[283] | 245 | #
|
---|
| 246 | # DADLScanner
|
---|
| 247 | #
|
---|
[324] | 248 | class DADLScanner < ADLScanner
|
---|
[314] | 249 | attr_accessor :in_interval, :in_c_domain_type, :dblock_depth
|
---|
[307] | 250 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log')
|
---|
[265] | 251 | RESERVED = {
|
---|
| 252 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 253 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
| 254 | 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 255 | }
|
---|
| 256 |
|
---|
[314] | 257 | def initialize(adl_type, filename, lineno = 1)
|
---|
[265] | 258 | super(adl_type, filename, lineno)
|
---|
[283] | 259 | @in_interval = false
|
---|
[265] | 260 | @in_c_domain_type = false
|
---|
[314] | 261 | @dblock_depth = 0
|
---|
[265] | 262 | end
|
---|
| 263 |
|
---|
[283] | 264 | #
|
---|
| 265 | # DADLScanner#scan
|
---|
| 266 | #
|
---|
[265] | 267 | def scan(data)
|
---|
[314] | 268 | @@logger.debug("Entering DADLScanner#scan at #{@filename}:#{@lineno}: @adl_type = #{@adl_type.inspect}, data = #{data.inspect}")
|
---|
[265] | 269 | until data.nil? do
|
---|
[314] | 270 | @@logger.debug("#{@filename}:#{@lineno}: DADLScanner#scan:loop data = #{data.inspect}")
|
---|
| 271 | @@logger.debug("#{@filename}:#{@lineno}: DADLScanner#scan:loop self = \n#{self.to_yaml}")
|
---|
| 272 | case @adl_type.last
|
---|
| 273 | when :dadl
|
---|
[265] | 274 | case data
|
---|
[324] | 275 | # when /\A\n/ # carriage return
|
---|
| 276 | when REGEX_PATTERN[:CarriageReturn] # carriage return
|
---|
[265] | 277 | @lineno += 1
|
---|
| 278 | ;
|
---|
[324] | 279 | # when /\A[ \t\r\f]+/ #just drop it
|
---|
| 280 | when REGEX_PATTERN[:WhiteSpace]
|
---|
[315] | 281 | ##@@logger.debug("DADLScanner#scan: white space, data = #{data.inspect}")
|
---|
[265] | 282 | ;
|
---|
[324] | 283 | # when /\A--.*/ # single line comment
|
---|
| 284 | when REGEX_PATTERN[:SingleCommentLine]
|
---|
[283] | 285 | @@logger.debug("DADLScanner#scan: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
[265] | 286 | ;
|
---|
[318] | 287 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 288 | yield :V_URI, $&
|
---|
[283] | 289 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 290 | word = $&.dup
|
---|
| 291 | if RESERVED[word.downcase]
|
---|
| 292 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 293 | else
|
---|
| 294 | @@logger.debug("DADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}:#{@lineno}")
|
---|
| 295 | yield :V_ATTRIBUTE_IDENTIFIER, word #V_ATTRIBUTE_IDENTIFIER /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 296 | end
|
---|
[265] | 297 | ###----------/* symbols */ -------------------------------------------------
|
---|
| 298 | when /\A\=/ # =
|
---|
| 299 | yield :SYM_EQ, :SYM_EQ
|
---|
| 300 | when /\A\>\=/ # >=
|
---|
| 301 | yield :SYM_GE, :SYM_GE
|
---|
| 302 | when /\A\<\=/ # <=
|
---|
| 303 | yield :SYM_LE, :SYM_LE
|
---|
| 304 | when /\A\</ # <
|
---|
| 305 | if @in_interval
|
---|
| 306 | yield :SYM_LT, :SYM_LT
|
---|
| 307 | else
|
---|
[314] | 308 | unless @in_c_domain_type
|
---|
| 309 | @adl_type.push(:dadl)
|
---|
| 310 | else
|
---|
| 311 | @dblock_depth += 1
|
---|
| 312 | end
|
---|
[265] | 313 | yield :SYM_START_DBLOCK, :SYM_START_DBLOCK
|
---|
| 314 | end
|
---|
| 315 | when /\A\>/ # >
|
---|
| 316 | if @in_interval
|
---|
| 317 | yield :SYM_GT, :SYM_GT
|
---|
[314] | 318 | else
|
---|
| 319 | if @in_c_domain_type
|
---|
| 320 | assert_at(__FILE__,__LINE__){@adl_type.last == :dadl}
|
---|
| 321 | @dblock_depth -= 1
|
---|
| 322 | if @dblock_depth < 0
|
---|
| 323 | @adl_type.pop
|
---|
| 324 | @in_c_domain_type = false
|
---|
| 325 | yield :END_V_C_DOMAIN_TYPE_BLOCK, :END_V_C_DOMAIN_TYPE_BLOCK
|
---|
| 326 | else
|
---|
| 327 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 328 | end
|
---|
[265] | 329 | else
|
---|
[314] | 330 | adl_type = @adl_type.pop
|
---|
| 331 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 332 | yield :SYM_END_DBLOCK, $&
|
---|
[265] | 333 | end
|
---|
| 334 | end
|
---|
| 335 | when /\A\-/ # -
|
---|
| 336 | yield :Minus_code, :Minus_code
|
---|
| 337 | when /\A\+/ # +
|
---|
| 338 | yield :Plus_code, :Plus_code
|
---|
| 339 | when /\A\*/ # *
|
---|
| 340 | yield :Star_code, :Star_code
|
---|
| 341 | when /\A\// # /
|
---|
| 342 | yield :Slash_code, :Slash_code
|
---|
| 343 | when /\A\^/ # ^
|
---|
| 344 | yield :Caret_code, :Caret_code
|
---|
| 345 | when /\A\.\.\./ # ...
|
---|
| 346 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 347 | when /\A\.\./ # ..
|
---|
| 348 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 349 | when /\A\./ # .
|
---|
| 350 | yield :Dot_code, :Dot_code
|
---|
| 351 | when /\A\;/ # ;
|
---|
| 352 | yield :Semicolon_code, :Semicolon_code
|
---|
| 353 | when /\A\,/ # ,
|
---|
[317] | 354 | @@logger.debug("DADLScanner#scan: Comma_code")
|
---|
[265] | 355 | yield :Comma_code, :Comma_code
|
---|
| 356 | when /\A\:/ # :
|
---|
| 357 | yield :Colon_code, :Colon_code
|
---|
| 358 | when /\A\!/ # !
|
---|
| 359 | yield :Exclamation_code, :Exclamation_code
|
---|
| 360 | when /\A\(/ # (
|
---|
| 361 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 362 | when /\A\)/ # )
|
---|
| 363 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
| 364 | when /\A\$/ # $
|
---|
| 365 | yield :Dollar_code, :Dollar_code
|
---|
| 366 | when /\A\?\?/ # ??
|
---|
| 367 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 368 | when /\A\?/ # ?
|
---|
| 369 | yield :Question_mark_code, :Question_mark_code
|
---|
| 370 | when /\A\|/ # |
|
---|
[283] | 371 | @@logger.debug("DADLScanner#scan: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
|
---|
[265] | 372 | if @in_interval
|
---|
| 373 | @in_interval = false
|
---|
| 374 | else
|
---|
| 375 | @in_interval = true
|
---|
| 376 | end
|
---|
[283] | 377 | @@logger.debug("DADLScanner#scan: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
|
---|
[265] | 378 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 379 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
|
---|
| 380 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
[265] | 381 | when /\A\[/ # [
|
---|
[283] | 382 | @@logger.debug("DADLScanner#scan: Left_bracket_code at #{@filename}:#{@lineno}")
|
---|
[265] | 383 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 384 | when /\A\]/ # ]
|
---|
[283] | 385 | @@logger.debug("DADLScanner#scan: Right_bracket_code at #{@filename}:#{@lineno}")
|
---|
[265] | 386 | yield :Right_bracket_code, :Right_bracket_code
|
---|
[318] | 387 | when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
| 388 | @@logger.debug("DADLScanner#scan: V_STRING, #{$1}")
|
---|
| 389 | yield :V_STRING, $1
|
---|
| 390 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 391 | @@logger.debug("DADLScanner#scan: V_STRING, #{$1}")
|
---|
| 392 | yield :V_STRING, $1
|
---|
[265] | 393 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})?|[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z|+/- -n-n-n-n-]-
|
---|
[283] | 394 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_DATE_TIME")
|
---|
[265] | 395 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
| 396 | when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?|[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})? / #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z|+/-nnnn]
|
---|
[283] | 397 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_TIME")
|
---|
[265] | 398 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
[283] | 399 | when /\A\d{4}-[0-1][0-9]-[0-3][0-9]|[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
|
---|
| 400 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_DATE, #{$&}")
|
---|
[265] | 401 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
| 402 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 403 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
[315] | 404 | when /\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
|
---|
| 405 | yield :V_REAL, $&
|
---|
[265] | 406 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
[283] | 407 | @@logger.debug("DADLScanner#scan: V_INTEGER = #{$&}")
|
---|
[265] | 408 | yield :V_INTEGER, $&
|
---|
| 409 | when /\A\S/ #UTF8CHAR
|
---|
| 410 | yield :UTF8CHAR, $&
|
---|
| 411 | end
|
---|
| 412 | data = $' # variable $' receives the string after the match
|
---|
| 413 | when :adl
|
---|
[307] | 414 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 415 | data = adl_scanner.scan(data) do |sym, val|
|
---|
[265] | 416 | yield sym, val
|
---|
| 417 | end
|
---|
[283] | 418 | when :cadl
|
---|
[307] | 419 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 420 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
[265] | 421 | yield sym, val
|
---|
| 422 | end
|
---|
[283] | 423 | when :regexp
|
---|
[307] | 424 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 425 | data = regex_scanner.scan(data) do |sym, val|
|
---|
[265] | 426 | yield sym, val
|
---|
| 427 | end
|
---|
| 428 | when :term_constraint
|
---|
[283] | 429 | @@logger.debug("#{__FILE__}:#{__LINE__}: scan_dadl: Entering scan_term_constraint at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[307] | 430 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 431 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
[265] | 432 | yield sym, val
|
---|
| 433 | end
|
---|
| 434 | else
|
---|
| 435 | raise
|
---|
| 436 | end
|
---|
| 437 | end
|
---|
| 438 | end
|
---|
[283] | 439 | end # of DADLScanner
|
---|
[265] | 440 |
|
---|
[324] | 441 | class CADLScanner < ADLScanner
|
---|
[265] | 442 |
|
---|
[307] | 443 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[265] | 444 | RESERVED = {
|
---|
[283] | 445 | 'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
|
---|
| 446 | 'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
|
---|
| 447 | 'and' => :SYM_AND, # [Aa][Nn][Dd]
|
---|
| 448 | 'or' => :SYM_OR, # [Oo][Rr]
|
---|
| 449 | 'xor' => :SYM_XOR, # [Xx][Oo][Rr]
|
---|
| 450 | 'not' => :SYM_NOT, # [Nn][Oo][Tt]
|
---|
| 451 | 'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
|
---|
[265] | 452 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 453 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
[283] | 454 | 'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
|
---|
| 455 | 'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
|
---|
| 456 | 'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
|
---|
| 457 | 'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
|
---|
| 458 | 'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
|
---|
| 459 | 'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 460 | 'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 461 | 'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
|
---|
| 462 | 'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
|
---|
| 463 | 'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
|
---|
| 464 | 'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
|
---|
| 465 | 'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 466 | 'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
|
---|
| 467 | 'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 468 | 'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 469 | 'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
|
---|
| 470 | 'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
|
---|
[265] | 471 | }
|
---|
| 472 |
|
---|
| 473 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 474 | super(adl_type, filename, lineno)
|
---|
[283] | 475 | @in_interval = false
|
---|
[265] | 476 | end
|
---|
| 477 |
|
---|
[283] | 478 | #
|
---|
| 479 | # CADLScanner#scan
|
---|
| 480 | #
|
---|
[265] | 481 | def scan(data)
|
---|
[283] | 482 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering CADLScanner#scan at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[265] | 483 | until data.nil? do
|
---|
[283] | 484 | @@logger.debug("CADLScanner#scan: loop data = #{data.inspect}")
|
---|
[265] | 485 | case @adl_type.last
|
---|
| 486 | when :cadl
|
---|
| 487 | case data
|
---|
[324] | 488 | # when /\A\n/ # carriage return
|
---|
| 489 | when REGEX_PATTERN[:CarriageReturn] # carriage return
|
---|
[265] | 490 | @lineno += 1
|
---|
| 491 | ;
|
---|
[283] | 492 | #yield :CR, :CR
|
---|
[324] | 493 | # when /\A[ \t\r\f]+/ #just drop it
|
---|
| 494 | when REGEX_PATTERN[:WhiteSpace]
|
---|
[265] | 495 | ;
|
---|
[324] | 496 | # when /\A--.*\n/ # single line comment
|
---|
| 497 | when REGEX_PATTERN[:SingleCommentLine]
|
---|
[265] | 498 | @lineno += 1
|
---|
| 499 | ;
|
---|
[283] | 500 | ###----------/* symbols */ -------------------------------------------------
|
---|
[265] | 501 | when /\A\=/ # =
|
---|
| 502 | yield :SYM_EQ, :SYM_EQ
|
---|
| 503 | when /\A\>=/ # >=
|
---|
| 504 | yield :SYM_GE, :SYM_GE
|
---|
| 505 | when /\A\<=/ # <=
|
---|
| 506 | yield :SYM_LE, :SYM_LE
|
---|
| 507 | when /\A\</ # <
|
---|
[283] | 508 | if @in_interval
|
---|
[265] | 509 | yield :SYM_LT, :SYM_LT
|
---|
[283] | 510 | else
|
---|
[265] | 511 | @adl_type.push(:dadl)
|
---|
| 512 | yield :SYM_START_DBLOCK, $&
|
---|
| 513 | end
|
---|
| 514 | when /\A\>/ # >
|
---|
| 515 | if @in_interval
|
---|
| 516 | yield :SYM_GT, :SYM_GT
|
---|
| 517 | else
|
---|
| 518 | adl_type = @adl_type.pop
|
---|
| 519 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 520 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 521 | end
|
---|
| 522 | when /\A\-/ # -
|
---|
| 523 | yield :Minus_code, :Minus_code
|
---|
| 524 | when /\A\+/ # +
|
---|
| 525 | yield :Plus_code, :Plus_code
|
---|
[321] | 526 | when /\A\=/ # =
|
---|
| 527 | yield :Equal_code, :Equal_code
|
---|
[265] | 528 | when /\A\*/ # *
|
---|
| 529 | yield :Star_code, :Star_code
|
---|
| 530 | when /\A\^/ # ^
|
---|
| 531 | yield :Caret_code, :Caret_code
|
---|
| 532 | when /\A\.\.\./ # ...
|
---|
| 533 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 534 | when /\A\.\./ # ..
|
---|
| 535 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 536 | when /\A\./ # .
|
---|
| 537 | yield :Dot_code, :Dot_code
|
---|
| 538 | when /\A\;/ # ;
|
---|
| 539 | yield :Semicolon_code, :Semicolon_code
|
---|
| 540 | when /\A\,/ # ,
|
---|
| 541 | yield :Comma_code, :Comma_code
|
---|
| 542 | when /\A\:/ # :
|
---|
| 543 | yield :Colon_code, :Colon_code
|
---|
| 544 | when /\A\!/ # !
|
---|
| 545 | yield :Exclamation_code, :Exclamation_code
|
---|
| 546 | when /\A\(/ # (
|
---|
| 547 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 548 | when /\A\)/ # )
|
---|
| 549 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
[320] | 550 | when /\A\// # /
|
---|
[321] | 551 | @@logger.debug("CADLScanner#scan: Slash_code #{@filename}:#{@lineno}")
|
---|
[320] | 552 | yield :Slash_code, :Slash_code
|
---|
[321] | 553 | when /\A\{\// # REGEXP_HEAD {/
|
---|
| 554 | assert_at(__FILE__,__LINE__){ @adl_type.last != :regexp}
|
---|
| 555 | # @in_regexp = true
|
---|
| 556 | @@logger.debug("CADLScanner#scan: REGEXP_HEAD:")
|
---|
| 557 | @adl_type.push(:cadl)
|
---|
| 558 | @adl_type.push(:regexp)
|
---|
| 559 | # yield :START_REGEXP_BLOCK, :START_REGEXP_BLOCK
|
---|
| 560 | yield :REGEXP_HEAD, :REGEXP_HEAD
|
---|
[283] | 561 | when /\A\{/ # {
|
---|
| 562 | @adl_type.push(:cadl)
|
---|
[321] | 563 | #@@logger.debug("CADLScanner#scan: entering cADL at #{@filename}:#{@lineno}")
|
---|
[283] | 564 | yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
|
---|
| 565 | when /\A\}/ # }
|
---|
| 566 | adl_type = @adl_type.pop
|
---|
| 567 | assert_at(__FILE__,__LINE__){adl_type == :cadl}
|
---|
| 568 | @@logger.debug("CADLScanner#scan: exiting cADL at #{@filename}:#{@lineno}")
|
---|
| 569 | yield :SYM_END_CBLOCK, :SYM_END_CBLOCK
|
---|
[265] | 570 | when /\A\$/ # $
|
---|
| 571 | yield :Dollar_code, :Dollar_code
|
---|
| 572 | when /\A\?\?/ # ??
|
---|
| 573 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 574 | when /\A\?/ # ?
|
---|
| 575 | yield :Question_mark_code, :Question_mark_code
|
---|
| 576 | when /\A\|/ # |
|
---|
| 577 | if @in_interval
|
---|
| 578 | @in_interval = false
|
---|
| 579 | else
|
---|
| 580 | @in_interval = true
|
---|
| 581 | end
|
---|
[320] | 582 | @@logger.debug("CADLScanner#scan: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
|
---|
[283] | 583 | @@logger.debug("CADLScanner#scan: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
|
---|
[265] | 584 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 585 |
|
---|
| 586 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
|
---|
| 587 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
| 588 | when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
|
---|
| 589 | yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
|
---|
| 590 | when /\A\[([a-zA-Z0-9\(\)\._\-]+)::[ \t\n]*/
|
---|
| 591 | @adl_type.push(:term_constraint)
|
---|
| 592 | yield :START_TERM_CODE_CONSTRAINT, $1
|
---|
[307] | 593 | when /\A\[([a-zA-Z0-9][a-zA-Z0-9._\-]*)\]/ #V_LOCAL_TERM_CODE_REF
|
---|
| 594 | yield :V_LOCAL_TERM_CODE_REF, $1
|
---|
[265] | 595 | when /\A\[/ # [
|
---|
| 596 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 597 | when /\A\]/ # ]
|
---|
| 598 | yield :Right_bracket_code, :Right_bracket_code
|
---|
[283] | 599 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 600 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
[320] | 601 | when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X][Tt][hH?X][hH?X]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
[283] | 602 | yield :V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN, $&
|
---|
| 603 | when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X]/
|
---|
| 604 | yield :V_ISO8601_DATE_CONSTRAINT_PATTERN, $&
|
---|
| 605 | when /\A[hH][hH]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
| 606 | yield :V_ISO8601_TIME_CONSTRAINT_PATTERN, $&
|
---|
[320] | 607 | when /\AP[yY]?[mM]?[wW]?[dD]?T[hH]?[mM]?[sS]?/ #V_ISO8601_DURATION_CONSTRAINT_PATTERN
|
---|
| 608 | if $&.length == 2
|
---|
| 609 | case data
|
---|
| 610 | when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9.]+[sS])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 611 | yield :V_ISO8601_DURATION, $&
|
---|
| 612 | else
|
---|
| 613 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
| 614 | end
|
---|
| 615 | else
|
---|
| 616 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
| 617 | end
|
---|
| 618 | when /\AP[yY]?[mM]?[wW]?[dD]?/ #V_ISO8601_DURATION_CONSTRAINT_PATTERN
|
---|
| 619 | if $&.length == 1
|
---|
| 620 | case data
|
---|
| 621 | when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 622 | yield :V_ISO8601_DURATION, $&
|
---|
| 623 | else
|
---|
| 624 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
| 625 | end
|
---|
| 626 | else
|
---|
| 627 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
| 628 | end
|
---|
| 629 | when /\AP[yY]?[mM]?[wW]?[dD]?/ #V_ISO8601_DURATION_CONSTRAINT_PATTERN
|
---|
[283] | 630 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
[321] | 631 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
[283] | 632 | word = $&.dup
|
---|
| 633 | if RESERVED[word.downcase]
|
---|
[321] | 634 | @@logger.debug("ADLScanner#scan: RESERVED = #{RESERVED[word]} at #{@filename}:#{@lineno}")
|
---|
[283] | 635 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 636 | else
|
---|
| 637 | @@logger.debug("CADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}:#{@lineno}")
|
---|
| 638 | yield :V_ATTRIBUTE_IDENTIFIER, word #V_ATTRIBUTE_IDENTIFIER /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 639 | end
|
---|
[307] | 640 | when /\A([A-Z][a-zA-Z0-9_]*)[ \n]*\</ # V_C_DOMAIN_TYPE
|
---|
| 641 | @in_c_domain_type = true
|
---|
| 642 | @adl_type.push(:dadl)
|
---|
| 643 | yield :START_V_C_DOMAIN_TYPE_BLOCK, $1
|
---|
[283] | 644 | when /\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 645 | word = $&.dup
|
---|
| 646 | if RESERVED[word.downcase]
|
---|
| 647 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 648 | else
|
---|
| 649 | yield :V_TYPE_IDENTIFIER, $&
|
---|
| 650 | end
|
---|
[265] | 651 | when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
|
---|
| 652 | yield :V_LOCAL_CODE, $&
|
---|
[320] | 653 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_DATE_TIME YYYY-MM-DDThh:mm:ss[,sss][Z|+/- -n-n-n-n-]-
|
---|
[265] | 654 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
[320] | 655 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})?/
|
---|
| 656 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
[321] | 657 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]T[0-2][0-9](Z|[+-][0-9]{4})?/
|
---|
[320] | 658 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
[321] | 659 | when /\A[0-2][0-9]:[0-6][0-9]:[0-6][0-9](,[0-9]+)?(Z|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z|+/-nnnn]
|
---|
[265] | 660 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
[321] | 661 | when /\A[0-2][0-9]:[0-6][0-9](Z|[+-][0-9]{4})?/ #V_ISO8601_EXTENDED_TIME hh:mm:ss[,sss][Z|+/-nnnn]
|
---|
| 662 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
[320] | 663 | when /\A[0-9]{4}-[0-1][0-9]-[0-3][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
|
---|
[265] | 664 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
[320] | 665 | when /\A[0-9]{4}-[0-1][0-9]/ #V_ISO8601_EXTENDED_DATE YYYY-MM-DD
|
---|
| 666 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
[283] | 667 | when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
| 668 | yield :V_STRING, $1
|
---|
| 669 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 670 | yield :V_STRING, $1
|
---|
[315] | 671 | when /\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
|
---|
| 672 | yield :V_REAL, $&
|
---|
| 673 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
| 674 | @@logger.debug("CADLScanner#scan: V_INTEGER = #{$&}")
|
---|
| 675 | yield :V_INTEGER, $&
|
---|
[265] | 676 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 677 | yield :V_URI, $&
|
---|
| 678 | when /\A\S/ #UTF8CHAR
|
---|
| 679 | yield :UTF8CHAR, $&
|
---|
[283] | 680 | when /\A.+/ #
|
---|
[307] | 681 | raise OpenEhr::ADL::Exception::CADLScanner::Base.new, "can't handle #{data.inspect}"
|
---|
[265] | 682 | end
|
---|
| 683 | data = $' # variable $' receives the string after the match
|
---|
[283] | 684 | when :adl
|
---|
[307] | 685 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 686 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 687 | yield sym, val
|
---|
| 688 | end
|
---|
| 689 | when :dadl
|
---|
[307] | 690 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 691 | dadl_scanner.in_c_domain_type = @in_c_domain_type
|
---|
[283] | 692 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 693 | yield sym, val
|
---|
| 694 | end
|
---|
| 695 | when :regexp
|
---|
[307] | 696 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 697 | data = regex_scanner.scan(data) do |sym, val|
|
---|
| 698 | yield sym, val
|
---|
| 699 | end
|
---|
| 700 | when :term_constraint
|
---|
[307] | 701 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 702 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 703 | yield sym, val
|
---|
| 704 | end
|
---|
[265] | 705 | else
|
---|
[307] | 706 | raise OpenEhr::ADL::Exception::CADLScanner.new, "unexpected adl_type: #{@adl_type.last}"
|
---|
[265] | 707 | end
|
---|
[283] | 708 | end # of until
|
---|
[265] | 709 | end
|
---|
[283] | 710 | end # of CADLScanner
|
---|
[265] | 711 |
|
---|
| 712 |
|
---|
[283] | 713 | #
|
---|
| 714 | # RegexScanner
|
---|
| 715 | #
|
---|
| 716 | class RegexScanner < Base
|
---|
[261] | 717 |
|
---|
[307] | 718 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[19] | 719 |
|
---|
[283] | 720 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 721 | super(adl_type, filename, lineno)
|
---|
[17] | 722 | end
|
---|
[18] | 723 |
|
---|
[283] | 724 | def scan(data)
|
---|
[320] | 725 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering RegexScanner::scan at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[283] | 726 | until data.nil? do
|
---|
| 727 | case @adl_type.last
|
---|
| 728 | when :regexp
|
---|
| 729 | case data
|
---|
[321] | 730 | when /\A(.*)\// # REGEXP_BODY
|
---|
| 731 | @adl_type.pop
|
---|
| 732 | @@logger.debug("#{__FILE__}:#{__LINE__}: RegexScanner::scan REGEXP_BODY = #{$1}")
|
---|
[283] | 733 | yield :REGEXP_BODY, $1
|
---|
[18] | 734 | end
|
---|
[283] | 735 | data = $' # variable $' receives the string after the match
|
---|
| 736 | when :adl
|
---|
[307] | 737 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 738 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 739 | yield sym, val
|
---|
| 740 | end
|
---|
| 741 | when :dadl
|
---|
[307] | 742 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 743 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 744 | yield sym, val
|
---|
| 745 | end
|
---|
| 746 | when :cadl
|
---|
[307] | 747 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 748 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 749 | yield sym, val
|
---|
| 750 | end
|
---|
| 751 | when :term_constraint
|
---|
| 752 | #@@logger.debug("#{__FILE__}:#{__LINE__}: scan_regexp: Entering scan_term_constraint at #{@filename}:#{@lineno}")
|
---|
[307] | 753 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 754 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 755 | yield sym, val
|
---|
| 756 | end
|
---|
| 757 | else
|
---|
[320] | 758 | raise
|
---|
[18] | 759 | end
|
---|
| 760 | end
|
---|
| 761 | end
|
---|
[283] | 762 | end # of RegexScanner
|
---|
[18] | 763 |
|
---|
[283] | 764 | #
|
---|
| 765 | # TermConstraintScanner
|
---|
| 766 | #
|
---|
| 767 | class TermConstraintScanner < Base
|
---|
[307] | 768 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[283] | 769 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 770 | super(adl_type, filename, lineno)
|
---|
[18] | 771 | end
|
---|
| 772 |
|
---|
[283] | 773 | def scan(data)
|
---|
| 774 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan_term_constraint")
|
---|
| 775 | until data.nil? do
|
---|
| 776 | case @adl_type.last
|
---|
| 777 | when :term_constraint
|
---|
| 778 | case data
|
---|
| 779 | when /\A\n/ # carriage return
|
---|
| 780 | @lineno += 1
|
---|
| 781 | ;
|
---|
| 782 | when /\A[ \t\r\f]+/ #just drop it
|
---|
| 783 | ;
|
---|
| 784 | when /\A--.*$/ # single line comment
|
---|
| 785 | @lineno += 1
|
---|
| 786 | @@logger.debug("#{__FILE__}:#{__LINE__}: scan_term_constraint: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
| 787 | ;
|
---|
| 788 | when /\A([a-zA-Z0-9\._\-])+[ \t]*,/ # match any line, with ',' termination
|
---|
| 789 | yield :TERM_CODE, $1
|
---|
| 790 | when /\A([a-zA-Z0-9\._\-])+[ \t]*;/ # match second last line with ';' termination (assumed value)
|
---|
| 791 | yield :TERM_CODE, $1
|
---|
| 792 | when /\A([a-zA-Z0-9\._\-])*[ \t]*\]/ # match final line, terminating in ']'
|
---|
| 793 | adl_type = @adl_type.pop
|
---|
| 794 | assert_at(__FILE__,__LINE__){adl_type == :term_constraint}
|
---|
| 795 | yield :END_TERM_CODE_CONSTRAINT, $1
|
---|
[324] | 796 | # else
|
---|
| 797 | # raise "data = #{data}"
|
---|
[18] | 798 | end
|
---|
[283] | 799 | data = $' # variable $' receives the string after the match
|
---|
| 800 | when :adl
|
---|
[307] | 801 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 802 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 803 | yield sym, val
|
---|
| 804 | end
|
---|
| 805 | when :dadl
|
---|
[307] | 806 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 807 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 808 | yield sym, val
|
---|
| 809 | end
|
---|
| 810 | when :cadl
|
---|
[307] | 811 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 812 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 813 | yield sym, val
|
---|
| 814 | end
|
---|
| 815 | else
|
---|
| 816 | raise
|
---|
[18] | 817 | end
|
---|
| 818 | end
|
---|
| 819 | end
|
---|
[283] | 820 | end # of TermConstraintScanner
|
---|
[18] | 821 |
|
---|
[283] | 822 | end
|
---|
| 823 | end
|
---|
| 824 | end
|
---|
[18] | 825 |
|
---|
[283] | 826 | __END__
|
---|
[18] | 827 |
|
---|
| 828 |
|
---|
| 829 |
|
---|