public enum DatatypeFacet extends Enum<DatatypeFacet>
Title:
Description:
Copyright: Copyright (c) 2009
Company: Clark & Parsia, LLC.
| Enum Constant and Description |
|---|
length |
maxExclusive |
maxInclusive |
maxLength |
minExclusive |
minInclusive |
minLength |
pattern |
| Modifier and Type | Method and Description |
|---|---|
static DatatypeFacet |
find(String uri) |
aterm.ATermAppl |
getName() |
String |
getURI() |
static DatatypeFacet |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static DatatypeFacet[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DatatypeFacet minInclusive
public static final DatatypeFacet minExclusive
public static final DatatypeFacet maxInclusive
public static final DatatypeFacet maxExclusive
public static final DatatypeFacet pattern
public static final DatatypeFacet length
public static final DatatypeFacet minLength
public static final DatatypeFacet maxLength
public static DatatypeFacet[] values()
for (DatatypeFacet c : DatatypeFacet.values()) System.out.println(c);
public static DatatypeFacet valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant
with the specified nameNullPointerException - if the argument is nullpublic String getURI()
public aterm.ATermAppl getName()
public static DatatypeFacet find(String uri)
Copyright © 2013. All Rights Reserved.