QPatternist::EBVType Class Reference

Represents the type for which a value of can an Effective Boolean Value be extracted from. More...

#include <qebvtype_p.h>

Inheritance diagram for QPatternist::EBVType:

Public Types
typedef QExplicitlySharedDataPointer< EBVType >	Ptr
Public Types inherited from QPatternist::ItemType
enum	Category { NodeNameTest = 1, Other = 2 }
enum	InstanceOf { ClassLocalNameTest, ClassNamespaceNameTest, ClassQNameTest, ClassOther }
typedef QList< ItemType::Ptr >	List
typedef QExplicitlySharedDataPointer< ItemType >	Ptr
Public Types inherited from QPatternist::SequenceType
typedef QList< SequenceType::Ptr >	List
typedef QExplicitlySharedDataPointer< const SequenceType >	Ptr

Public Functions
virtual ItemType::Ptr	atomizedType () const
virtual Cardinality	cardinality () const
virtual QString	displayName (const NamePool::Ptr &np) const
virtual bool	isAtomicType () const
virtual bool	isNodeType () const
virtual bool	itemMatches (const Item &item) const
virtual ItemType::Ptr	itemType () const
virtual ItemType::Ptr	xdtSuperType () const
virtual bool	xdtTypeMatches (const ItemType::Ptr &other) const
	Returns true if other matches this type. That is, if other is equal to this type or a subtype of this type. More...
Public Functions inherited from QPatternist::ItemType
virtual InstanceOf	instanceOf () const
	ItemType ()
virtual Category	itemTypeCategory () const
bool	operator!= (const ItemType &other) const
virtual bool	operator== (const ItemType &other) const
virtual const ItemType &	operator| (const ItemType &other) const
virtual	~ItemType ()
Public Functions inherited from QSharedData
	QSharedData ()
	Constructs a QSharedData object with a reference count of 0. More...
	QSharedData (const QSharedData &)
	Constructs a QSharedData object with reference count 0. More...
Public Functions inherited from QPatternist::SequenceType
bool	is (const SequenceType::Ptr &other) const
bool	matches (const SequenceType::Ptr other) const
	SequenceType ()
virtual	~SequenceType ()

Protected Functions
	EBVType ()

Friends
class	CommonSequenceTypes

Additional Inherited Members
Public Variables inherited from QSharedData
QAtomicInt	ref
Related Functions inherited from QPatternist::ItemType
ItemType::Ptr	operator| (const ItemType::Ptr &op1, const ItemType::Ptr &op2)
void	operator|= (ItemType::Ptr &op1, const ItemType::Ptr &op2)
	Computes the union type of op1 and op2, and assigns it to op1. More...

Detailed Description

Represents the type for which a value of can an Effective Boolean Value be extracted from.

EBVType is an artificial type. It is not available to users of any host language or is specified in any specification. It is used for implementing static type checking for expressions such as IfThenClause and AndExpression.

Author

Frans Englich frans.nosp@m..eng.nosp@m.lich@.nosp@m.noki.nosp@m.a.com

Definition at line 76 of file qebvtype_p.h.

Typedefs

Ptr

typedef QExplicitlySharedDataPointer<EBVType> QPatternist::EBVType::Ptr

Definition at line 80 of file qebvtype_p.h.

Constructors and Destructors

EBVType()

EBVType::EBVType ( )

protected

Definition at line 52 of file qebvtype.cpp.

{
}

Functions

atomizedType()

ItemType::Ptr EBVType::atomizedType ( ) const

virtual

Returns

always null

Implements QPatternist::ItemType.

Definition at line 116 of file qebvtype.cpp.

{
    Q_ASSERT_X(false, Q_FUNC_INFO,
               "That this function is called makes no sense.");
    return AtomicType::Ptr();
}

cardinality()

Cardinality EBVType::cardinality ( ) const

virtual

Note

The semantical meaning of this type's cardinality can surely be discussed. The function is provided due to it being mandated by the SequenceType base class.

Returns

always Cardinality::zeroOrMore()

Implements QPatternist::SequenceType.

Definition at line 91 of file qebvtype.cpp.

