@Override public void addPatcher( Patch patcher ) { parser.patcherManager.addPatcher(patcher); } @Override
@Override public void addPatcher( Patch patcher ) { parser.patcherManager.addPatcher(patcher); } @Override
public void addPatcher( Patch patcher ) { parser.patcherManager.addPatcher(patcher); } public void addErrorChecker( Patch patcher ) {
public void addPatcher( Patch patcher ) { parser.patcherManager.addPatcher(patcher); } public void addErrorChecker( Patch patcher ) {
public void addPatcher( Patch patcher ) { parser.patcherManager.addPatcher(patcher); } public void addErrorChecker( Patch patcher ) {
DelayedRef( PatcherManager _manager, Locator _source, SchemaImpl _schema, UName _name ) { this.schema = _schema.getRoot(); this.manager = _manager; this.name = _name; this.source = _source; if(name==null) throw new InternalError(); manager.addPatcher(this); }
DelayedRef( PatcherManager _manager, Locator _source, SchemaImpl _schema, UName _name ) { this.schema = _schema.getRoot(); this.manager = _manager; this.name = _name; this.source = _source; if(name==null) throw new InternalError(); manager.addPatcher(this); }
DelayedRef( PatcherManager _manager, Locator _source, SchemaImpl _schema, UName _name ) { this.schema = _schema.getRoot(); this.manager = _manager; this.name = _name; this.source = _source; if(name==null) throw new InternalError(); manager.addPatcher(this); }
DelayedRef( PatcherManager _manager, Locator _source, SchemaImpl _schema, UName _name ) { this.schema = _schema.getRoot(); this.manager = _manager; this.name = _name; this.source = _source; if(name==null) throw new InternalError(); manager.addPatcher(this); }
DelayedRef( PatcherManager _manager, Locator _source, SchemaImpl _schema, UName _name ) { this.schema = _schema.getRoot(); this.manager = _manager; this.name = _name; this.source = _source; if(name==null) throw new InternalError(); manager.addPatcher(this); }