1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2009, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://www.scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.xml
package dtd
import Utility.sbToString
abstract class Decl
abstract class MarkupDecl extends Decl {
def buildString(sb: StringBuilder): StringBuilder
}
/** an element declaration
*/
case class ElemDecl(name: String, contentModel: ContentModel)
extends MarkupDecl with DtdTypeSymbol
{
override def buildString(sb: StringBuilder): StringBuilder = {
sb
.append("<!ELEMENT ")
.append(name)
.append(' ');
ContentModel.buildString(contentModel, sb);
sb.append('>');
}
}
case class AttListDecl(name: String, attrs:List[AttrDecl])
extends MarkupDecl with DtdTypeSymbol {
override def buildString(sb: StringBuilder): StringBuilder = {
sb
.append("<!ATTLIST ")
.append(name)
.append('\n')
.append(attrs.mkString("","\n",">"));
}
}
/** an attribute declaration. at this point, the tpe is a string. Future
* versions might provide a way to access the attribute types more
* directly.
*/
case class AttrDecl(name: String, tpe: String, default: DefaultDecl) {
override def toString(): String = sbToString(buildString)
def buildString(sb: StringBuilder): StringBuilder = {
sb.append(" ").append(name).append(' ').append(tpe).append(' ');
default.buildString(sb)
}
}
/** an entity declaration */
abstract class EntityDecl extends MarkupDecl
/** a parsed general entity declaration */
case class ParsedEntityDecl(name: String, entdef: EntityDef) extends EntityDecl {
override def buildString(sb: StringBuilder): StringBuilder = {
sb.append("<!ENTITY ").append( name ).append(' ');
entdef.buildString(sb).append('>')
}
}
/** a parameter entity declaration */
case class ParameterEntityDecl(name: String, entdef: EntityDef) extends EntityDecl {
override def buildString(sb: StringBuilder): StringBuilder = {
sb.append("<!ENTITY % ").append( name ).append(' ');
entdef.buildString(sb).append('>')
}
}
/** an unparsed entity declaration */
case class UnparsedEntityDecl( name:String, extID:ExternalID, notation:String ) extends EntityDecl {
override def buildString(sb: StringBuilder): StringBuilder = {
sb.append("<!ENTITY ").append( name ).append(' ');
extID.buildString(sb).append(" NDATA ").append(notation).append('>');
}
}
/** a notation declaration */
case class NotationDecl( name:String, extID:ExternalID ) extends MarkupDecl {
override def buildString(sb: StringBuilder): StringBuilder = {
sb.append("<!NOTATION ").append( name ).append(' ');
extID.buildString(sb)
}
}
abstract class EntityDef {
def buildString(sb: StringBuilder): StringBuilder
}
case class IntDef(value:String) extends EntityDef {
private def validateValue() {
var tmp = value;
var ix = tmp.indexOf('%');
while( ix != -1) {
val iz = tmp.indexOf(';', ix);
if(iz == -1 && iz == ix + 1)
throw new IllegalArgumentException("no % allowed in entity value, except for parameter-entity-references");
else {
val n = tmp.substring(ix, iz);
if( !Utility.isName( n ))
throw new IllegalArgumentException("interal entity def: \""+n+"\" must be an XML Name");
tmp = tmp.substring(iz+1, tmp.length());
ix = tmp.indexOf('%');
}
}
}
validateValue();
override def buildString(sb: StringBuilder): StringBuilder =
Utility.appendQuoted(value, sb);
}
case class ExtDef(extID:ExternalID) extends EntityDef {
override def buildString(sb: StringBuilder): StringBuilder =
extID.buildString(sb);
}
/** a parsed entity reference */
case class PEReference(ent:String) extends MarkupDecl {
if( !Utility.isName( ent ))
throw new IllegalArgumentException("ent must be an XML Name");
override def buildString(sb: StringBuilder): StringBuilder =
sb.append('%').append(ent).append(';');
}
// default declarations for attributes
abstract class DefaultDecl {
override def toString(): String
def buildString(sb: StringBuilder): StringBuilder
}
case object REQUIRED extends DefaultDecl {
override def toString(): String = "#REQUIRED"
override def buildString(sb: StringBuilder) = sb.append("#REQUIRED")
}
case object IMPLIED extends DefaultDecl {
override def toString(): String = "#IMPLIED"
override def buildString(sb: StringBuilder) = sb.append("#IMPLIED")
}
case class DEFAULT(fixed: Boolean, attValue: String) extends DefaultDecl {
override def toString(): String = sbToString(buildString)
override def buildString(sb: StringBuilder): StringBuilder = {
if (fixed) sb.append("#FIXED ")
Utility.appendEscapedQuoted(attValue, sb)
}
}
|