public class TotalDigitsFacet extends DigitsFacet
Constructor and Description |
---|
TotalDigitsFacet() |
Modifier and Type | Method and Description |
---|---|
void |
checkFacetRestriction(UserSimpleType type,
SimpleType base,
SchemaCompiler compiler)
Check that this facet is legal when used on a type derived by restriction
|
java.lang.String |
getName()
Returns the name of this Facet
|
void |
setValue(java.lang.String value)
Set the value of this facet.
|
getFacetAsFunctionItem, getNumericValue, getValue, setNumericValue, testAtomicValue
getMessage, getWhitespaceAction, isConstraining, isFacetName, isFixed, isNewlyIntroduced, makeFacet, serializeFacet, setFixed, setMessage, testLength, testListValue, toLong
public java.lang.String getName()
Facet
public void setValue(java.lang.String value) throws SchemaException
setValue
in class DigitsFacet
value
- the value of the facet. This must be a string that parses as an integer.SchemaException
- if the value is invalid (not an integer)public void checkFacetRestriction(UserSimpleType type, SimpleType base, SchemaCompiler compiler) throws SchemaException, ValidationException
DigitsFacet
checkFacetRestriction
in class DigitsFacet
type
- the type on which the facet is definedbase
- the type from which the restricted type is derivedcompiler
- the schema compilerSchemaException
- if the facet is not allowed for this simple type, or if
the combination of facets is inconsistent with values defined on the base type.ValidationException
- if a value is found that does not conform to the facetCopyright (c) 2004-2018 Saxonica Limited. All rights reserved.