org.inria.ns.reflex.processor.asl.types.xs
Class IntType

java.lang.Object
  extended by org.inria.ns.reflex.processor.asl.types.xs.IntType
All Implemented Interfaces:
NamedType, Type

public class IntType
extends Object
implements Type

The #xs:int type.

Author:
Philippe Poulard

Constructor Summary
IntType()
           
 
Method Summary
 TypedData cast(Object o, XPathContext context)
          Cast an object to an xs:int.
 Comparator getComparator()
          Return a comparator that compares numbers.
 Schema getOwnerSchema()
          Return the schema that owns this type definition.
 QName getParentType()
          Return #xs:long.
 QName getTypeName()
          Return #xs:int.
 TypedData parse(String numberString, XPathContext context)
          Parses a string to an int.
 TypedData parse(TextCandidate number, XPathContext context)
          Parses a string to an int.
 TypedData parse(TypedData data, XPathContext context)
          Parses the remainder of a typed data to an int.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IntType

public IntType()
Method Detail

parse

public TypedData parse(TextCandidate number,
                       XPathContext context)
                throws TypeFormatException
Parses a string to an int.

Specified by:
parse in interface Type
Parameters:
number - The number to parse.
context - Not used.
Returns:
The number data that wraps the int and the remainder.
Throws:
TypeFormatException - When the input string can't be an int.
See Also:
NumericData

parse

public TypedData parse(TypedData data,
                       XPathContext context)
                throws TypeFormatException
Parses the remainder of a typed data to an int.

Parameters:
data - The data that has a remainder to parse.
context - Not used.
Returns:
The number data that wraps the int and the remainder.
Throws:
TypeFormatException - When the input string can't be an int.
See Also:
NumericData

parse

public TypedData parse(String numberString,
                       XPathContext context)
                throws TypeFormatException
Parses a string to an int.

Parameters:
numberString - The number to parse.
context - Not used.
Returns:
The number data that wraps the int and the remainder.
Throws:
TypeFormatException - When the input string can't be an int.
See Also:
NumericData

cast

public TypedData cast(Object o,
                      XPathContext context)
               throws TypeFormatException
Cast an object to an xs:int.

Specified by:
cast in interface Type
Parameters:
o - The object to cast.
context - Not used.
Returns:
The number data that wraps the int.
Throws:
TypeFormatException - When the input object can't be an int.
See Also:
NumericData

getTypeName

public QName getTypeName()
Return #xs:int.

Specified by:
getTypeName in interface NamedType
Returns:
xs:int.

getParentType

public QName getParentType()
Return #xs:long.

Specified by:
getParentType in interface Type
Returns:
xs:long.
See Also:
LongType

getOwnerSchema

public Schema getOwnerSchema()
Return the schema that owns this type definition.

Specified by:
getOwnerSchema in interface Type
Returns:
The schema that owns this type definition.
See Also:
Type.getOwnerSchema()

getComparator

public Comparator getComparator()
Return a comparator that compares numbers.

Specified by:
getComparator in interface Type
Returns:
A non-null comparator that may comparate datas of this type.
See Also:
Type.getComparator()