diff options
Diffstat (limited to 'sources/ch/epfl/lamp/util/HTMLRepresentation.java')
-rw-r--r-- | sources/ch/epfl/lamp/util/HTMLRepresentation.java | 99 |
1 files changed, 0 insertions, 99 deletions
diff --git a/sources/ch/epfl/lamp/util/HTMLRepresentation.java b/sources/ch/epfl/lamp/util/HTMLRepresentation.java deleted file mode 100644 index debe5288bd..0000000000 --- a/sources/ch/epfl/lamp/util/HTMLRepresentation.java +++ /dev/null @@ -1,99 +0,0 @@ -/* ____ ____ ____ ____ ______ *\ -** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala ** -** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL ** -** /_____/\____/\___/\____/____/ ** -\* */ - -// $Id$ - -package ch.epfl.lamp.util; - -/** - * This class contains properties of HTML document representation - * (see http://www.w3.org/TR/REC-html40/charset.html). - */ -public class HTMLRepresentation { - - public static final String DEFAULT_DOCTYPE = "HTML 4.01 Transitional"; - public static final String DEFAULT_DOCENCODING = "iso-8859-1"; - public static final String DEFAULT_DOCLANGUAGE = "EN"; - - //######################################################################## - // Private Fields - - /** The document type */ - private final String doctype; - - /** The document character encoding */ - private final String docencoding; - - /** The document language */ - private final String language; - - //######################################################################## - // Public Constructors - - /** Creates a new instance */ - public HTMLRepresentation(String doctype, String docencoding, String language) { - this.doctype = doctype; - this.docencoding = docencoding; - this.language = language; - } - - /** Creates a new instance */ - public HTMLRepresentation(String doctype, String docencoding) { - this(doctype, docencoding, DEFAULT_DOCLANGUAGE); - } - - /** Creates a new instance */ - public HTMLRepresentation(String doctype) { - this(doctype, DEFAULT_DOCENCODING, DEFAULT_DOCLANGUAGE); - } - - /** Creates a new instance */ - public HTMLRepresentation() { - this(DEFAULT_DOCTYPE, DEFAULT_DOCENCODING, DEFAULT_DOCLANGUAGE); - } - - //######################################################################## - // Public Methods - Getting & Setting - - /** - * Returns the underlying document type. - */ - public String getType() { - return doctype; - } - - /** - * Returns the underlying character encoding. - */ - public String getEncoding() { - return docencoding; - } - - /** - * Returns the underlying document language. - * - * @ return the language name of the underlying document - */ - public String getLanguage() { - return language; - } - - /** - * Returns <code>true</code> if the document type is HTML. - */ - public boolean isHTMLType() { - return doctype.toLowerCase().matches("^html\\p{Space}\\d\\.\\d.*"); - } - - /** - * Returns <code>true</code> if the document type is XHTML. - */ - public boolean isXHTMLType() { - return doctype.toLowerCase().matches("^xhtml\\p{Space}\\d\\.\\d.*"); - } - - //######################################################################## -} |