diff options
author | buraq <buraq@epfl.ch> | 2004-09-28 09:00:21 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2004-09-28 09:00:21 +0000 |
commit | e5d611e411a045a496e1500a3a441a77d80e6340 (patch) | |
tree | 10a9f7200b7fd6a9f34cc4d1eff7e91cadc958ad /sources | |
parent | 7701a98e413d0eaec367c1640f99b6158e8c46e0 (diff) | |
download | scala-e5d611e411a045a496e1500a3a441a77d80e6340.tar.gz scala-e5d611e411a045a496e1500a3a441a77d80e6340.tar.bz2 scala-e5d611e411a045a496e1500a3a441a77d80e6340.zip |
fixed documentation to valid xhtml
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/List.scala | 4 | ||||
-rw-r--r-- | sources/scala/io/Position.scala | 4 | ||||
-rw-r--r-- | sources/scala/xml/DocType.scala | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/sources/scala/List.scala b/sources/scala/List.scala index 57752bcafd..8446193340 100644 --- a/sources/scala/List.scala +++ b/sources/scala/List.scala @@ -204,7 +204,7 @@ object List { * for all corresponding elements of the argument lists. * * @param p function to apply to each pair of elements. - * @return <code>n == 0 || (p(a0,b0) && ... && p(an,bn))]</code> if the lists are + * @return <code>n == 0 || (p(a0,b0) && ... && p(an,bn))]</code> if the lists are * <code>[a0, ..., ak]</code>, <code>[b0, ..., bl]</code> and * <code>m = min(k,l)</code> */ @@ -216,7 +216,7 @@ object List { * for some corresponding elements of the argument lists. * * @param p function to apply to each pair of elements. - * @return <code>n != 0 && (p(a0,b0) || ... || p(an,bn))]</code> if the lists are + * @return <code>n != 0 && (p(a0,b0) || ... || p(an,bn))]</code> if the lists are * <code>[a0, ..., ak]</code>, <code>[b0, ..., bl]</code> and * <code>m = min(k,l)</code> */ diff --git a/sources/scala/io/Position.scala b/sources/scala/io/Position.scala index 84f2dca624..46e36dcdc1 100644 --- a/sources/scala/io/Position.scala +++ b/sources/scala/io/Position.scala @@ -22,9 +22,9 @@ package scala.io; * - the undefined position is 0: encode(0,0) == 0 * - encodings are non-negative : encode(line,column) >= 0 * - position order is preserved: - * (line1 < line2) || (line1 == line2 && column1 < column2) + * (line1 < line2) || (line1 == line2 && column1 < column2) * implies - * encode(line1,column1) <= encode(line2,column2) + * encode(line1,column1) <= encode(line2,column2) * @author Burak Emir (translated from work by Matthias Zengers and others) */ object Position { diff --git a/sources/scala/xml/DocType.scala b/sources/scala/xml/DocType.scala index e15cf4570e..a91eafe6d8 100644 --- a/sources/scala/xml/DocType.scala +++ b/sources/scala/xml/DocType.scala @@ -25,7 +25,7 @@ case class DocType( name:String, extID:ExternalID, intSubset:Seq[dtd.Decl]) { /** hashcode for this processing instruction */ final override def hashCode() = name.hashCode() + 7 * extID.hashCode() + 41*intSubset.toList.hashCode(); - /** returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >" */ + /** returns "<!DOCTYPE + name + extID? + ("["+intSubSet+"]")? >" */ final override def toString() = { val sb = new StringBuffer("<!DOCTYPE "); sb.append( name ); |