summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-10-10 08:33:35 +0000
committermichelou <michelou@epfl.ch>2005-10-10 08:33:35 +0000
commit99369b682036619cef22b941a885588db39107a3 (patch)
tree0712f0268526c8799853ee435ceacb99f2895ae7
parent5af15214f17fb47eb8030899162111260333915a (diff)
downloadscala-99369b682036619cef22b941a885588db39107a3.tar.gz
scala-99369b682036619cef22b941a885588db39107a3.tar.bz2
scala-99369b682036619cef22b941a885588db39107a3.zip
- added CVS header.
-rw-r--r--sources/scala/xml/MetaData.scala22
-rw-r--r--sources/scala/xml/Null.scala21
2 files changed, 31 insertions, 12 deletions
diff --git a/sources/scala/xml/MetaData.scala b/sources/scala/xml/MetaData.scala
index aa2df08ec8..f36144e259 100644
--- a/sources/scala/xml/MetaData.scala
+++ b/sources/scala/xml/MetaData.scala
@@ -1,3 +1,13 @@
+/* __ *\
+** ________ ___ / / ___ Scala API **
+** / __/ __// _ | / / / _ | (c) 2003-2005, LAMP/EPFL **
+** __\ \/ /__/ __ |/ /__/ __ | **
+** /____/\___/_/ |_/____/_/ | | **
+** |/ **
+\* */
+
+// $Id$
+
package scala.xml;
/** Attribute information item, and linked list of attribute information items.
@@ -16,7 +26,7 @@ abstract class MetaData extends Iterable[MetaData] {
def append(m: MetaData): MetaData =
next.append(copy(m));
- def containedIn1(m:MetaData): Boolean =
+ def containedIn1(m: MetaData): Boolean =
m.equals1(this) || containedIn1(m.next);
/** returns a copy of this MetaData item with next field set to argument */
@@ -29,7 +39,7 @@ abstract class MetaData extends Iterable[MetaData] {
def length: Int = length(1);
- def length(i:Int): Int = next.length(i+1);
+ def length(i: Int): Int = next.length(i + 1);
def isPrefixed: Boolean;
@@ -42,7 +52,7 @@ abstract class MetaData extends Iterable[MetaData] {
/** deep equals method */
override def equals(that: Any) = {
that match {
- case m:MetaData =>
+ case m: MetaData =>
var res = (this.length == m.length) && (this.hashCode() == m.hashCode());
val it = this.elements;
while (res && it.hasNext) { res = it.next.containedIn1(m) }
@@ -65,11 +75,11 @@ abstract class MetaData extends Iterable[MetaData] {
}
/** shallow equals method */
- def equals1(that:MetaData): Boolean;
+ def equals1(that: MetaData): Boolean;
/** filters this sequence of meta data */
- def filter(f:MetaData => Boolean): MetaData = {
- if(f(this)) copy(next filter f) else next filter f;
+ def filter(f: MetaData => Boolean): MetaData = {
+ if (f(this)) copy(next filter f) else next filter f;
}
/** returns key of this MetaData item */
diff --git a/sources/scala/xml/Null.scala b/sources/scala/xml/Null.scala
index b6a7499c1d..fb2019c1e3 100644
--- a/sources/scala/xml/Null.scala
+++ b/sources/scala/xml/Null.scala
@@ -1,16 +1,26 @@
+/* __ *\
+** ________ ___ / / ___ Scala API **
+** / __/ __// _ | / / / _ | (c) 2003-2005, LAMP/EPFL **
+** __\ \/ /__/ __ |/ /__/ __ | **
+** /____/\___/_/ |_/____/_/ | | **
+** |/ **
+\* */
+
+// $Id$
+
package scala.xml;
-case object Null extends MetaData {
+case object Null extends MetaData {
/** appends given MetaData items to this MetaData list */
override def append(m: MetaData): MetaData = m;
- override def containedIn1(m:MetaData): Boolean = false;
+ override def containedIn1(m: MetaData): Boolean = false;
/** returns its argument */
def copy(next: MetaData) = next;
- override def filter(f:MetaData => Boolean): MetaData = this;
+ override def filter(f: MetaData => Boolean): MetaData = this;
/** returns null */
def getNamespace(owner: Node) = null;
@@ -19,13 +29,13 @@ case object Null extends MetaData {
final override def length = 0;
- final override def length(i:Int) = i;
+ final override def length(i: Int) = i;
def isPrefixed = false;
/** deep equals method */
override def equals(that: Any) = that match {
- case m:MetaData => m.length == 0
+ case m: MetaData => m.length == 0
case _ => false;
}
@@ -59,5 +69,4 @@ case object Null extends MetaData {
override def wellformed(scope: NamespaceBinding) = true;
-
}