Mercurial > pub > Impl
annotate Lib/IMPL/DOM/Schema.pm @ 263:0f59b2de72af
*fixed IMPL::DOM::Schema circular module references
*modified IMPL::Object::Singleton, added auto-activation
*code cleanups, docs
| author | sergey |
|---|---|
| date | Wed, 09 Jan 2013 05:17:44 +0400 |
| parents | 129e48bb5afb |
| children | 89179bb8c388 |
| rev | line source |
|---|---|
| 49 | 1 package IMPL::DOM::Schema; |
| 2 use strict; | |
| 3 use warnings; | |
| 4 | |
| 230 | 5 use IMPL::require { |
| 6 ComplexNode => 'IMPL::DOM::Schema::ComplexNode', | |
| 7 ComplexType => 'IMPL::DOM::Schema::ComplexType', | |
| 8 SimpleNode => 'IMPL::DOM::Schema::SimpleNode', | |
| 9 SimpleType => 'IMPL::DOM::Schema::SimpleType', | |
| 10 Node => 'IMPL::DOM::Schema::Node', | |
| 11 AnyNode => 'IMPL::DOM::Schema::AnyNode', | |
| 12 NodeList => 'IMPL::DOM::Schema::NodeList', | |
| 13 NodeSet => 'IMPL::DOM::Schema::NodeSet', | |
| 14 Property => 'IMPL::DOM::Schema::Property', | |
| 15 SwitchNode => 'IMPL::DOM::Schema::SwitchNode', | |
| 16 Validator => 'IMPL::DOM::Schema::Validator', | |
| 17 Builder => 'IMPL::DOM::Navigator::Builder', | |
| 263 | 18 XMLReader => 'IMPL::DOM::XMLReader', # XMLReader references Schema |
| 230 | 19 InflateFactory => 'IMPL::DOM::Schema::InflateFactory', |
| 232 | 20 Loader => 'IMPL::Code::Loader' |
| 230 | 21 }; |
| 49 | 22 |
| 166 | 23 use parent qw(IMPL::DOM::Document); |
| 49 | 24 use IMPL::Class::Property; |
| 25 use IMPL::Class::Property::Direct; | |
| 101 | 26 use File::Spec; |
| 49 | 27 |
| 28 our %CTOR = ( | |
| 29 'IMPL::DOM::Document' => sub { nodeName => 'schema' } | |
| 30 ); | |
| 31 | |
| 32 BEGIN { | |
| 33 private _direct property _TypesMap => prop_all; | |
| 101 | 34 public _direct property baseDir => prop_all; |
| 49 | 35 public _direct property BaseSchemas => prop_get | owner_set; |
| 36 } | |
| 37 | |
| 230 | 38 my $validatorLoader = Loader->new(prefix => Validator, verifyNames => 1); |
| 39 | |
| 250 | 40 #TODO rename and remove |
| 49 | 41 sub resolveType { |
| 246 | 42 $_[0]->{$_TypesMap}->{$_[1]} or die IMPL::KeyNotFoundException->new($_[1]); |
| 49 | 43 } |
| 44 | |
| 102 | 45 sub CTOR { |
| 194 | 46 my ($this,%args) = @_; |
| 47 | |
| 48 $this->{$baseDir} = ($args{baseDir} || '.'); | |
| 102 | 49 } |
| 50 | |
| 250 | 51 # compat |
| 52 sub ResolveType { | |
| 53 goto &resolveType | |
| 54 } | |
| 55 | |
| 49 | 56 sub Create { |
| 57 my ($this,$nodeName,$class,$refArgs) = @_; | |
| 58 | |
| 100 | 59 die new IMPL::Exception('Invalid node class') unless $class->isa('IMPL::DOM::Node'); |
| 49 | 60 |
| 101 | 61 if ($class->isa('IMPL::DOM::Schema::Validator')) { |
| 230 | 62 $class = $validatorLoader->GetFullName($nodeName); |
| 194 | 63 unless (eval {$class->can('new')}) { |
| 232 | 64 eval { |
| 65 $validatorLoader->Require($nodeName); | |
| 66 }; | |
| 67 my $e = $@; | |
| 194 | 68 die new IMPL::Exception("Invalid validator",$class,$e) if $e; |
| 69 } | |
| 101 | 70 } |
| 71 | |
| 72 return $this->SUPER::Create($nodeName,$class,$refArgs); | |
| 49 | 73 } |
| 74 | |
| 75 sub Process { | |
| 76 my ($this) = @_; | |
| 77 | |
| 101 | 78 # process instructions |
| 79 $this->Include($_) foreach map $_->nodeProperty('source'), $this->selectNodes('Include'); | |
| 80 | |
| 81 # build types map | |
| 49 | 82 $this->{$_TypesMap} = { map { $_->type, $_ } $this->selectNodes(sub { $_[0]->nodeName eq 'ComplexType' || $_[0]->nodeName eq 'SimpleType' } ) }; |
| 83 } | |
| 84 | |
| 101 | 85 sub Include { |
| 194 | 86 my ($this,$file) = @_; |
| 87 | |
| 88 my $schema = $this->LoadSchema(File::Spec->catfile($this->baseDir, $file)); | |
| 89 | |
| 90 $this->appendRange( $schema->childNodes ); | |
| 101 | 91 } |
| 92 | |
| 93 sub LoadSchema { | |
| 194 | 94 my ($this,$file) = @_; |
| 95 | |
| 96 $file = File::Spec->rel2abs($file); | |
| 97 | |
| 98 my $class = ref $this || $this; | |
| 99 | |
| 232 | 100 my $reader = XMLReader->new( |
| 230 | 101 Navigator => Builder->new( |
| 194 | 102 $class, |
| 103 $class->MetaSchema | |
| 104 ), | |
| 105 SkipWhitespace => 1 | |
| 106 ); | |
| 107 | |
| 108 $reader->ParseFile($file); | |
| 109 | |
| 110 my $schema = $reader->Navigator->Document; | |
| 111 | |
| 112 my ($vol,$dir) = File::Spec->splitpath($file); | |
| 113 | |
| 114 $schema->baseDir($dir); | |
| 115 | |
| 116 my @errors = $class->MetaSchema->Validate($schema); | |
| 117 | |
| 245 | 118 die new IMPL::Exception("Schema is invalid",$file,map( $_->message, @errors ) ) if @errors; |
| 194 | 119 |
| 120 $schema->Process; | |
| 121 | |
| 122 return $schema; | |
| 101 | 123 } |
| 124 | |
| 49 | 125 sub Validate { |
| 126 my ($this,$node) = @_; | |
| 127 | |
| 230 | 128 if ( my ($schemaNode) = $this->selectNodes(sub { $_->isa(Node) and $_[0]->name eq $node->nodeName })) { |
| 49 | 129 $schemaNode->Validate($node); |
| 130 } else { | |
| 126 | 131 return new IMPL::DOM::Schema::ValidationError(Node => $node, Message=> "A specified document (%Node.nodeName%) doesn't match the schema"); |
| 49 | 132 } |
| 133 } | |
| 134 | |
| 135 my $schema; | |
| 136 | |
| 137 sub MetaSchema { | |
| 138 | |
| 139 return $schema if $schema; | |
| 140 | |
| 232 | 141 $schema = __PACKAGE__->new(); |
| 49 | 142 |
| 143 $schema->appendRange( | |
| 230 | 144 ComplexNode->new(name => 'schema')->appendRange( |
| 145 NodeSet->new()->appendRange( | |
| 146 Node->new(name => 'ComplexNode', type => 'ComplexNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 147 Node->new(name => 'ComplexType', type => 'ComplexType', minOccur => 0, maxOccur=>'unbounded'), | |
| 148 Node->new(name => 'SimpleNode', type => 'SimpleNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 149 Node->new(name => 'SimpleType', type => 'SimpleType', minOccur => 0, maxOccur=>'unbounded'), | |
| 150 Node->new(name => 'Node', type => 'Node', minOccur => 0, maxOccur=>'unbounded'), | |
| 151 SimpleNode->new(name => 'Include', minOccur => 0, maxOccur=>'unbounded')->appendRange( | |
| 152 Property->new(name => 'source') | |
| 49 | 153 ) |
| 154 ), | |
| 155 ), | |
| 230 | 156 ComplexType->new(type => 'NodeSet', nativeType => 'IMPL::DOM::Schema::NodeSet')->appendRange( |
| 157 NodeSet->new()->appendRange( | |
| 158 Node->new(name => 'ComplexNode', type => 'ComplexNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 159 Node->new(name => 'SimpleNode', type => 'SimpleNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 160 Node->new(name => 'Node', type=>'Node', minOccur => 0, maxOccur=>'unbounded'), | |
| 161 SwitchNode->new(minOccur => 0, maxOccur => 1)->appendRange( | |
| 162 Node->new(name => 'AnyNode', type => 'AnyNode'), | |
| 163 Node->new(name => 'SwitchNode',type => 'SwitchNode') | |
| 49 | 164 ) |
| 165 ) | |
| 166 ), | |
| 230 | 167 ComplexType->new(type => 'SwitchNode', nativeType => 'IMPL::DOM::Schema::SwitchNode')->appendRange( |
| 168 NodeSet->new()->appendRange( | |
| 169 Node->new(name => 'ComplexNode', type=>'ComplexNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 170 Node->new(name => 'SimpleNode', type=>'SimpleNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 171 Node->new(name => 'Node', type=>'Node', minOccur => 0, maxOccur=>'unbounded'), | |
| 49 | 172 ) |
| 173 ), | |
| 230 | 174 ComplexType->new(type => 'NodeList', nativeType => 'IMPL::DOM::Schema::NodeList')->appendRange( |
| 175 NodeSet->new()->appendRange( | |
| 176 Node->new(name => 'ComplexNode', type => 'ComplexNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 177 Node->new(name => 'SimpleNode', type => 'SimpleNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 178 Node->new(name => 'SwitchNode',type => 'SwitchNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 179 Node->new(name => 'Node', type => 'Node', minOccur => 0, maxOccur=>'unbounded'), | |
| 180 Node->new(name => 'AnyNode', type => 'AnyNode', minOccur => 0, maxOccur=>'unbounded'), | |
| 49 | 181 ) |
| 182 ), | |
| 230 | 183 ComplexType->new(type => 'ComplexType', nativeType => 'IMPL::DOM::Schema::ComplexType')->appendRange( |
| 184 NodeList->new()->appendRange( | |
| 185 SwitchNode->new()->appendRange( | |
| 186 Node->new(name => 'NodeSet', type => 'NodeSet'), | |
| 187 Node->new(name => 'NodeList',type => 'NodeList'), | |
| 49 | 188 ), |
| 230 | 189 Node->new(name => 'Property', type=>'Property', maxOccur=>'unbounded', minOccur=>0), |
| 190 AnyNode->new(maxOccur => 'unbounded', minOccur => 0, type=>'Validator') | |
| 49 | 191 ), |
| 230 | 192 Property->new(name => 'type') |
| 49 | 193 ), |
| 230 | 194 ComplexType->new(type => 'ComplexNode', nativeType => 'IMPL::DOM::Schema::ComplexNode')->appendRange( |
| 195 NodeList->new()->appendRange( | |
| 196 SwitchNode->new()->appendRange( | |
| 197 Node->new(name => 'NodeSet', type => 'NodeSet'), | |
| 198 Node->new(name => 'NodeList',type => 'NodeList'), | |
| 49 | 199 ), |
| 230 | 200 Node->new(name => 'Property', type=>'Property', maxOccur=>'unbounded', minOccur=>0), |
| 201 AnyNode->new(maxOccur => 'unbounded', minOccur => 0, type=>'Validator') | |
| 49 | 202 ), |
| 230 | 203 Property->new(name => 'name') |
| 49 | 204 ), |
| 230 | 205 ComplexType->new(type => 'SimpleType', nativeType => 'IMPL::DOM::Schema::SimpleType')->appendRange( |
| 206 NodeList->new()->appendRange( | |
| 207 Node->new(name => 'Property', type=>'Property', maxOccur=>'unbounded', minOccur=>0), | |
| 208 AnyNode->new(maxOccur => 'unbounded', minOccur => 0, type=>'Validator') | |
| 49 | 209 ), |
| 230 | 210 Property->new(name => 'type'), |
| 232 | 211 Property->new(name => 'inflator', optional => 1, inflator => 'IMPL::DOM::Schema::InflateFactory') |
| 49 | 212 ), |
| 230 | 213 ComplexType->new(type => 'SimpleNode', nativeType => 'IMPL::DOM::Schema::SimpleNode')->appendRange( |
| 214 NodeList->new()->appendRange( | |
| 215 Node->new(name => 'Property', type=>'Property', maxOccur=>'unbounded', minOccur=>0), | |
| 216 AnyNode->new(maxOccur => 'unbounded', minOccur => 0, type=>'Validator') | |
| 49 | 217 ), |
| 230 | 218 Property->new(name => 'name'), |
| 219 Property->new(name => 'inflator', optional => 1, inflator => 'IMPL::DOM::Schema::InflateFactory') | |
| 49 | 220 ), |
| 230 | 221 ComplexType->new(type => 'Validator', nativeType => 'IMPL::DOM::Schema::Validator')->appendRange( |
| 222 NodeList->new()->appendRange( | |
| 223 AnyNode->new(maxOccur => 'unbounded', minOccur => 0) | |
| 100 | 224 ) |
| 102 | 225 ), |
| 230 | 226 ComplexType->new(type => 'Property', nativeType => 'IMPL::DOM::Schema::Property' )->appendRange( |
| 227 NodeList->new()->appendRange( | |
| 228 AnyNode->new(maxOccur => 'unbounded', minOccur => 0) | |
| 194 | 229 ), |
| 230 | 230 Property->new(name => 'name'), |
| 231 Property->new(name => 'inflator', optional => 1, inflator => 'IMPL::DOM::Schema::InflateFactory') | |
|
104
196bf443b5e1
DOM::Schema RC0 inflators support, validation and some other things,
wizard
parents:
103
diff
changeset
|
232 ), |
| 230 | 233 SimpleType->new(type => 'Node', nativeType => 'IMPL::DOM::Schema::Node')->appendRange( |
| 234 Property->new(name => 'name'), | |
| 235 Property->new(name => 'type') | |
|
104
196bf443b5e1
DOM::Schema RC0 inflators support, validation and some other things,
wizard
parents:
103
diff
changeset
|
236 ), |
| 230 | 237 SimpleType->new(type => 'AnyNode', nativeType => 'IMPL::DOM::Schema::AnyNode') |
| 49 | 238 ); |
| 239 | |
| 240 $schema->Process; | |
| 241 | |
| 242 return $schema; | |
| 243 } | |
| 244 | |
| 245 1; | |
| 246 | |
| 247 __END__ | |
| 248 | |
| 249 =pod | |
| 250 | |
| 98 | 251 =head1 NAME |
| 252 | |
| 180 | 253 C<IMPL::DOM::Schema> - Схема документа. |
| 98 | 254 |
| 49 | 255 =head1 DESCRIPTION |
| 256 | |
| 166 | 257 C<use parent qw(IMPL::DOM::Document)> |
| 98 | 258 |
| 180 | 259 DOM схема - это документ, состоящий из определенных узлов, описывающая структуру |
| 260 других документов. | |
| 49 | 261 |
| 262 =head1 METHODS | |
| 263 | |
| 264 =over | |
| 265 | |
| 266 =item C<< $obj->Process() >> | |
| 267 | |
| 180 | 268 Обновляет таблицу типов из содержимого. |
| 49 | 269 |
| 270 =item C<< $obj->ResolveType($typeName) >> | |
| 271 | |
| 180 | 272 Возвращает схему типа c именем C<$typeName>. |
| 49 | 273 |
| 274 =back | |
| 275 | |
| 276 =head1 META SCHEMA | |
| 277 | |
| 180 | 278 Схема для описания схемы, эта схема используется для постороения других схем, выглядит приблизительно так |
| 49 | 279 |
| 98 | 280 =begin code xml |
| 281 | |
| 49 | 282 <schema> |
| 283 <ComplexNode name="schema"> | |
| 284 <NodeSet> | |
| 285 <Node minOcuur="0" maxOccur="unbounded" name="ComplexNode" type="ComplexNode"/> | |
| 286 <Node minOcuur="0" maxOccur="unbounded" name="SimpleNode" type="SimpleNode"/> | |
| 287 <Node minOcuur="0" maxOccur="unbounded" name="ComplexType" type="ComplexType"/> | |
| 288 <Node minOcuur="0" maxOccur="unbounded" name="SimpleType" type="SimpleType"/> | |
| 289 <SimpleNode minOcuur="0" maxOccur="unbounded" name="Node"/> | |
| 290 <SimpleNode minOcuur="0" maxOccur="unbounded" name="Include"/> | |
| 291 </NodeSet> | |
| 292 </ComplexNode> | |
| 293 | |
| 294 <ComplexType type="NodeContainer"> | |
| 295 <NodeSet> | |
| 296 <Node minOcuur="0" maxOccur="unbounded" name="ComplexNode" type="ComplexNode"/> | |
| 297 <Node minOcuur="0" maxOccur="unbounded" name="SimpleNode" type="SimpleNode"/> | |
| 298 <SimpleNode minOcuur="0" maxOccur="unbounded" name="Node"/> | |
| 299 </NodeSet> | |
| 300 </ComplexType> | |
| 301 | |
| 302 <ComplexType type="ComplexType"> | |
| 303 <NodeList> | |
| 304 <Node name="NodeSet" type="NodeContainer" minOcuur=0/> | |
| 305 <Node name="NodeList" type="NodeContainer" minOccur=0/> | |
| 306 <AnyNode minOccur="0" maxOccur="unbounded" type="Validator"/> | |
| 307 </NodeList> | |
| 308 </ComplexType> | |
| 309 | |
| 310 <ComplexType type="ComplexNode"> | |
| 311 <NodeList> | |
| 312 <Node name="NodeSet" type="NodeContainer" minOcuur=0/> | |
| 313 <Node name="NodeList" type="NodeContainer" minOccur=0/> | |
| 314 <AnyNode minOccur="0" maxOccur="unbounded" type="Validator"/> | |
| 315 </NodeList> | |
| 316 </ComplexType> | |
| 317 | |
| 318 <ComplexType type="SimpleNode"> | |
| 319 <NodeSet> | |
| 320 <AnyNode minOccur=0 maxOccur="unbounded" type="Validator"/> | |
| 321 </NodeSet> | |
| 322 </ComplexType> | |
| 323 | |
| 324 <ComplexType type="SimpleType"> | |
| 325 <NodeSet> | |
| 326 <AnyNode minOccur=0 maxOccur="unbounded" type="Validator"/> | |
| 327 </NodeSet> | |
| 328 </ComplexType> | |
| 329 | |
| 330 <ComplexType type="Validator"> | |
| 331 <NodeSet> | |
| 332 <AnyNode minOccur=0 maxOccur="unbounded"/> | |
| 333 </NodeSet> | |
| 334 </ComplexType> | |
| 335 | |
| 336 </schema> | |
| 337 | |
| 98 | 338 =end code xml |
| 339 | |
| 49 | 340 =cut |