{
    return Cardinality::zeroOrMore();
}

displayName()

QString EBVType::displayName ( const NamePool::Ptr &  np ) const

virtual

Returns

a string representing the type. Used for diagnostic purposes. For a type whose name is a QName, a lexical representation should be returned with the prefix being a conventional one. Examples of a display names are "item()" and "xs:nonPositiveInteger".

Implements QPatternist::ItemType.

Definition at line 83 of file qebvtype.cpp.

{
    /* Some QName-lexical is not used here because it makes little sense
     * for this strange type. Instead the operand type of the fn:boolean()'s
     * argument is used. */
    return QLatin1String("item()*(: EBV extractable type :)");
}

isAtomicType()

bool EBVType::isAtomicType ( ) const

virtual

Implements QPatternist::ItemType.

Definition at line 106 of file qebvtype.cpp.

{
    return false;
}

isNodeType()

bool EBVType::isNodeType ( ) const

virtual

Returns

always false

Implements QPatternist::ItemType.

Definition at line 111 of file qebvtype.cpp.

{
    return true;
}

itemMatches()

bool EBVType::itemMatches ( const Item &  item ) const

virtual

Implements QPatternist::ItemType.

Definition at line 56 of file qebvtype.cpp.

{
    if(item.isNode())
        return false;

    return BuiltinTypes::xsBoolean->itemMatches(item)       ||
           BuiltinTypes::numeric->itemMatches(item)         ||
           BuiltinTypes::xsString->itemMatches(item)        ||
           BuiltinTypes::xsAnyURI->itemMatches(item)        ||
           CommonSequenceTypes::Empty->itemMatches(item)    ||
           BuiltinTypes::xsUntypedAtomic->itemMatches(item);
}

itemType()

ItemType::Ptr EBVType::itemType ( ) const

virtual

Note

The semantical meaning of this type's item type can surely be discussed. The function is provided due to it being mandated by the SequenceType base class.

Returns

always 'this' since EBVType is also an ItemType

Implements QPatternist::SequenceType.

Definition at line 101 of file qebvtype.cpp.

{
    return ItemType::Ptr(const_cast<EBVType *>(this));
}

xdtSuperType()

ItemType::Ptr EBVType::xdtSuperType ( ) const

virtual

Returns

always BuiltinTypes::item

Implements QPatternist::ItemType.

Definition at line 96 of file qebvtype.cpp.

{
    return BuiltinTypes::item;
}

xdtTypeMatches()

bool EBVType::xdtTypeMatches ( const ItemType::Ptr &  other ) const

virtual

Returns true if other matches this type. That is, if other is equal to this type or a subtype of this type.

For instance this statements evaluates to true:

BuiltinTypes::xsAnyAtomicType->xdtTypeMatches(BuiltinTypes::xsString);

but this evaluates to false:

BuiltinTypes::attribute->xdtTypeMatches(BuiltinTypes::node);

Parameters

other

the other ItemType that is to be matched. This is guaranteed by the caller to never be null.

Implements QPatternist::ItemType.

Definition at line 69 of file qebvtype.cpp.

{
    return BuiltinTypes::node->xdtTypeMatches(t)            ||
           BuiltinTypes::xsBoolean->xdtTypeMatches(t)       ||
           BuiltinTypes::numeric->xdtTypeMatches(t)         ||
           BuiltinTypes::xsString->xdtTypeMatches(t)        ||
           BuiltinTypes::xsAnyURI->xdtTypeMatches(t)        ||
           *CommonSequenceTypes::Empty == *t                ||
           BuiltinTypes::xsUntypedAtomic->xdtTypeMatches(t) ||
           /* Item & xs:anyAtomicType is ok, we do the checking at runtime. */
           *BuiltinTypes::item == *t                        ||
           *BuiltinTypes::xsAnyAtomicType == *t;
}

Friends and Related Functions

CommonSequenceTypes

friend class CommonSequenceTypes

friend

Definition at line 126 of file qebvtype_p.h.

---

The documentation for this class was generated from the following files:

• /src/xmlpatterns/type/qebvtype_p.h
• /src/xmlpatterns/type/qebvtype.cpp