[17] | 1 | require 'rubygems'
|
---|
[265] | 2 | require 'logger'
|
---|
| 3 | require 'adl_parser.rb'
|
---|
[307] | 4 | require 'open_ehr'
|
---|
[314] | 5 | #require 'am.rb'
|
---|
| 6 | #require 'rm.rb'
|
---|
[283] | 7 | require 'util.rb'
|
---|
[17] | 8 |
|
---|
| 9 |
|
---|
[307] | 10 | module OpenEhr
|
---|
[17] | 11 | module ADL
|
---|
| 12 | module Scanner
|
---|
[314] | 13 | # LOGGER = Logger.new('log/scanner.log')
|
---|
| 14 | LOGGER = Logger.new('log/parser.log')
|
---|
[307] | 15 | LOGGER.level = Logger::DEBUG
|
---|
[265] | 16 |
|
---|
| 17 | class Base
|
---|
[283] | 18 | attr_accessor :adl_type, :lineno
|
---|
[265] | 19 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 20 | @adl_type = adl_type
|
---|
| 21 | @filename = filename
|
---|
| 22 | @lineno = lineno
|
---|
| 23 | end
|
---|
| 24 |
|
---|
| 25 | def scan(data)
|
---|
| 26 | raise
|
---|
| 27 | end
|
---|
| 28 | end
|
---|
| 29 |
|
---|
[283] | 30 | #
|
---|
| 31 | # ADLScanner
|
---|
| 32 | #
|
---|
| 33 | class ADLScanner < Base
|
---|
[314] | 34 | attr_accessor :adl_type, :lineno, :cadl_scanner, :dadl_scanner, :regex_scanner, :term_constraint_scanner
|
---|
[265] | 35 |
|
---|
[307] | 36 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log')
|
---|
[265] | 37 | RESERVED = {
|
---|
[283] | 38 | 'archetype' => :SYM_ARCHETYPE,
|
---|
| 39 | 'adl_version' => :SYM_ADL_VERSION,
|
---|
| 40 | 'controlled' => :SYM_IS_CONTROLLED,
|
---|
| 41 | 'specialize' => :SYM_SPECIALIZE,
|
---|
| 42 | 'concept' => :SYM_CONCEPT,
|
---|
| 43 | 'language' => :SYM_LANGUAGE,
|
---|
| 44 | 'description' => :SYM_DESCRIPTION,
|
---|
| 45 | 'definition' => :SYM_DEFINITION,
|
---|
| 46 | 'invariant' => :SYM_INVARIANT,
|
---|
| 47 | 'ontology' => :SYM_ONTOLOGY,
|
---|
| 48 | 'matches' => :SYM_MATCHES,
|
---|
| 49 | 'is_in' => :SYM_MATCHES,
|
---|
| 50 | 'occurrences' => :SYM_OCCURRENCES,
|
---|
[265] | 51 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 52 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
[283] | 53 | 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
[265] | 54 | }
|
---|
| 55 |
|
---|
| 56 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 57 | super(adl_type, filename, lineno)
|
---|
[283] | 58 | @in_interval = false
|
---|
[265] | 59 | end
|
---|
| 60 |
|
---|
[283] | 61 | #
|
---|
| 62 | # ADLScanner#scan
|
---|
| 63 | #
|
---|
[265] | 64 | def scan(data)
|
---|
[283] | 65 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering ADLScanner#scan at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[265] | 66 | until data.nil? do
|
---|
[314] | 67 | case @adl_type.last
|
---|
| 68 | when :adl
|
---|
[265] | 69 | case data
|
---|
| 70 | when /\A\n/ # carriage return
|
---|
| 71 | @lineno += 1
|
---|
| 72 | ;
|
---|
| 73 | when /\A[ \t\r\f]+/ #just drop it
|
---|
| 74 | ;
|
---|
[283] | 75 | when /\A--.*/ # single line comment
|
---|
[265] | 76 | @lineno += 1
|
---|
[283] | 77 | @@logger.debug("ADLScanner#scan: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
[265] | 78 | ;
|
---|
[283] | 79 | when /\Adescription/ # description
|
---|
| 80 | yield :SYM_DESCRIPTION, :SYM_DESCRIPTION
|
---|
| 81 | when /\Adefinition/ # definition
|
---|
| 82 | yield :SYM_DEFINITION, :SYM_DEFINITION
|
---|
| 83 | ###----------/* symbols */ -------------------------------------------------
|
---|
| 84 | when /\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 85 | yield :V_TYPE_IDENTIFIER, $&
|
---|
| 86 | when /\A(\w+)-(\w+)-(\w+)\.(\w+)((?:-\w+)*)\.(v\w+)/ #V_ARCHETYPE_ID
|
---|
| 87 | object_id, rm_originator, rm_name, rm_entity, concept_name, specialisation, version_id = $&, $1, $2, $3, $4, $5, $6
|
---|
[314] | 88 | #archetype_id = OpenEhr::RM::Support::Identification::ArchetypeID.new(object_id, concept_name, rm_name, rm_entity, rm_originator, specialisation, version_id)
|
---|
[307] | 89 | 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] | 90 | yield :V_ARCHETYPE_ID, archetype_id
|
---|
| 91 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 92 | word = $&
|
---|
| 93 | if RESERVED[word]
|
---|
| 94 | @@logger.debug("ADLScanner#scan: RESERVED = #{RESERVED[word]} at #{@filename}:#{@lineno}")
|
---|
| 95 | yield RESERVED[word], RESERVED[word]
|
---|
| 96 | elsif #/\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 97 | @@logger.debug("ADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{$&} at #{@filename}:#{@lineno}")
|
---|
| 98 | yield :V_ATTRIBUTE_IDENTIFIER, $&
|
---|
| 99 | end
|
---|
[265] | 100 | when /\A\=/ # =
|
---|
| 101 | yield :SYM_EQ, :SYM_EQ
|
---|
| 102 | when /\A\>=/ # >=
|
---|
| 103 | yield :SYM_GE, :SYM_GE
|
---|
| 104 | when /\A\<=/ # <=
|
---|
| 105 | yield :SYM_LE, :SYM_LE
|
---|
| 106 | when /\A\</ # <
|
---|
| 107 | if @in_interval
|
---|
| 108 | yield :SYM_LT, :SYM_LT
|
---|
| 109 | else
|
---|
[314] | 110 | @adl_type.push(:dadl)
|
---|
[265] | 111 | yield :SYM_START_DBLOCK, $&
|
---|
| 112 | end
|
---|
| 113 | when /\A\>/ # >
|
---|
| 114 | if @in_interval
|
---|
| 115 | yield :SYM_GT, :SYM_GT
|
---|
| 116 | else
|
---|
| 117 | adl_type = @adl_type.pop
|
---|
| 118 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 119 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 120 | end
|
---|
[283] | 121 | when /\A\{/ # {
|
---|
[314] | 122 | @adl_type.push(:cadl)
|
---|
| 123 | @@logger.debug("ADLScanner#scan: SYM_START_CBLOCK")
|
---|
[283] | 124 | yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
|
---|
| 125 | when /\A\}/ # }
|
---|
| 126 | adl_type = @adl_type.pop
|
---|
| 127 | assert_at(__FILE__,__LINE__){adl_type == :cadl}
|
---|
| 128 | @@logger.debug("ADLScanner#scan: SYM_END_CBLOCK")
|
---|
| 129 | yield :SYM_END_CBLOCK, $&
|
---|
[265] | 130 | when /\A\-/ # -
|
---|
| 131 | yield :Minus_code, :Minus_code
|
---|
| 132 | when /\A\+/ # +
|
---|
| 133 | yield :Plus_code, :Plus_code
|
---|
| 134 | when /\A\*/ # *
|
---|
| 135 | yield :Star_code, :Star_code
|
---|
| 136 | when /\A\// # /
|
---|
| 137 | yield :Slash_code, :Slash_code
|
---|
| 138 | when /\A\^/ # ^
|
---|
| 139 | yield :Caret_code, :Caret_code
|
---|
[283] | 140 | when /\A\=/ # =
|
---|
| 141 | yield :Equal_code, :Equal_code
|
---|
[265] | 142 | when /\A\.\.\./ # ...
|
---|
| 143 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 144 | when /\A\.\./ # ..
|
---|
| 145 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 146 | when /\A\./ # .
|
---|
| 147 | yield :Dot_code, :Dot_code
|
---|
| 148 | when /\A\;/ # ;
|
---|
| 149 | yield :Semicolon_code, :Semicolon_code
|
---|
| 150 | when /\A\,/ # ,
|
---|
| 151 | yield :Comma_code, :Comma_code
|
---|
| 152 | when /\A\:/ # :
|
---|
| 153 | yield :Colon_code, :Colon_code
|
---|
| 154 | when /\A\!/ # !
|
---|
| 155 | yield :Exclamation_code, :Exclamation_code
|
---|
| 156 | when /\A\(/ # (
|
---|
| 157 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 158 | when /\A\)/ # )
|
---|
| 159 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
| 160 | when /\A\$/ # $
|
---|
| 161 | yield :Dollar_code, :Dollar_code
|
---|
| 162 | when /\A\?\?/ # ??
|
---|
| 163 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 164 | when /\A\?/ # ?
|
---|
| 165 | yield :Question_mark_code, :Question_mark_code
|
---|
[283] | 166 | when /\A[0-9]+\.[0-9]+(\.[0-9]+)*/ # ?
|
---|
| 167 | yield :V_VERSION_STRING, $&
|
---|
[265] | 168 | when /\A\|/ # |
|
---|
| 169 | if @in_interval
|
---|
| 170 | @in_interval = false
|
---|
| 171 | else
|
---|
| 172 | @in_interval = true
|
---|
| 173 | end
|
---|
| 174 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 175 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form such as [ICD10AM(1998)::F23]
|
---|
| 176 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
[307] | 177 | when /\A\[([a-zA-Z0-9][a-zA-Z0-9._\-]*)\]/ #V_LOCAL_TERM_CODE_REF
|
---|
| 178 | yield :V_LOCAL_TERM_CODE_REF, $1
|
---|
[265] | 179 | when /\A\[/ # [
|
---|
| 180 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 181 | when /\A\]/ # ]
|
---|
| 182 | yield :Right_bracket_code, :Right_bracket_code
|
---|
[283] | 183 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 184 | yield :V_STRING, $1
|
---|
| 185 | when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
|
---|
| 186 | yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
|
---|
[265] | 187 | when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
|
---|
| 188 | yield :V_LOCAL_CODE, $&
|
---|
| 189 | 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-]-
|
---|
| 190 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
| 191 | 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]
|
---|
| 192 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
| 193 | 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
|
---|
| 194 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
[283] | 195 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 196 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
[265] | 197 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
[283] | 198 | @@logger.debug("ADLScanner#scan: V_INTEGER = #{$&}")
|
---|
[265] | 199 | yield :V_INTEGER, $&
|
---|
| 200 | when /\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
|
---|
| 201 | yield :V_REAL, $&
|
---|
[283] | 202 | # when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
[265] | 203 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 204 | yield :V_URI, $&
|
---|
[283] | 205 | when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?|P([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 206 | yield :V_ISO8601_DURATION, $&
|
---|
[265] | 207 | when /\A\S/ #UTF8CHAR
|
---|
| 208 | yield :UTF8CHAR, $&
|
---|
| 209 | end
|
---|
| 210 | data = $' # variable $' receives the string after the match
|
---|
[314] | 211 | when :dadl
|
---|
| 212 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 213 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
[283] | 214 | yield sym, val
|
---|
| 215 | end
|
---|
[314] | 216 | when :cadl
|
---|
| 217 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 218 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 219 | yield sym, val
|
---|
| 220 | end
|
---|
| 221 | when :regexp
|
---|
| 222 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
| 223 | data = regex_scanner.scan(data) do |sym, val|
|
---|
| 224 | yield sym, val
|
---|
| 225 | end
|
---|
| 226 | when :term_constraint
|
---|
| 227 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
| 228 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 229 | yield sym, val
|
---|
| 230 | end
|
---|
| 231 | else
|
---|
| 232 | raise
|
---|
[265] | 233 | end
|
---|
[283] | 234 | end
|
---|
[265] | 235 | end
|
---|
[283] | 236 | end # of ADLScanner
|
---|
[265] | 237 |
|
---|
[283] | 238 | #
|
---|
| 239 | # DADLScanner
|
---|
| 240 | #
|
---|
[265] | 241 | class DADLScanner < Base
|
---|
[314] | 242 | attr_accessor :in_interval, :in_c_domain_type, :dblock_depth
|
---|
[307] | 243 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log')
|
---|
[265] | 244 | RESERVED = {
|
---|
| 245 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 246 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
| 247 | 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 248 | }
|
---|
| 249 |
|
---|
[314] | 250 | def initialize(adl_type, filename, lineno = 1)
|
---|
[265] | 251 | super(adl_type, filename, lineno)
|
---|
[283] | 252 | @in_interval = false
|
---|
[265] | 253 | @in_c_domain_type = false
|
---|
[314] | 254 | @dblock_depth = 0
|
---|
[265] | 255 | end
|
---|
| 256 |
|
---|
[283] | 257 | #
|
---|
| 258 | # DADLScanner#scan
|
---|
| 259 | #
|
---|
[265] | 260 | def scan(data)
|
---|
[314] | 261 | @@logger.debug("Entering DADLScanner#scan at #{@filename}:#{@lineno}: @adl_type = #{@adl_type.inspect}, data = #{data.inspect}")
|
---|
[265] | 262 | until data.nil? do
|
---|
[314] | 263 | @@logger.debug("#{@filename}:#{@lineno}: DADLScanner#scan:loop data = #{data.inspect}")
|
---|
| 264 | @@logger.debug("#{@filename}:#{@lineno}: DADLScanner#scan:loop self = \n#{self.to_yaml}")
|
---|
| 265 | case @adl_type.last
|
---|
| 266 | when :dadl
|
---|
[265] | 267 | case data
|
---|
| 268 | when /\A\n/ # carriage return
|
---|
[283] | 269 | #@@logger.debug("DADLScanner#scan: carriage return, data = #{data.inspect}")
|
---|
[265] | 270 | @lineno += 1
|
---|
| 271 | ;
|
---|
| 272 | when /\A[ \t\r\f]+/ #just drop it
|
---|
[283] | 273 | #@@logger.debug("DADLScanner#scan: white space, data = #{data.inspect}")
|
---|
[265] | 274 | ;
|
---|
[283] | 275 | when /\A--.*/ # single line comment
|
---|
| 276 | # @lineno += 1
|
---|
| 277 | @@logger.debug("DADLScanner#scan: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
[265] | 278 | ;
|
---|
[283] | 279 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 280 | word = $&.dup
|
---|
| 281 | if RESERVED[word.downcase]
|
---|
| 282 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 283 | else
|
---|
| 284 | @@logger.debug("DADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}:#{@lineno}")
|
---|
| 285 | yield :V_ATTRIBUTE_IDENTIFIER, word #V_ATTRIBUTE_IDENTIFIER /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 286 | end
|
---|
[265] | 287 | ###----------/* symbols */ -------------------------------------------------
|
---|
| 288 | when /\A\=/ # =
|
---|
| 289 | yield :SYM_EQ, :SYM_EQ
|
---|
| 290 | when /\A\>\=/ # >=
|
---|
| 291 | yield :SYM_GE, :SYM_GE
|
---|
| 292 | when /\A\<\=/ # <=
|
---|
| 293 | yield :SYM_LE, :SYM_LE
|
---|
| 294 | when /\A\</ # <
|
---|
| 295 | if @in_interval
|
---|
| 296 | yield :SYM_LT, :SYM_LT
|
---|
| 297 | else
|
---|
[314] | 298 | unless @in_c_domain_type
|
---|
| 299 | @adl_type.push(:dadl)
|
---|
| 300 | else
|
---|
| 301 | @dblock_depth += 1
|
---|
| 302 | end
|
---|
[265] | 303 | yield :SYM_START_DBLOCK, :SYM_START_DBLOCK
|
---|
| 304 | end
|
---|
| 305 | when /\A\>/ # >
|
---|
| 306 | if @in_interval
|
---|
| 307 | yield :SYM_GT, :SYM_GT
|
---|
[314] | 308 | else
|
---|
| 309 | if @in_c_domain_type
|
---|
| 310 | assert_at(__FILE__,__LINE__){@adl_type.last == :dadl}
|
---|
| 311 | @dblock_depth -= 1
|
---|
| 312 | if @dblock_depth < 0
|
---|
| 313 | @adl_type.pop
|
---|
| 314 | @in_c_domain_type = false
|
---|
| 315 | yield :END_V_C_DOMAIN_TYPE_BLOCK, :END_V_C_DOMAIN_TYPE_BLOCK
|
---|
| 316 | else
|
---|
| 317 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 318 | end
|
---|
| 319 | # adl_type = @adl_type.pop
|
---|
| 320 | # if adl_type == :dadl
|
---|
| 321 | # yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 322 | # else
|
---|
| 323 | # @in_c_domain_type = false
|
---|
| 324 | # yield :END_V_C_DOMAIN_TYPE_BLOCK, :END_V_C_DOMAIN_TYPE_BLOCK
|
---|
| 325 | # end
|
---|
[265] | 326 | else
|
---|
[314] | 327 | adl_type = @adl_type.pop
|
---|
| 328 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 329 | yield :SYM_END_DBLOCK, $&
|
---|
[265] | 330 | end
|
---|
| 331 | end
|
---|
| 332 | when /\A\-/ # -
|
---|
| 333 | yield :Minus_code, :Minus_code
|
---|
| 334 | when /\A\+/ # +
|
---|
| 335 | yield :Plus_code, :Plus_code
|
---|
| 336 | when /\A\*/ # *
|
---|
| 337 | yield :Star_code, :Star_code
|
---|
| 338 | when /\A\// # /
|
---|
| 339 | yield :Slash_code, :Slash_code
|
---|
| 340 | when /\A\^/ # ^
|
---|
| 341 | yield :Caret_code, :Caret_code
|
---|
| 342 | when /\A\.\.\./ # ...
|
---|
| 343 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 344 | when /\A\.\./ # ..
|
---|
| 345 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 346 | when /\A\./ # .
|
---|
| 347 | yield :Dot_code, :Dot_code
|
---|
| 348 | when /\A\;/ # ;
|
---|
| 349 | yield :Semicolon_code, :Semicolon_code
|
---|
| 350 | when /\A\,/ # ,
|
---|
| 351 | yield :Comma_code, :Comma_code
|
---|
| 352 | when /\A\:/ # :
|
---|
| 353 | yield :Colon_code, :Colon_code
|
---|
| 354 | when /\A\!/ # !
|
---|
| 355 | yield :Exclamation_code, :Exclamation_code
|
---|
| 356 | when /\A\(/ # (
|
---|
| 357 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 358 | when /\A\)/ # )
|
---|
| 359 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
| 360 | when /\A\$/ # $
|
---|
| 361 | yield :Dollar_code, :Dollar_code
|
---|
| 362 | when /\A\?\?/ # ??
|
---|
| 363 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 364 | when /\A\?/ # ?
|
---|
| 365 | yield :Question_mark_code, :Question_mark_code
|
---|
| 366 | when /\A\|/ # |
|
---|
[283] | 367 | @@logger.debug("DADLScanner#scan: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
|
---|
[265] | 368 | if @in_interval
|
---|
| 369 | @in_interval = false
|
---|
| 370 | else
|
---|
| 371 | # @in_interval = false
|
---|
| 372 | @in_interval = true
|
---|
| 373 | end
|
---|
[283] | 374 | @@logger.debug("DADLScanner#scan: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
|
---|
[265] | 375 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 376 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
|
---|
| 377 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
[265] | 378 | when /\A\[/ # [
|
---|
[283] | 379 | @@logger.debug("DADLScanner#scan: Left_bracket_code at #{@filename}:#{@lineno}")
|
---|
[265] | 380 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 381 | when /\A\]/ # ]
|
---|
[283] | 382 | @@logger.debug("DADLScanner#scan: Right_bracket_code at #{@filename}:#{@lineno}")
|
---|
[265] | 383 | yield :Right_bracket_code, :Right_bracket_code
|
---|
| 384 | 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] | 385 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_DATE_TIME")
|
---|
[265] | 386 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
| 387 | 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] | 388 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_TIME")
|
---|
[265] | 389 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
[283] | 390 | 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
|
---|
| 391 | @@logger.debug("DADLScanner#scan: V_ISO8601_EXTENDED_DATE, #{$&}")
|
---|
[265] | 392 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
| 393 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 394 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
[283] | 395 | when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
| 396 | @@logger.debug("DADLScanner#scan: V_STRING, #{$1}")
|
---|
| 397 | yield :V_STRING, $1
|
---|
| 398 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 399 | @@logger.debug("DADLScanner#scan: V_STRING, #{$1}")
|
---|
| 400 | yield :V_STRING, $1
|
---|
[265] | 401 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
[283] | 402 | @@logger.debug("DADLScanner#scan: V_INTEGER = #{$&}")
|
---|
[265] | 403 | yield :V_INTEGER, $&
|
---|
| 404 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 405 | yield :V_URI, $&
|
---|
| 406 | when /\A\S/ #UTF8CHAR
|
---|
| 407 | yield :UTF8CHAR, $&
|
---|
| 408 | end
|
---|
| 409 | data = $' # variable $' receives the string after the match
|
---|
| 410 | when :adl
|
---|
[307] | 411 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 412 | data = adl_scanner.scan(data) do |sym, val|
|
---|
[265] | 413 | yield sym, val
|
---|
| 414 | end
|
---|
[283] | 415 | when :cadl
|
---|
[307] | 416 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 417 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
[265] | 418 | yield sym, val
|
---|
| 419 | end
|
---|
[283] | 420 | when :regexp
|
---|
[307] | 421 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 422 | data = regex_scanner.scan(data) do |sym, val|
|
---|
[265] | 423 | yield sym, val
|
---|
| 424 | end
|
---|
| 425 | when :term_constraint
|
---|
[283] | 426 | @@logger.debug("#{__FILE__}:#{__LINE__}: scan_dadl: Entering scan_term_constraint at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[307] | 427 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 428 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
[265] | 429 | yield sym, val
|
---|
| 430 | end
|
---|
| 431 | else
|
---|
| 432 | raise
|
---|
| 433 | end
|
---|
| 434 | end
|
---|
| 435 | end
|
---|
[283] | 436 | end # of DADLScanner
|
---|
[265] | 437 |
|
---|
| 438 |
|
---|
| 439 |
|
---|
[283] | 440 | class CADLScanner < Base
|
---|
[265] | 441 |
|
---|
[307] | 442 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[265] | 443 | RESERVED = {
|
---|
[283] | 444 | 'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
|
---|
| 445 | 'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
|
---|
| 446 | 'and' => :SYM_AND, # [Aa][Nn][Dd]
|
---|
| 447 | 'or' => :SYM_OR, # [Oo][Rr]
|
---|
| 448 | 'xor' => :SYM_XOR, # [Xx][Oo][Rr]
|
---|
| 449 | 'not' => :SYM_NOT, # [Nn][Oo][Tt]
|
---|
| 450 | 'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
|
---|
[265] | 451 | 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 452 | 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
[283] | 453 | 'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
|
---|
| 454 | 'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
|
---|
| 455 | 'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
|
---|
| 456 | 'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
|
---|
| 457 | 'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
|
---|
| 458 | 'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 459 | 'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 460 | 'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
|
---|
| 461 | 'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
|
---|
| 462 | 'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
|
---|
| 463 | 'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
|
---|
| 464 | 'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 465 | 'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
|
---|
| 466 | 'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 467 | 'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 468 | 'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
|
---|
| 469 | 'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
|
---|
[265] | 470 | }
|
---|
| 471 |
|
---|
| 472 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 473 | super(adl_type, filename, lineno)
|
---|
[283] | 474 | @in_interval = false
|
---|
[265] | 475 | end
|
---|
| 476 |
|
---|
[283] | 477 | #
|
---|
| 478 | # CADLScanner#scan
|
---|
| 479 | #
|
---|
[265] | 480 | def scan(data)
|
---|
[283] | 481 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering CADLScanner#scan at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[265] | 482 | until data.nil? do
|
---|
[283] | 483 | @@logger.debug("CADLScanner#scan: loop data = #{data.inspect}")
|
---|
[265] | 484 | case @adl_type.last
|
---|
| 485 | when :cadl
|
---|
| 486 | case data
|
---|
| 487 | when /\A\n/ # carriage return
|
---|
| 488 | @lineno += 1
|
---|
| 489 | ;
|
---|
[283] | 490 | #yield :CR, :CR
|
---|
[265] | 491 | when /\A[ \t\r\f]+/ #just drop it
|
---|
| 492 | ;
|
---|
| 493 | when /\A--.*\n/ # single line comment
|
---|
| 494 | @lineno += 1
|
---|
| 495 | ;
|
---|
[283] | 496 | ###----------/* symbols */ -------------------------------------------------
|
---|
[265] | 497 | when /\A\=/ # =
|
---|
| 498 | yield :SYM_EQ, :SYM_EQ
|
---|
| 499 | when /\A\>=/ # >=
|
---|
| 500 | yield :SYM_GE, :SYM_GE
|
---|
| 501 | when /\A\<=/ # <=
|
---|
| 502 | yield :SYM_LE, :SYM_LE
|
---|
| 503 | when /\A\</ # <
|
---|
[283] | 504 | if @in_interval
|
---|
[265] | 505 | yield :SYM_LT, :SYM_LT
|
---|
[283] | 506 | else
|
---|
[265] | 507 | @adl_type.push(:dadl)
|
---|
| 508 | yield :SYM_START_DBLOCK, $&
|
---|
| 509 | end
|
---|
| 510 | when /\A\>/ # >
|
---|
| 511 | if @in_interval
|
---|
| 512 | yield :SYM_GT, :SYM_GT
|
---|
| 513 | else
|
---|
| 514 | adl_type = @adl_type.pop
|
---|
| 515 | assert_at(__FILE__,__LINE__){adl_type == :dadl}
|
---|
| 516 | yield :SYM_END_DBLOCK, :SYM_END_DBLOCK
|
---|
| 517 | end
|
---|
| 518 | when /\A\-/ # -
|
---|
| 519 | yield :Minus_code, :Minus_code
|
---|
| 520 | when /\A\+/ # +
|
---|
| 521 | yield :Plus_code, :Plus_code
|
---|
| 522 | when /\A\*/ # *
|
---|
| 523 | yield :Star_code, :Star_code
|
---|
| 524 | when /\A\// # /
|
---|
| 525 | yield :Slash_code, :Slash_code
|
---|
| 526 | when /\A\^/ # ^
|
---|
| 527 | yield :Caret_code, :Caret_code
|
---|
| 528 | when /\A\.\.\./ # ...
|
---|
| 529 | yield :SYM_LIST_CONTINUE, :SYM_LIST_CONTINUE
|
---|
| 530 | when /\A\.\./ # ..
|
---|
| 531 | yield :SYM_ELLIPSIS, :SYM_ELLIPSIS
|
---|
| 532 | when /\A\./ # .
|
---|
| 533 | yield :Dot_code, :Dot_code
|
---|
| 534 | when /\A\;/ # ;
|
---|
| 535 | yield :Semicolon_code, :Semicolon_code
|
---|
| 536 | when /\A\,/ # ,
|
---|
| 537 | yield :Comma_code, :Comma_code
|
---|
| 538 | when /\A\:/ # :
|
---|
| 539 | yield :Colon_code, :Colon_code
|
---|
| 540 | when /\A\!/ # !
|
---|
| 541 | yield :Exclamation_code, :Exclamation_code
|
---|
| 542 | when /\A\(/ # (
|
---|
| 543 | yield :Left_parenthesis_code, :Left_parenthesis_code
|
---|
| 544 | when /\A\)/ # )
|
---|
| 545 | yield :Right_parenthesis_code, :Right_parenthesis_code
|
---|
[283] | 546 | when /\A\{\// #V_REGEXP
|
---|
| 547 | if @adl_type.last != :regexp
|
---|
| 548 | @in_regexp = true
|
---|
| 549 | @adl_type.push(:regexp)
|
---|
| 550 | yield :START_REGEXP_BLOCK, :START_REGEXP_BLOCK
|
---|
| 551 | else
|
---|
| 552 | raise
|
---|
| 553 | end
|
---|
| 554 | when /\A\{/ # {
|
---|
| 555 | @adl_type.push(:cadl)
|
---|
| 556 | @@logger.debug("CADLScanner#scan: entering cADL at #{@filename}:#{@lineno}")
|
---|
| 557 | yield :SYM_START_CBLOCK, :SYM_START_CBLOCK
|
---|
| 558 | when /\A\}/ # }
|
---|
| 559 | adl_type = @adl_type.pop
|
---|
| 560 | assert_at(__FILE__,__LINE__){adl_type == :cadl}
|
---|
| 561 | @@logger.debug("CADLScanner#scan: exiting cADL at #{@filename}:#{@lineno}")
|
---|
| 562 | yield :SYM_END_CBLOCK, :SYM_END_CBLOCK
|
---|
[265] | 563 | when /\A\$/ # $
|
---|
| 564 | yield :Dollar_code, :Dollar_code
|
---|
| 565 | when /\A\?\?/ # ??
|
---|
| 566 | yield :SYM_DT_UNKNOWN, :SYM_DT_UNKNOWN
|
---|
| 567 | when /\A\?/ # ?
|
---|
| 568 | yield :Question_mark_code, :Question_mark_code
|
---|
| 569 | when /\A\|/ # |
|
---|
[283] | 570 | @@logger.debug("CADLScanner#scan: @in_interval = #{@in_interval} at #{@filename}:#{@lineno}")
|
---|
[265] | 571 | if @in_interval
|
---|
| 572 | @in_interval = false
|
---|
| 573 | else
|
---|
[283] | 574 | # @in_interval = false
|
---|
[265] | 575 | @in_interval = true
|
---|
| 576 | end
|
---|
[283] | 577 | @@logger.debug("CADLScanner#scan: SYM_INTERVAL_DELIM at #{@filename}:#{@lineno}")
|
---|
[265] | 578 | yield :SYM_INTERVAL_DELIM, :SYM_INTERVAL_DELIM
|
---|
[283] | 579 |
|
---|
| 580 | when /\A\[([a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+)\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
|
---|
| 581 | yield :V_QUALIFIED_TERM_CODE_REF, $1
|
---|
| 582 | when /\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/ #ERR_V_QUALIFIED_TERM_CODE_REF
|
---|
| 583 | yield :ERR_V_QUALIFIED_TERM_CODE_REF, $&
|
---|
| 584 | when /\A\[([a-zA-Z0-9\(\)\._\-]+)::[ \t\n]*/
|
---|
| 585 | @adl_type.push(:term_constraint)
|
---|
| 586 | yield :START_TERM_CODE_CONSTRAINT, $1
|
---|
[307] | 587 | when /\A\[([a-zA-Z0-9][a-zA-Z0-9._\-]*)\]/ #V_LOCAL_TERM_CODE_REF
|
---|
| 588 | yield :V_LOCAL_TERM_CODE_REF, $1
|
---|
[265] | 589 | when /\A\[/ # [
|
---|
| 590 | yield :Left_bracket_code, :Left_bracket_code
|
---|
| 591 | when /\A\]/ # ]
|
---|
| 592 | yield :Right_bracket_code, :Right_bracket_code
|
---|
[283] | 593 | when /\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/ #V_GENERIC_TYPE_IDENTIFIER
|
---|
| 594 | yield :V_GENERIC_TYPE_IDENTIFIER, $&
|
---|
| 595 | when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X][T\t][hH?X][hH?X]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
| 596 | yield :V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN, $&
|
---|
| 597 | when /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X]/
|
---|
| 598 | yield :V_ISO8601_DATE_CONSTRAINT_PATTERN, $&
|
---|
| 599 | when /\A[hH][hH]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
| 600 | yield :V_ISO8601_TIME_CONSTRAINT_PATTERN, $&
|
---|
| 601 | #when /\AP([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?T([0-9]+[hH])?([0-9]+[mM])?([0-9]+[sS])?|P([0-9]+[yY])?([0-9]+[mM])?([0-9]+[wW])?([0-9]+[dD])?/ #V_ISO8601_DURATION such as PnYnMnWnDTnnHnnMnnS
|
---|
| 602 | 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 such as PnYnMnWnDTnnHnnMnnS
|
---|
| 603 | yield :V_ISO8601_DURATION, $&
|
---|
| 604 | when /\AP[yY]?[mM]?[wW]?[dD]?T[hH]?[mM]?[sS]?/ #V_ISO8601_DURATION_CONSTRAINT_PATTERNo
|
---|
| 605 | yield :V_ISO8601_DURATION_CONSTRAINT_PATTERN, $&
|
---|
| 606 | when /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 607 | word = $&.dup
|
---|
| 608 | if RESERVED[word.downcase]
|
---|
| 609 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 610 | else
|
---|
| 611 | @@logger.debug("CADLScanner#scan: V_ATTRIBUTE_IDENTIFIER = #{word} at #{@filename}:#{@lineno}")
|
---|
| 612 | yield :V_ATTRIBUTE_IDENTIFIER, word #V_ATTRIBUTE_IDENTIFIER /\A[a-z][a-zA-Z0-9_]*/
|
---|
| 613 | end
|
---|
[307] | 614 | when /\A([A-Z][a-zA-Z0-9_]*)[ \n]*\</ # V_C_DOMAIN_TYPE
|
---|
| 615 | @in_c_domain_type = true
|
---|
| 616 | @adl_type.push(:dadl)
|
---|
| 617 | yield :START_V_C_DOMAIN_TYPE_BLOCK, $1
|
---|
[283] | 618 | when /\A[A-Z][a-zA-Z0-9_]*/
|
---|
| 619 | word = $&.dup
|
---|
| 620 | if RESERVED[word.downcase]
|
---|
| 621 | yield RESERVED[word.downcase], RESERVED[word.downcase]
|
---|
| 622 | else
|
---|
| 623 | yield :V_TYPE_IDENTIFIER, $&
|
---|
| 624 | end
|
---|
[265] | 625 | when /\Aa[ct][0-9.]+/ #V_LOCAL_CODE
|
---|
| 626 | yield :V_LOCAL_CODE, $&
|
---|
| 627 | 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-]-
|
---|
| 628 | yield :V_ISO8601_EXTENDED_DATE_TIME, $&
|
---|
| 629 | 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]
|
---|
| 630 | yield :V_ISO8601_EXTENDED_TIME, $&
|
---|
| 631 | 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
|
---|
| 632 | yield :V_ISO8601_EXTENDED_DATE, $&
|
---|
| 633 | when /\A[0-9]+|[0-9]+[eE][+-]?[0-9]+/ #V_INTEGER
|
---|
[283] | 634 | @@logger.debug("CADLScanner#scan: V_INTEGER = #{$&}")
|
---|
[265] | 635 | yield :V_INTEGER, $&
|
---|
| 636 | when /\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+ / #V_REAL
|
---|
| 637 | yield :V_REAL, $&
|
---|
[283] | 638 | when /\A"((?:[^"\\]+|\\.)*)"/ #V_STRING
|
---|
| 639 | yield :V_STRING, $1
|
---|
| 640 | when /\A"([^"]*)"/m #V_STRING
|
---|
| 641 | yield :V_STRING, $1
|
---|
[265] | 642 | when /\A[a-z]+:\/\/[^<>|\\{}^~"\[\] ]*/ #V_URI
|
---|
| 643 | yield :V_URI, $&
|
---|
| 644 | when /\A\S/ #UTF8CHAR
|
---|
| 645 | yield :UTF8CHAR, $&
|
---|
[283] | 646 | when /\A.+/ #
|
---|
[307] | 647 | raise OpenEhr::ADL::Exception::CADLScanner::Base.new, "can't handle #{data.inspect}"
|
---|
[265] | 648 | end
|
---|
| 649 | data = $' # variable $' receives the string after the match
|
---|
[283] | 650 | when :adl
|
---|
[307] | 651 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 652 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 653 | yield sym, val
|
---|
| 654 | end
|
---|
| 655 | when :dadl
|
---|
[307] | 656 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
| 657 | dadl_scanner.in_c_domain_type = @in_c_domain_type
|
---|
[283] | 658 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 659 | yield sym, val
|
---|
| 660 | end
|
---|
| 661 | when :regexp
|
---|
[307] | 662 | regex_scanner = OpenEhr::ADL::Scanner::RegexScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 663 | data = regex_scanner.scan(data) do |sym, val|
|
---|
| 664 | yield sym, val
|
---|
| 665 | end
|
---|
| 666 | when :term_constraint
|
---|
| 667 | @@logger.debug("Entering scan_term_constraint at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
[307] | 668 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 669 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 670 | yield sym, val
|
---|
| 671 | end
|
---|
[265] | 672 | else
|
---|
[307] | 673 | raise OpenEhr::ADL::Exception::CADLScanner.new, "unexpected adl_type: #{@adl_type.last}"
|
---|
[265] | 674 | end
|
---|
[283] | 675 | end # of until
|
---|
[265] | 676 | end
|
---|
[283] | 677 | end # of CADLScanner
|
---|
[265] | 678 |
|
---|
| 679 |
|
---|
[283] | 680 | #
|
---|
| 681 | # RegexScanner
|
---|
| 682 | #
|
---|
| 683 | class RegexScanner < Base
|
---|
[261] | 684 |
|
---|
[307] | 685 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[19] | 686 |
|
---|
[283] | 687 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 688 | super(adl_type, filename, lineno)
|
---|
[17] | 689 | end
|
---|
[18] | 690 |
|
---|
[283] | 691 | def scan(data)
|
---|
| 692 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan_regexp at #{@filename}:#{@lineno}: data = #{data.inspect}")
|
---|
| 693 | until data.nil? do
|
---|
| 694 | case @adl_type.last
|
---|
| 695 | when :regexp
|
---|
| 696 | case data
|
---|
| 697 | when /\A\/\}/ #V_REGEXP
|
---|
| 698 | if @adl_type.last == :regexp
|
---|
| 699 | @in_regexp = false
|
---|
| 700 | @adl_type.pop
|
---|
| 701 | yield :END_REGEXP_BLOCK, :END_REGEXP_BLOCK
|
---|
| 702 | else
|
---|
| 703 | raise
|
---|
| 704 | end
|
---|
| 705 | when /\A(.*)(\/\})/ #V_REGEXP
|
---|
| 706 | yield :REGEXP_BODY, $1
|
---|
| 707 | if @adl_type.last == :regexp
|
---|
| 708 | @in_regexp = false
|
---|
| 709 | @adl_type.pop
|
---|
| 710 | yield :END_REGEXP_BLOCK, :END_REGEXP_BLOCK
|
---|
| 711 | else
|
---|
| 712 | raise
|
---|
| 713 | end
|
---|
| 714 | else
|
---|
| 715 | raise data
|
---|
[18] | 716 | end
|
---|
[283] | 717 | data = $' # variable $' receives the string after the match
|
---|
| 718 | when :adl
|
---|
[307] | 719 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 720 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 721 | yield sym, val
|
---|
| 722 | end
|
---|
| 723 | when :dadl
|
---|
[307] | 724 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 725 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 726 | yield sym, val
|
---|
| 727 | end
|
---|
| 728 | when :cadl
|
---|
[307] | 729 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 730 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 731 | yield sym, val
|
---|
| 732 | end
|
---|
| 733 | when :term_constraint
|
---|
| 734 | #@@logger.debug("#{__FILE__}:#{__LINE__}: scan_regexp: Entering scan_term_constraint at #{@filename}:#{@lineno}")
|
---|
[307] | 735 | term_constraint_scanner = OpenEhr::ADL::Scanner::TermConstraintScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 736 | data = term_constraint_scanner.scan(data) do |sym, val|
|
---|
| 737 | yield sym, val
|
---|
| 738 | end
|
---|
| 739 | else
|
---|
| 740 | raise
|
---|
[18] | 741 | end
|
---|
| 742 | end
|
---|
| 743 | end
|
---|
[283] | 744 | end # of RegexScanner
|
---|
[18] | 745 |
|
---|
[283] | 746 | #
|
---|
| 747 | # TermConstraintScanner
|
---|
| 748 | #
|
---|
| 749 | class TermConstraintScanner < Base
|
---|
[307] | 750 | @@logger = OpenEhr::ADL::Scanner::LOGGER #Logger.new('log/scanner.log') #Logger.new('log/scanner.log')
|
---|
[283] | 751 | def initialize(adl_type, filename, lineno = 1)
|
---|
| 752 | super(adl_type, filename, lineno)
|
---|
[18] | 753 | end
|
---|
| 754 |
|
---|
[283] | 755 | def scan(data)
|
---|
| 756 | @@logger.debug("#{__FILE__}:#{__LINE__}: Entering scan_term_constraint")
|
---|
| 757 | until data.nil? do
|
---|
| 758 | case @adl_type.last
|
---|
| 759 | when :term_constraint
|
---|
| 760 | case data
|
---|
| 761 | when /\A\n/ # carriage return
|
---|
| 762 | @lineno += 1
|
---|
| 763 | ;
|
---|
| 764 | when /\A[ \t\r\f]+/ #just drop it
|
---|
| 765 | ;
|
---|
| 766 | when /\A--.*$/ # single line comment
|
---|
| 767 | @lineno += 1
|
---|
| 768 | @@logger.debug("#{__FILE__}:#{__LINE__}: scan_term_constraint: COMMENT = #{$&} at #{@filename}:#{@lineno}")
|
---|
| 769 | ;
|
---|
| 770 | when /\A([a-zA-Z0-9\._\-])+[ \t]*,/ # match any line, with ',' termination
|
---|
| 771 | yield :TERM_CODE, $1
|
---|
| 772 | when /\A([a-zA-Z0-9\._\-])+[ \t]*;/ # match second last line with ';' termination (assumed value)
|
---|
| 773 | yield :TERM_CODE, $1
|
---|
| 774 | when /\A([a-zA-Z0-9\._\-])*[ \t]*\]/ # match final line, terminating in ']'
|
---|
| 775 | adl_type = @adl_type.pop
|
---|
| 776 | assert_at(__FILE__,__LINE__){adl_type == :term_constraint}
|
---|
| 777 | yield :END_TERM_CODE_CONSTRAINT, $1
|
---|
| 778 | else
|
---|
| 779 | raise "data = #{data}"
|
---|
[18] | 780 | end
|
---|
[283] | 781 | data = $' # variable $' receives the string after the match
|
---|
| 782 | when :adl
|
---|
[307] | 783 | adl_scanner = OpenEhr::ADL::Scanner::ADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 784 | data = adl_scanner.scan(data) do |sym, val|
|
---|
| 785 | yield sym, val
|
---|
| 786 | end
|
---|
| 787 | when :dadl
|
---|
[307] | 788 | dadl_scanner = OpenEhr::ADL::Scanner::DADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 789 | data = dadl_scanner.scan(data) do |sym, val|
|
---|
| 790 | yield sym, val
|
---|
| 791 | end
|
---|
| 792 | when :cadl
|
---|
[307] | 793 | cadl_scanner = OpenEhr::ADL::Scanner::CADLScanner.new(@adl_type, @filename, @lineno)
|
---|
[283] | 794 | data = cadl_scanner.scan(data) do |sym, val|
|
---|
| 795 | yield sym, val
|
---|
| 796 | end
|
---|
| 797 | else
|
---|
| 798 | raise
|
---|
[18] | 799 | end
|
---|
| 800 | end
|
---|
| 801 | end
|
---|
[283] | 802 | end # of TermConstraintScanner
|
---|
[18] | 803 |
|
---|
[283] | 804 | end
|
---|
| 805 | end
|
---|
| 806 | end
|
---|
[18] | 807 |
|
---|
[283] | 808 | __END__
|
---|
[18] | 809 |
|
---|
| 810 |
|
---|
| 811 |
|
---|
[283] | 812 | # module Common
|
---|
| 813 | # class START_TERM_CODE_CONSTRAINT
|
---|
| 814 | # include Yaparc::Parsable
|
---|
| 815 | # def initialize
|
---|
| 816 | # @parser = lambda do |input|
|
---|
| 817 | # Yaparc::Apply.new(Yaparc::Regex.new(/[ \t\n]*\[([a-zA-Z0-9\(\)\._\-]+)::[ \t\n]*/)) do |match|
|
---|
[307] | 818 | # OpenEhr::LOG.info("START_TERM_CODE_CONSTRAINT: #{match}")
|
---|
[283] | 819 | # [:START_TERM_CODE_CONSTRAINT, match]
|
---|
| 820 | # end
|
---|
| 821 | # end
|
---|
| 822 | # end
|
---|
| 823 | # end
|
---|
[19] | 824 |
|
---|
[283] | 825 | # # /\A\[[a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+\]/ #V_QUALIFIED_TERM_CODE_REF form [ICD10AM(1998)::F23]
|
---|
| 826 | # class V_QUALIFIED_TERM_CODE_REF
|
---|
| 827 | # include Yaparc::Parsable
|
---|
| 828 | # def initialize
|
---|
| 829 | # @parser = lambda do |input|
|
---|
| 830 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A\[[a-zA-Z0-9()\._-]+::[a-zA-Z0-9\._-]+\]/)) do |match|
|
---|
[307] | 831 | # OpenEhr::LOG.info("V_QUALIFIED_TERM_CODE_REF: #{match}")
|
---|
[283] | 832 | # [:V_QUALIFIED_TERM_CODE_REF, match]
|
---|
| 833 | # end
|
---|
| 834 | # end
|
---|
| 835 | # end
|
---|
| 836 | # end
|
---|
| 837 |
|
---|
| 838 | # class V_LOCAL_TERM_CODE_REF
|
---|
| 839 | # include Yaparc::Parsable
|
---|
| 840 | # def initialize
|
---|
| 841 | # @parser = lambda do |input|
|
---|
| 842 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A\[[a-zA-Z0-9][a-zA-Z0-9._\-]*\]/)) do |match|
|
---|
[307] | 843 | # OpenEhr::LOG.info("V_TERM_CODE_REF: #{match}")
|
---|
[283] | 844 | # [:V_LOCAL_TERM_CODE_REF, match]
|
---|
| 845 | # end
|
---|
| 846 | # end
|
---|
| 847 | # end
|
---|
| 848 | # end
|
---|
[19] | 849 |
|
---|
[283] | 850 | # class ERR_V_QUALIFIED_TERM_CODE_REF
|
---|
| 851 | # include Yaparc::Parsable
|
---|
| 852 | # def initialize
|
---|
| 853 | # @parser = lambda do |input|
|
---|
| 854 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A\[[a-zA-Z0-9._\- ]+::[a-zA-Z0-9._\- ]+\]/)) do |match|
|
---|
[307] | 855 | # OpenEhr::LOG.info("ERR_V_QUALIFIED_TERM_CODE_REF: #{match}")
|
---|
[283] | 856 | # [:ERR_V_QUALIFIED_TERM_CODE_REF, match]
|
---|
| 857 | # end
|
---|
| 858 | # end
|
---|
| 859 | # end
|
---|
| 860 | # end
|
---|
[261] | 861 |
|
---|
[283] | 862 | # class V_TYPE_IDENTIFIER
|
---|
| 863 | # include Yaparc::Parsable
|
---|
| 864 | # def initialize
|
---|
| 865 | # @parser = lambda do |input|
|
---|
| 866 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[A-Z][a-zA-Z0-9_]*/)) do |match|
|
---|
[307] | 867 | # OpenEhr::LOG.info("V_TYPE_IDENTIFIER: #{match}")
|
---|
[283] | 868 | # [:V_TYPE_IDENTIFIER, match]
|
---|
| 869 | # end
|
---|
| 870 | # end
|
---|
| 871 | # end
|
---|
| 872 | # end
|
---|
| 873 |
|
---|
| 874 | # class V_GENERIC_TYPE_IDENTIFIER
|
---|
| 875 | # include Yaparc::Parsable
|
---|
| 876 | # def initialize
|
---|
| 877 | # @parser = lambda do |input|
|
---|
| 878 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[A-Z][a-zA-Z0-9_]*<[a-zA-Z0-9,_<>]+>/)) do |match|
|
---|
[307] | 879 | # OpenEhr::LOG.info("V_GENERIC_TYPE_IDENTIFIER: #{match}")
|
---|
[283] | 880 | # [:V_GENERIC_TYPE_IDENTIFIER, match]
|
---|
| 881 | # end
|
---|
| 882 | # end
|
---|
| 883 | # end
|
---|
| 884 | # end
|
---|
| 885 |
|
---|
| 886 |
|
---|
| 887 | # class V_LOCAL_CODE
|
---|
| 888 | # include Yaparc::Parsable
|
---|
| 889 | # def initialize
|
---|
| 890 | # @parser = lambda do |input|
|
---|
| 891 | # Yaparc::Apply.new(Yaparc::Regex.new(/\Aa[ct][0-9.]+/)) do |match|
|
---|
[307] | 892 | # OpenEhr::LOG.info("V_LOCAL_CODE: #{match}")
|
---|
[283] | 893 | # [:V_LOCAL_CODE, match]
|
---|
| 894 | # end
|
---|
| 895 | # end
|
---|
| 896 | # end
|
---|
| 897 | # end
|
---|
| 898 |
|
---|
| 899 | # class V_STRING
|
---|
| 900 | # include Yaparc::Parsable
|
---|
| 901 | # def initialize
|
---|
| 902 | # @parser = lambda do |input|
|
---|
| 903 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A"([^"]*)"/m)) do |match|
|
---|
[307] | 904 | # OpenEhr::LOG.info("V_STRING: #{match}")
|
---|
[283] | 905 | # [:V_STRING, match]
|
---|
| 906 | # end
|
---|
| 907 | # end
|
---|
| 908 | # end
|
---|
| 909 | # end
|
---|
| 910 |
|
---|
| 911 | # class V_REAL
|
---|
| 912 | # include Yaparc::Parsable
|
---|
| 913 | # def initialize
|
---|
| 914 | # @parser = lambda do |input|
|
---|
| 915 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[0-9]+\.[0-9]+|[0-9]+\.[0-9]+[eE][+-]?[0-9]+/)) do |match|
|
---|
[307] | 916 | # OpenEhr::LOG.info("V_REAL: #{match}")
|
---|
[283] | 917 | # [:V_REAL, match]
|
---|
| 918 | # end
|
---|
| 919 | # end
|
---|
| 920 | # end
|
---|
| 921 | # end
|
---|
| 922 |
|
---|
| 923 | # #V_ISO8601_DURATION PnYnMnWnDTnnHnnMnnS
|
---|
| 924 | # class V_ISO8601_DURATION
|
---|
| 925 | # include Yaparc::Parsable
|
---|
| 926 | # def initialize
|
---|
| 927 | # @parser = lambda do |input|
|
---|
| 928 | # Yaparc::Apply.new(
|
---|
| 929 | # Yaparc::Alt.new(Yaparc::Regex.new(/\AP([0-9]+|[yY])?([0-9]+|[mM])?([0-9]+|[wW])?([0-9]+|[dD])?T([0-9]+|[hH])?([0-9]+|[mM])?([0-9]+|[sS])?/),
|
---|
| 930 | # Yaparc::Regex.new(/\AP([0-9]+|[yY])?([0-9]+|[mM])?([0-9]+|[wW])?([0-9]+|[dD])?/))) do |match|
|
---|
[307] | 931 | # OpenEhr::LOG.info("V_ISO8601_DURATION: #{match}")
|
---|
[283] | 932 | # [:V_ISO8601_DURATION, match]
|
---|
| 933 | # end
|
---|
| 934 | # end
|
---|
| 935 | # end
|
---|
| 936 | # end
|
---|
| 937 |
|
---|
| 938 | # end # of Common
|
---|
| 939 |
|
---|
| 940 | # module DADL
|
---|
| 941 | # # c.f. http://www.openehr.org/svn/ref_impl_eiffel/TRUNK/components/adl_parser/src/syntax/adl/parser/adl_scanner.l
|
---|
| 942 | # RESERVED = {
|
---|
| 943 | # 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 944 | # 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
| 945 | # 'infinity' => :SYM_INFINITY # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 946 | # }
|
---|
| 947 | # #
|
---|
| 948 | # # DADL::RootScanner
|
---|
| 949 | # #
|
---|
| 950 | # class RootScanner
|
---|
| 951 | # include Yaparc::Parsable
|
---|
| 952 | # def initialize
|
---|
| 953 | # @parser = lambda do |input|
|
---|
| 954 | # Yaparc::Alt.new(Reserved.new,
|
---|
[307] | 955 | # OpenEhr::ADL::Scanner::Common::V_QUALIFIED_TERM_CODE_REF.new,
|
---|
| 956 | # OpenEhr::ADL::Scanner::Common::V_LOCAL_TERM_CODE_REF.new,
|
---|
| 957 | # OpenEhr::ADL::Scanner::Common::ERR_V_QUALIFIED_TERM_CODE_REF.new,
|
---|
| 958 | # OpenEhr::ADL::Scanner::Common::V_TYPE_IDENTIFIER.new,
|
---|
| 959 | # OpenEhr::ADL::Scanner::Common::V_GENERIC_TYPE_IDENTIFIER.new,
|
---|
| 960 | # OpenEhr::ADL::Scanner::Common::V_STRING.new,
|
---|
| 961 | # OpenEhr::ADL::Scanner::Common::V_LOCAL_CODE.new,
|
---|
| 962 | # OpenEhr::ADL::Scanner::Common::V_REAL.new,
|
---|
| 963 | # OpenEhr::ADL::Scanner::Common::V_ISO8601_DURATION.new#,
|
---|
| 964 | # #OpenEhr::ADL::Scanner::Common::START_TERM_CODE_CONSTRAINT.new
|
---|
[283] | 965 | # )
|
---|
| 966 | # end
|
---|
| 967 | # end
|
---|
| 968 | # end
|
---|
| 969 |
|
---|
| 970 | # # <DADL::Reserved class>
|
---|
| 971 | # class Reserved
|
---|
| 972 | # include Yaparc::Parsable
|
---|
[19] | 973 |
|
---|
[283] | 974 | # def initialize
|
---|
| 975 | # @parser = lambda do |input|
|
---|
[307] | 976 | # reserved_parsers = OpenEhr::ADL::Scanner::DADL::RESERVED.map do |keyword|
|
---|
[283] | 977 | # Yaparc::Tokenize.new(
|
---|
| 978 | # Yaparc::Literal.new(keyword[0],false)
|
---|
| 979 | # )
|
---|
| 980 | # end
|
---|
| 981 | # Yaparc::Alt.new(Yaparc::Apply.new(Yaparc::Alt.new(*reserved_parsers)) do |match|
|
---|
[307] | 982 | # OpenEhr::LOG.info("Reserved: #{match}")
|
---|
| 983 | # [OpenEhr::ADL::Scanner::DADL::RESERVED[match], OpenEhr::ADL::Scanner::DADL::RESERVED[match]]
|
---|
[283] | 984 | # end,
|
---|
| 985 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[a-z][a-zA-Z0-9_]*/)) do |match|
|
---|
[307] | 986 | # OpenEhr::LOG.info("V_ATTRIBUTE_IDENTIFIER: #{match}")
|
---|
[283] | 987 | # [:V_ATTRIBUTE_IDENTIFIER, match]
|
---|
| 988 | # end)
|
---|
| 989 | # end
|
---|
| 990 | # end
|
---|
| 991 | # end
|
---|
| 992 | # end # of DADL
|
---|
[18] | 993 |
|
---|
[283] | 994 | # module CADL
|
---|
| 995 | # # c.f. http://www.openehr.org/svn/ref_impl_eiffel/TRUNK/components/adl_parser/src/syntax/cadl/parser/cadl_scanner.l
|
---|
| 996 | # RESERVED = {
|
---|
| 997 | # 'ordered' => :SYM_ORDERED, # [Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 998 | # 'unordered' => :SYM_UNORDERED, # [Uu][Nn][Oo][Rr][Dd][Ee][Rr][Ee][Dd]
|
---|
| 999 | # 'then' => :SYM_THEN, # [Tt][Hh][Ee][Nn]
|
---|
| 1000 | # 'else' => :SYM_ELSE, # [Ee][Ll][Ss][Ee]
|
---|
| 1001 | # 'and' => :SYM_AND, # [Aa][Nn][Dd]
|
---|
| 1002 | # 'or' => :SYM_OR, # [Oo][Rr]
|
---|
| 1003 | # 'xor' => :SYM_XOR, # [Xx][Oo][Rr]
|
---|
| 1004 | # 'not' => :SYM_NOT, # [Nn][Oo][Tt]
|
---|
| 1005 | # 'implies' => :SYM_IMPLIES, # [Ii][Mm][Pp][Ll][Ii][Ee][Ss]
|
---|
| 1006 | # 'true' => :SYM_TRUE, #[Tt][Rr][Uu][Ee] -- -> SYM_TRUE
|
---|
| 1007 | # 'false' => :SYM_FALSE, # [Ff][Aa][Ll][Ss][Ee] -- -> SYM_FALSE
|
---|
| 1008 | # 'forall' => :SYM_FORALL, # [Ff][Oo][Rr][_][Aa][Ll][Ll]
|
---|
| 1009 | # 'exists' => :SYM_EXISTS, # [Ee][Xx][Ii][Ss][Tt][Ss]
|
---|
| 1010 | # 'existence' => :SYM_EXISTENCE, # [Ee][Xx][Iu][Ss][Tt][Ee][Nn][Cc][Ee]
|
---|
| 1011 | # 'occurrences' => :SYM_OCCURRENCES, # [Oo][Cc][Cc][Uu][Rr][Rr][Ee][Nn][Cc][Ee][Ss]
|
---|
| 1012 | # 'cardinality' => :SYM_CARDINALITY, # [Cc][Aa][Rr][Dd][Ii][Nn][Aa][Ll][Ii][Tt][Yy]
|
---|
| 1013 | # 'unique' => :SYM_UNIQUE, # [Uu][Nn][Ii][Qq][Uu][Ee]
|
---|
| 1014 | # 'matches' => :SYM_MATCHES, # [Mm][Aa][Tt][Cc][Hh][Ee][Ss]
|
---|
| 1015 | # 'is_in' => :SYM_MATCHES, # [Ii][Ss][_][Ii][Nn]
|
---|
| 1016 | # 'invariant' => :SYM_INVARIANT, # [Ii][Nn][Vv][Aa][Rr][Ii][Aa][Nn][Tt]
|
---|
| 1017 | # 'infinity' => :SYM_INFINITY, # [Ii][Nn][Ff][Ii][Nn][Ii][Tt][Yy] -- -> SYM_INFINITY
|
---|
| 1018 | # 'use_node' => :SYM_USE_NODE, # [Uu][Ss][Ee][_][Nn][Oo][Dd][Ee]
|
---|
| 1019 | # 'use_archetype' => :SYM_ALLOW_ARCHETYPE, # [Uu][Ss][Ee][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 1020 | # 'allow_archetype' => :SYM_ALLOW_ARCHETYPE, # [Aa][Ll][Ll][Oo][Ww][_][Aa][Rr][Cc][Hh][Ee][Tt][Yy][Pp][Ee]
|
---|
| 1021 | # 'include' => :SYM_INCLUDE, # [Ii][Nn][Cc][Ll][Uu][Dd][Ee]
|
---|
| 1022 | # 'exclude' => :SYM_EXCLUDE # [Ee][Xx][Cc][Ll][Uu][Dd][Ee]
|
---|
| 1023 | # }
|
---|
[19] | 1024 |
|
---|
[283] | 1025 | # #V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN, /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X][T\t][hH?X][hH?X]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
| 1026 | # class V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN
|
---|
| 1027 | # include Yaparc::Parsable
|
---|
| 1028 | # def initialize
|
---|
| 1029 | # @parser = lambda do |input|
|
---|
| 1030 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X][T\t][hH?X][hH?X]:[mM?X][mM?X]:[sS?X][sS?X]/)) do |match|
|
---|
[307] | 1031 | # OpenEhr::LOG.info("V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN: #{match}")
|
---|
[283] | 1032 | # [:V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN, match]
|
---|
| 1033 | # end
|
---|
| 1034 | # end
|
---|
| 1035 | # end
|
---|
| 1036 | # end
|
---|
[19] | 1037 |
|
---|
[283] | 1038 | # #V_ISO8601_DATE_CONSTRAINT_PATTERN /\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X]/
|
---|
| 1039 | # class V_ISO8601_DATE_CONSTRAINT_PATTERN
|
---|
| 1040 | # include Yaparc::Parsable
|
---|
| 1041 | # def initialize
|
---|
| 1042 | # @parser = lambda do |input|
|
---|
| 1043 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[yY][yY][yY][yY]-[mM?X][mM?X]-[dD?X][dD?X]/)) do |match|
|
---|
[307] | 1044 | # OpenEhr::LOG.info("V_ISO8601_DATE_CONSTRAINT_PATTERN: #{match}")
|
---|
[283] | 1045 | # [:V_ISO8601_DATE_CONSTRAINT_PATTERN, match]
|
---|
| 1046 | # end
|
---|
| 1047 | # end
|
---|
| 1048 | # end
|
---|
| 1049 | # end
|
---|
[19] | 1050 |
|
---|
[283] | 1051 | # #V_ISO8601_TIME_CONSTRAINT_PATTERN /\A[hH][hH]:[mM?X][mM?X]:[sS?X][sS?X]/
|
---|
| 1052 | # class V_ISO8601_TIME_CONSTRAINT_PATTERN
|
---|
| 1053 | # include Yaparc::Parsable
|
---|
| 1054 | # def initialize
|
---|
| 1055 | # @parser = lambda do |input|
|
---|
| 1056 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[hH][hH]:[mM?X][mM?X]:[sS?X][sS?X]/)) do |match|
|
---|
[307] | 1057 | # OpenEhr::LOG.info("V_ISO8601_TIME_CONSTRAINT_PATTERN: #{match}")
|
---|
[283] | 1058 | # [:V_ISO8601_TIME_CONSTRAINT_PATTERN, match]
|
---|
| 1059 | # end
|
---|
| 1060 | # end
|
---|
| 1061 | # end
|
---|
| 1062 | # end
|
---|
[19] | 1063 |
|
---|
[283] | 1064 | # #V_ISO8601_DURATION_CONSTRAINT_PATTERN
|
---|
| 1065 | # class V_ISO8601_DURATION_CONSTRAINT_PATTERN
|
---|
| 1066 | # include Yaparc::Parsable
|
---|
| 1067 | # def initialize
|
---|
| 1068 | # @parser = lambda do |input|
|
---|
| 1069 | # Yaparc::Apply.new(Yaparc::Alt.new(Yaparc::Regex.new(/\AP[yY]?[mM]?[wW]?[dD]?T[hH]?[mM]?[sS]?/),
|
---|
| 1070 | # Yaparc::Regex.new(/\AP[yY]?[mM]?[wW]?[dD]?/))) do |match|
|
---|
[307] | 1071 | # OpenEhr::LOG.info("V_ISO8601_DURATION_CONSTRAINT_PATTERN: #{match}")
|
---|
[283] | 1072 | # [:V_ISO8601_DURATION_CONSTRAINT_PATTERN, match]
|
---|
| 1073 | # end
|
---|
| 1074 | # end
|
---|
| 1075 | # end
|
---|
| 1076 | # end
|
---|
[26] | 1077 |
|
---|
[283] | 1078 | # #V_C_DOMAIN_TYPE /\A[A-Z][a-zA-Z0-9_]*[ \n]*\</
|
---|
| 1079 | # class V_C_DOMAIN_TYPE
|
---|
| 1080 | # include Yaparc::Parsable
|
---|
| 1081 | # def initialize
|
---|
| 1082 | # @parser = lambda do |input|
|
---|
| 1083 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[A-Z][a-zA-Z0-9_]*[ \n]*\</)) do |match|
|
---|
[307] | 1084 | # OpenEhr::LOG.info("V_C_DOMAIN_TYPE: #{match}")
|
---|
[283] | 1085 | # [:START_V_C_DOMAIN_TYPE_BLOCK, match]
|
---|
| 1086 | # end
|
---|
| 1087 | # end
|
---|
| 1088 | # end
|
---|
| 1089 | # end
|
---|
[19] | 1090 |
|
---|
[283] | 1091 | # #
|
---|
| 1092 | # # CADL::RootScanner
|
---|
| 1093 | # #
|
---|
| 1094 | # class RootScanner
|
---|
| 1095 | # include Yaparc::Parsable
|
---|
| 1096 | # def initialize
|
---|
| 1097 | # @parser = lambda do |input|
|
---|
| 1098 | # Yaparc::Alt.new(V_ISO8601_DATE_TIME_CONSTRAINT_PATTERN.new,
|
---|
| 1099 | # V_ISO8601_DATE_CONSTRAINT_PATTERN.new,
|
---|
| 1100 | # V_ISO8601_TIME_CONSTRAINT_PATTERN.new,
|
---|
[307] | 1101 | # OpenEhr::ADL::Scanner::Common::V_ISO8601_DURATION.new,
|
---|
[283] | 1102 | # V_C_DOMAIN_TYPE.new,
|
---|
| 1103 | # V_ISO8601_DURATION_CONSTRAINT_PATTERN.new,
|
---|
| 1104 | # Reserved.new,
|
---|
[307] | 1105 | # OpenEhr::ADL::Scanner::Common::V_QUALIFIED_TERM_CODE_REF.new,
|
---|
| 1106 | # OpenEhr::ADL::Scanner::Common::V_LOCAL_TERM_CODE_REF.new,
|
---|
| 1107 | # OpenEhr::ADL::Scanner::Common::ERR_V_QUALIFIED_TERM_CODE_REF.new,
|
---|
| 1108 | # OpenEhr::ADL::Scanner::Common::V_TYPE_IDENTIFIER.new,
|
---|
| 1109 | # OpenEhr::ADL::Scanner::Common::V_GENERIC_TYPE_IDENTIFIER.new,
|
---|
| 1110 | # OpenEhr::ADL::Scanner::Common::V_STRING.new,
|
---|
| 1111 | # OpenEhr::ADL::Scanner::Common::V_LOCAL_CODE.new,
|
---|
| 1112 | # OpenEhr::ADL::Scanner::Common::V_REAL.new,
|
---|
| 1113 | # OpenEhr::ADL::Scanner::Common::V_ISO8601_DURATION.new#,
|
---|
| 1114 | # #OpenEhr::ADL::Scanner::Common::START_TERM_CODE_CONSTRAINT.new
|
---|
[283] | 1115 | # )
|
---|
| 1116 | # end
|
---|
| 1117 | # end
|
---|
| 1118 | # end
|
---|
[19] | 1119 |
|
---|
[283] | 1120 | # # <CADL::Reserved class>
|
---|
| 1121 | # class Reserved
|
---|
| 1122 | # include Yaparc::Parsable
|
---|
[19] | 1123 |
|
---|
[283] | 1124 | # def initialize
|
---|
| 1125 | # @parser = lambda do |input|
|
---|
| 1126 | # orderd_reserved = RESERVED.keys.sort{|x,y| y.length <=> x.length }
|
---|
| 1127 | # reserved_parsers = orderd_reserved.map do |keyword|
|
---|
| 1128 | # Yaparc::Literal.new(keyword,false)
|
---|
| 1129 | # end
|
---|
| 1130 | # Yaparc::Alt.new(Yaparc::Apply.new(Yaparc::Alt.new(*reserved_parsers)) do |match|
|
---|
[307] | 1131 | # OpenEhr::LOG.info("Reserved: #{match}")
|
---|
| 1132 | # [OpenEhr::ADL::Scanner::CADL::RESERVED[match], OpenEhr::ADL::Scanner::CADL::RESERVED[match]]
|
---|
[283] | 1133 | # end,
|
---|
| 1134 | # Yaparc::Apply.new(Yaparc::Regex.new(/\A[a-z][a-zA-Z0-9_]*/)) do |match|
|
---|
[307] | 1135 | # OpenEhr::LOG.info("V_ATTRIBUTE_IDENTIFIER: #{match}")
|
---|
[283] | 1136 | # [:V_ATTRIBUTE_IDENTIFIER, match]
|
---|
| 1137 | # end)
|
---|
| 1138 | # end
|
---|
| 1139 | # end
|
---|
| 1140 | # end
|
---|
[19] | 1141 |
|
---|
[283] | 1142 | # end
|
---|
| 1143 |
|
---|
| 1144 |
|
---|