1
package com.thaiopensource.xml.dtd.om;
3
public class NameSpecDef extends Def {
4
private final NameSpec nameSpec;
6
public NameSpecDef(String name, NameSpec nameSpec) {
8
this.nameSpec = nameSpec;
11
public int getType() {
15
public NameSpec getNameSpec() {
19
public void accept(TopLevelVisitor visitor) throws Exception {
20
visitor.nameSpecDef(getName(), nameSpec);