Questions tagged [axiom]

Axiom is a Java library developed by Apache that provides an XML object model implementation.

Axiom is a Java library developed by Apache that provides an XML object model implementation.

144 questions
2
votes
1 answer

AxiomSoapMessageCreationException: Unknown content type 'application/wsdl+xml'

Anyone have any idea what the following Exception might mean? I can't find "wsdl+xml" anywhere in our project, not sure where its coming from? org.springframework.ws.soap.axiom.AxiomSoapMessageCreationException: Unknown content type…
Nick Foote
  • 2,425
  • 9
  • 36
  • 47
2
votes
1 answer

sample xml file generation using apache axiom

please help to generate the xml file using apache axiom ,any xml file with one parent and two child tags ,I tried the following code OMFactory factory = OMAbstractFactory.getOMFactory(); OMNamespace ns1 =…
Shekkar
  • 244
  • 3
  • 10
  • 21
2
votes
1 answer

What is the difference between OMNode and OMElement in AXIOM

What are the differences and their usages between OMNode and OMElement in AXIOM ? I have implemented a XML parser and I used both of the objects in the implementation. Is the OMElement is a sub class of the OMNode ? As an example both behaves in…
Malintha
  • 4,512
  • 9
  • 48
  • 82
2
votes
0 answers

Options for converting/finding analogs for Java class libraries in C#?

I've been tasked with rewriting a Java web services client in C#.NET. The only truly tedious part of this task has proven to be figuring out how to handle all the Java class libraries (sorry if that's not the right term--not nearly as experienced…
Ant
  • 545
  • 1
  • 9
  • 26
2
votes
1 answer

com.ctc.wstx.exc.WstxUnexpectedCharException: Illegal character ((CTRL-CHAR, code 15))

I am extracting data from a XML using the axiom. But I'm getting above error because of having CTRL-CHAR (eg : â, €, ¢, “, ”, ™, ’, – etc) in the XML. Can any body help me to replace all the CTRL-SHARs to avoid the above error.
ironwood
  • 8,936
  • 15
  • 65
  • 114
2
votes
2 answers

Length function for generic lists

This post shows how to axiomatise a length function for Z3's built-in lists. However, the function is sort-specific (here Int) and not applicable to lists of bools or custom sorts. ; declare len as an uninterpreted function (declare-fun len ((List…
Malte Schwerhoff
  • 12,684
  • 4
  • 41
  • 71
1
vote
2 answers

Meaning of Provability Symbol ⊢ in Axiomatic Programming Paper

I'm reading "An Axiomatic Basis for Computer Programming." They use the provability symbol ⊢ in their axioms, e.g. ⊢P {Q} R Wikipedia describes the use of that symbol as such "x ⊢ y means y is provable from x (in some specified formal system)," but…
MaxGabriel
  • 7,617
  • 4
  • 35
  • 82
1
vote
1 answer

formal axiomatic def of an example Kripke model in terms of ∀, ∃

I am looking for a formal axiomatic definition of an example Kripke model in terms of ∀, ∃ assuming knowledge of simple predicate logic, boolean logic,... All descriptions of Kripke models I encounter simply introduce new notations through…
propaganda
  • 470
  • 2
  • 6
  • 14
1
vote
1 answer

Updating to axiom-impl from 1.3.0 to 1.4.0

I'm updating the lib org.apache.ws.commons.axiom:axiom-impl from version 1.3.0 to 1.4.0. After the update the class org.apache.axiom.om.impl.llom.OMAttributeImpl does not exist anymore. From the release notes the change is maybe indirect mentioned…
Clueless
  • 163
  • 16
1
vote
0 answers

Method threw 'org.apache.axiom.om.OMException' exception. Cannot evaluate org.apache.axiom.om.impl.llom.OMSourcedElementImpl.toString()

I generated a clinet using Axis 2 JAXBRI. I got different objects, ObjectFactory, Stub and CallbackHandler. I started making a request but I get an error adding the header, namely the following lines: factory.createOMElement(new…
Robert
  • 19
  • 3
1
vote
3 answers

Out of memory error when marshalling large attachments

I'm using spring ws on the server side with a AxiomSoapmessageFactory: