|
Scala
1.4.0.1 |
|||
| Field Summary | |
val extID: ExternalID
|
|
val name: String
|
|
val notation: String
|
|
| Method Summary | |
final
|
def toString(sb: StringBuffer): StringBuffer
|
final override
|
def toString(): String
|
| Methods inherited from java/lang/Object-class |
| clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, wait, wait, wait |
| Methods inherited from scala/Any-class |
| !=, ==, asInstanceOf, isInstanceOf, match |
| Methods inherited from scala/CaseClass-class |
| caseArity, caseElement, caseName |
| Methods inherited from scala/ScalaObject-class |
| getScalaType |
| Methods inherited from scala/xml/dtd/MarkupDecl-class |
| toString |
| Field Detail |
val name: String
val extID: ExternalID
val notation: String
| Method Detail |
final def toString(sb: StringBuffer): StringBuffer
final override def toString(): String
|
Scala
1.4.0.1 |
|||