Package org.eclipse.wst.xml.xpath2.processor.internal.types


org.eclipse.wst.xml.xpath2.processor.internal.types
Class XSPositiveInteger



public class XSPositiveInteger
extends org.eclipse.wst.xml.xpath2.processor.internal.types.XSNonNegativeInteger

Constructor Summary

XSPositiveInteger()
XSPositiveInteger(java.math.BigInteger x)

Method Summary

public org.eclipse.wst.xml.xpath2.api.ResultSequenceconstructor(org.eclipse.wst.xml.xpath2.api.ResultSequence arg)
     Creates a new ResultSequence consisting of the extractable positiveInteger in the supplied ResultSequence
public java.lang.ObjectgetNativeValue()
    
public org.eclipse.wst.xml.xpath2.api.typesystem.TypeDefinitiongetTypeDefinition()
    
public java.lang.Stringstring_type()
     Retrieves the datatype's full pathname
public java.lang.Stringtype_name()
     Retrieves the datatype's name

Constructor Detail

XSPositiveInteger

public XSPositiveInteger()

Initializes a representation of 1


XSPositiveInteger

public XSPositiveInteger(java.math.BigInteger x)

Initializes a representation of the supplied positiveInteger value


Methods Detail

constructor

public org.eclipse.wst.xml.xpath2.api.ResultSequence constructor(org.eclipse.wst.xml.xpath2.api.ResultSequence arg)

Creates a new ResultSequence consisting of the extractable positiveInteger in the supplied ResultSequence

Parameters

arg - The ResultSequence from which the positiveInteger is to be extracted

Returns

org.eclipse.wst.xml.xpath2.api.ResultSequence - New ResultSequence consisting of the 'positiveInteger' supplied

Throws:

org.eclipse.wst.xml.xpath2.processor.DynamicError


getNativeValue

public java.lang.Object getNativeValue()

Returns

java.lang.Object


getTypeDefinition

public org.eclipse.wst.xml.xpath2.api.typesystem.TypeDefinition getTypeDefinition()

Returns

org.eclipse.wst.xml.xpath2.api.typesystem.TypeDefinition


string_type

public java.lang.String string_type()

Retrieves the datatype's full pathname

Returns

java.lang.String - "xs:positiveInteger" which is the datatype's full pathname


type_name

public java.lang.String type_name()

Retrieves the datatype's name

Returns

java.lang.String - "positiveInteger" which is the datatype's name