exmpp

Code pulled with git from git://git.process-one.net/exmpp/mainline.git with the last commit being 7512147

These are Intersection warnings for exmpp.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists ebin
exmpp_client_pubsub.erl:802: The call exmpp_xml:set_attribute({'xmlel', 'http://jabber.org/protocol/pubsub', [], 'item', [], []},{<<_:16>>,_}) will never return since the success typing is (#xmlel{ns::atom() | string(),declared_ns::[{atom() | [any()],'none' | [any()]}],name::atom() | string(),attrs::[#xmlattr{ns::atom() | [any()],name::'undefined' | binary(),value::'undefined' | binary()}],children::'undefined' | [#xmlcdata{cdata::binary()} | #xmlel{ns::atom() | [any()],declared_ns::[any()],name::atom() | [any()],attrs::[any()],children::'undefined' | [any()]}]},#xmlattr{ns::atom() | string(),name::'undefined' | binary(),value::'undefined' | binary()}) or (#xmlelement{name::atom() | string(),attrs::[{atom() | [any()],[any()]}],children::'undefined' | [#xmlcdata{cdata::binary()} | #xmlelement{name::atom() | [any()],attrs::[any()],children::'undefined' | [any()]}]},#xmlattr{ns::atom() | string(),name::'undefined' | binary(),value::'undefined' | binary()}) -> #xmlelement{name::atom() | string(),attrs::[{atom() | [any()],[any()]},...],children::'undefined' | [#xmlcdata{cdata::binary()} | #xmlelement{name::atom() | [any()],attrs::[any()],children::'undefined' | [any()]}]} | #xmlel{ns::atom() | string(),declared_ns::[{atom() | [any()],'none' | [any()]}],name::atom() | string(),attrs::[#xmlattr{ns::atom() | [any()],name::'undefined' | binary(),value::'undefined' | binary()},...],children::'undefined' | [#xmlcdata{cdata::binary()} | #xmlel{ns::atom() | [any()],declared_ns::[any()],name::atom() | [any()],attrs::[any()],children::'undefined' | [any()]}]} and the contract is (xmlel(),xmlattr() | xmlattr_old()) -> xmlel()

Applications