01: // EncodingAttribute.java
02: // $Id: EncodingAttribute.java,v 1.4 2002/06/09 11:27:24 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigsaw.frames;
07:
08: import org.w3c.tools.resources.Attribute;
09: import org.w3c.tools.resources.StringAttribute;
10:
11: public class EncodingAttribute extends StringAttribute {
12:
13: public EncodingAttribute(String name, String def, int flags) {
14: super (name, def, flags);
15: this .type = "java.lang.String".intern();
16: }
17:
18: public EncodingAttribute() {
19: super();
20: }
21:
22: }
|