public NAMESPACE find(Identifier name) { NAMESPACE result = null; for (int i = 0, n = Length; i < n; i++) { if (namespaces[i].name.Name == name.Name) { result = namespaces[i]; break; } } return(result); }
public NAMESPACE find(NAMESPACE ns) { NAMESPACE result = null; for (int i = 0, n = Length; i < n; i++) { if (namespaces[i] == ns) { result = namespaces[i]; break; } } return(result); }
public void Add(NAMESPACE ns) { int n = this.namespaces.Length; int i = this.length++; if (i == n) { NAMESPACE[] new_namespaces = new NAMESPACE[n + 8]; for (int j = 0; j < n; j++) { new_namespaces[j] = namespaces[j]; } this.namespaces = new_namespaces; } this.namespaces[i] = ns; }
public SettingsReceiver(Device device, NAMESPACE ns, string setting) { this.device = device; this.ns = ns; this.setting = setting; }
public SettingsReceiver(Device device, NAMESPACE ns, string setting) { this.device = device; this.ns = ns; this.setting = setting; }