home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.DocumentPreferences;
- import com.extensibility.xml.AuditTrail;
- import com.extensibility.xml.URI;
- import java.util.Enumeration;
- import java.util.Vector;
-
- class ModuleRegistry {
- Vector reg = new Vector();
-
- void setEditable(URI var1) {
- this.setEditable(var1, !var1.isReadOnly());
- }
-
- void setup(URI var1, Enumeration var2) {
- this.createEntry(var1).auditTrail.setup(var2);
- }
-
- DocumentPreferences getPreferences(URI var1) {
- return this.createEntry(var1).prefs;
- }
-
- void setPreferences(URI var1, DocumentPreferences var2) {
- this.createEntry(var1).prefs = var2;
- }
-
- ModuleRegistryEntry addModule(URI var1) {
- ModuleRegistryEntry var2 = new ModuleRegistryEntry(var1, false, false);
- this.reg.addElement(var2);
- return var2;
- }
-
- private void removeModule(ModuleRegistryEntry var1) {
- this.reg.removeElement(var1);
- }
-
- void updateURI(URI var1, URI var2) {
- if (!var2.equals(var1)) {
- ModuleRegistryEntry var3 = this.getEntry(var2);
- ModuleRegistryEntry var4 = this.getEntry(var1);
- if (var4 != null) {
- var4.uri = var2;
- if (var3 != null) {
- }
- } else if (var3 == null) {
- this.createEntry(var2);
- }
-
- }
- }
-
- void setEditable(URI var1, boolean var2) {
- this.createEntry(var1).isEditable = var2;
- }
-
- boolean isEditable(URI var1) {
- return this.createEntry(var1).isEditable;
- }
-
- void touch(URI var1) {
- this.createEntry(var1).isTouched = true;
- }
-
- void setTouched(URI var1, boolean var2) {
- this.createEntry(var1).isTouched = var2;
- }
-
- boolean isTouched(URI var1) {
- return this.createEntry(var1).isTouched;
- }
-
- boolean isTouched() {
- Enumeration var1 = this.reg.elements();
-
- while(var1.hasMoreElements()) {
- URI var2 = ((ModuleRegistryEntry)var1.nextElement()).uri;
- if (this.isTouched(var2)) {
- return true;
- }
- }
-
- return false;
- }
-
- Vector getAllURIs() {
- Vector var1 = new Vector();
- Enumeration var2 = this.reg.elements();
-
- while(var2.hasMoreElements()) {
- URI var3 = ((ModuleRegistryEntry)var2.nextElement()).uri;
- var1.addElement(var3);
- }
-
- return var1;
- }
-
- Vector getTouchedURIs() {
- Vector var1 = new Vector();
- Enumeration var2 = this.reg.elements();
-
- while(var2.hasMoreElements()) {
- URI var3 = ((ModuleRegistryEntry)var2.nextElement()).uri;
- if (this.isTouched(var3)) {
- var1.addElement(var3);
- }
- }
-
- return var1;
- }
-
- AuditTrail getAuditTrail(URI var1) {
- return var1 == null ? null : this.createEntry(var1).auditTrail;
- }
-
- private ModuleRegistryEntry getEntry(URI var1) {
- for(int var3 = 0; var3 < this.reg.size(); ++var3) {
- ModuleRegistryEntry var2 = (ModuleRegistryEntry)this.reg.elementAt(var3);
- if (var2.uri.equals(var1)) {
- return var2;
- }
- }
-
- return null;
- }
-
- private ModuleRegistryEntry createEntry(URI var1) {
- ModuleRegistryEntry var2 = this.getEntry(var1);
- if (var2 == null) {
- var2 = this.addModule(var1);
- }
-
- return var2;
- }
- }
-