org.activemath.omdocjdom.thembase
Class TheMBaseXmlRpcClient

java.lang.Object
  extended by org.activemath.omdocjdom.thembase.TheMBaseXmlRpcClient
All Implemented Interfaces:
MBaseRef

public class TheMBaseXmlRpcClient
extends Object
implements MBaseRef

MBaseRef implementation to talk to the real MBase. Currently at testing phase.

Version:
$Revision: 1.19 $ TODO: Fix documentation, reformat code TODO: Consider making unit-tests for here (but one needs a running MBase!) TODO: fault-code for amNotFound not returned (at least by amGetChildren) (see bug #890) TODO: private id attribute is not reconverted to readable ! (see bug #285) TODO: heuristics is weaker: eg requestiong mbase://analysis-individuell/p1_0_4_Th/priv_vereinig will not match the one of id mbase://analysis-individuell/priv_vereinig TODO: Too many connections occur even though we have exactly one request running Looks like the high frequency makes the difference (see bug #893) It sort of comes back afterwards to a normal state. TODO: amGetForWhat is broken (see bug #894) TODO: We now support collections... but getCanonicalID always responds classicActiveMath (see bug #891)
Author:
Paul Libbrecht

Nested Class Summary
 
Nested classes/interfaces inherited from interface org.activemath.abstractcontent.MBaseRef
MBaseRef.Dependency, MBaseRef.Relation
 
Field Summary
 OJSAXBuilder builder
           
static String defaultCollection
           
 String simulatedSystemID
           
 URL url
           
 org.apache.xmlrpc.XmlRpcClient xmlRpcClient
           
 
Constructor Summary
TheMBaseXmlRpcClient(Map props)
           
TheMBaseXmlRpcClient(Subconfiguration config)
          Constructs the object using the keys uri and simulatedSystemID.
TheMBaseXmlRpcClient(URL url, URL simulatedSystemID)
           
 
Method Summary
 void assertItsUp()
          Asserts that the database connection is up and running.
 String getAttribute(MBaseID id, String attributeName)
          Returns the attribute value of the attribute of given name of the element with given ID.
 MBaseID getCanonicalID(MBaseID givenID)
          Returns a fully-qualified unique ID that enables collections of IDs to behave properly.
 OJElement getChildren(MBaseID mBaseID, String xPathReducedExpression)
          Returns the content of the named descendant of the element of given ID.
 Collection getCollectionsProvided()
          returns a Collection (object) with the collections (content blocks) provided by this MBaseRef
 Map getCommonName(MBaseID id)
          Returns the names of this element which is fetched either from the <metadata><dc:Title> descendant or from the <commonname> elements.
 OJElement getCompleteDCMetadata(MBaseID id)
          Returns a metadata element with only Dublin-Core children including inherited ones from their parents.
 Iterator getDefinitions(MBaseID id, Collection collections)
          For a symbol, this method returns the IDs of all definitions.
 Iterator getDependencies(MBaseID id)
          Gets an Iterator of MBaseRef.Dependency relations with all relations that stem from this element.
 OJElement getFormalContent(MBaseID id)
          From any ID this method returns the content of the FMP element.
 MBaseID[] getForWhat(MBaseID id)
          Returns the ID contained in the attribute for
 Iterator getIncomingRelations(MBaseID id, Collection collections)
          Returns an iterator of MBaseRef.Relations objects describing the relations that point to this item.
 Iterator getItemsModifiedSince(Date date)
           
 Date getLastModified(Collection ids)
          Returns the latest modification dates of the elements whose IDs are given.
 OJElement getMetadata(MBaseID id)
          Returns the contents of the <metdata> child of this element.
 Iterator getOutgoingRelations(MBaseID id)
          Returns an iterator of MBaseRef.Relations objects describing the relations that point from this item.
 Iterator getProofs(MBaseID assertionID, Collection collections)
          For an assertion, this method returns the IDs of all of its proofs.
 Iterator getRelated(MBaseID mBaseID, Collection collections)
          Same as MBaseRef.getDependencies(org.activemath.abstractcontent.MBaseID) but returns the converse: all relations whose MBaseRef.Dependency.idOn is the element of given ID.
 OJDocument getStructuredListOfConcepts(Collection collections)
          This expensive operation walks the complete XML structure of one single collection stored in the server and creates a theory element for each theory then a concept element for each of the concepts (symbol, definition, assertion, proof, methods).
 Map getTagFreeCommonName(MBaseID id)
          Returns the titles without any tags, just extracting the text or partially rendering it.
 List getTextualContent(MBaseID id)
          From any ID this method returns the row of CMP elements' contents.
 MBaseID getTheory(MBaseID id)
          Returns the ID of the closest parent (including the element itself) that either has a theory attribute or is a theory element or null if there is no such parent.
 String getTypeString(MBaseID id)
          Returns the name of the element whose ID is given.
 Iterator listItems(Collection collections, String type)
          Lists all the items being children of the element of the indicated ID.
 Iterator listItems(MBaseID id)
          Lists all the items being children of the element of the indicated ID.
 Iterator listTheories(Collection collections)
          Lists all the IDs of the theory elements contained in the indicated collections .
 Iterator searchText(String textToSearch, Collection collections)
          Searches the union of all text elements, but not the attributes, for the given substring in a case-sensistive manner.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

defaultCollection

public static String defaultCollection

url

public final URL url

xmlRpcClient

public final org.apache.xmlrpc.XmlRpcClient xmlRpcClient

builder

public final OJSAXBuilder builder

simulatedSystemID

public final String simulatedSystemID
Constructor Detail

TheMBaseXmlRpcClient

public TheMBaseXmlRpcClient(Map props)
                     throws MalformedURLException
Throws:
MalformedURLException

TheMBaseXmlRpcClient

public TheMBaseXmlRpcClient(Subconfiguration config)
                     throws MalformedURLException
Constructs the object using the keys uri and simulatedSystemID.

Parameters:
config - The subconfiguration to extract properties from
Throws:
MalformedURLException - In case the URL provided is not valud

TheMBaseXmlRpcClient

public TheMBaseXmlRpcClient(URL url,
                            URL simulatedSystemID)
                     throws MalformedURLException
Throws:
MalformedURLException
Method Detail

getDependencies

public Iterator getDependencies(MBaseID id)
                         throws MBaseException
Description copied from interface: MBaseRef
Gets an Iterator of MBaseRef.Dependency relations with all relations that stem from this element. Relations are considered the same as dependencies in this class. They are of many types as described in the MBaseRef.Dependency class. Use MBaseRef.getDependencies(org.activemath.abstractcontent.MBaseID) to read the list of relations that stem from another element but target this element.

Note that the server implementation is not required to return all these types only the content of the <depends-on> elements are required to be returned.

Specified by:
getDependencies in interface MBaseRef
Parameters:
id - which's dependencies are to be returned
Returns:
Iterator of MBaseIDs that are dependent
Throws:
MBaseException - if something's wrong, i.e. if a collection was queried that is not provided

getRelated

public Iterator getRelated(MBaseID mBaseID,
                           Collection collections)
                    throws MBaseException
Description copied from interface: MBaseRef
Same as MBaseRef.getDependencies(org.activemath.abstractcontent.MBaseID) but returns the converse: all relations whose MBaseRef.Dependency.idOn is the element of given ID.

Specified by:
getRelated in interface MBaseRef
Parameters:
mBaseID - which's relations are to be returned
collections - java.util.Collection of (content) collections as Strings to search in
Returns:
Iterator of MBaseIDs that are dependent
Throws:
MBaseException - if something's wrong.

getAttribute

public String getAttribute(MBaseID id,
                           String attributeName)
                    throws MBaseException
Description copied from interface: MBaseRef
Returns the attribute value of the attribute of given name of the element with given ID. throws MBaseException if something fails

Specified by:
getAttribute in interface MBaseRef
Parameters:
id - the id of the XML element that is to be looked for
attributeName - the name of the attribute to be looked for in this element
Returns:
the attribute value
Throws:
MBaseException - if anything goes wrong

getDefinitions

public Iterator getDefinitions(MBaseID id,
                               Collection collections)
                        throws MBaseException
Description copied from interface: MBaseRef
For a symbol, this method returns the IDs of all definitions.

Specified by:
getDefinitions in interface MBaseRef
Parameters:
id - id the id of the symbol whose definitions are looked at
collections - collections the name of the collections to be searched
Returns:
null for non-symbol elements or if no definition is found.
Throws:
MBaseException - if something's wrong.

getProofs

public Iterator getProofs(MBaseID assertionID,
                          Collection collections)
                   throws MBaseException
Description copied from interface: MBaseRef
For an assertion, this method returns the IDs of all of its proofs.

Specified by:
getProofs in interface MBaseRef
Parameters:
assertionID - MBaseID denoting the assertion whose proofs are to be searched
collections - Collection of (content) collections to search in
Returns:
an Iterator with the proofs, that is empty for non-assertion elements or if no proof is found.
Throws:
MBaseException - if something's wrong.

getChildren

public OJElement getChildren(MBaseID mBaseID,
                             String xPathReducedExpression)
                      throws MBaseException
Description copied from interface: MBaseRef
Returns the content of the named descendant of the element of given ID. The descendant are found using the xPathReducedExpression parameter which aims at imitating an XPath expression except it only accepts the ., / and named elements.

This walks the tree of descendants, taking children everytime a /elementName is found in the xPathReducedExpression and returns the content of the end child.

Such a method might be a warmer future for all requests, including getDependencies, getMetaData and getCommonName.

Specified by:
getChildren in interface MBaseRef
Parameters:
mBaseID - the MBaseID to get the children of
xPathReducedExpression - as described above
Returns:
the OJElement thus crafted
Throws:
MBaseException - if something fails

getTextualContent

public List getTextualContent(MBaseID id)
                       throws MBaseException
Description copied from interface: MBaseRef
From any ID this method returns the row of CMP elements' contents. The server is supposed to "resolve" the occurrences of <OMS> who are "referenced" by means of the xref attribute.

Specified by:
getTextualContent in interface MBaseRef
Parameters:
id - The ID of the item whose CMPs are to be returned
Returns:
A list of OJElements being the CMP nodes
Throws:
MBaseException - if something fails

getFormalContent

public OJElement getFormalContent(MBaseID id)
                           throws MBaseException
Description copied from interface: MBaseRef
From any ID this method returns the content of the FMP element. The server is supposed to "resolve" the occurrences of <OMS> who are "referenced" by means of the xref attribute.

Specified by:
getFormalContent in interface MBaseRef
Parameters:
id - The ID whose FMP child is to be fetched
Returns:
a the OJElement representing the <FMP> or null if there is no <FMP> content behind the ID
Throws:
MBaseException - if something fails

getMetadata

public OJElement getMetadata(MBaseID id)
                      throws MBaseException
Description copied from interface: MBaseRef
Returns the contents of the <metdata> child of this element. This does not apply the inheritance principles of Dublin-Core metadata (as described in OMDoc 1.1 specifications), please use MBaseRef.getCompleteDCMetadata(org.activemath.abstractcontent.MBaseID) for this task.

Specified by:
getMetadata in interface MBaseRef
Parameters:
id - The ID of the item whose metadata element is to be fetched.
Returns:
The metadata OJElement
Throws:
MBaseException - if something fails

getCompleteDCMetadata

public OJElement getCompleteDCMetadata(MBaseID id)
                                throws MBaseException
Description copied from interface: MBaseRef
Returns a metadata element with only Dublin-Core children including inherited ones from their parents. The inheritance is described in OMDoc 1.1 specifications (i.e. added values with children taking precedence when a triple (language, element-name, role) also exists.

This allows most of the copyright informations to be stored in the metadata element of the OMDoc while additions can override or enrich these values.

Specified by:
getCompleteDCMetadata in interface MBaseRef
Parameters:
id - the ID of the item whose metadata is to be fetched
Returns:
the completed OJElement metadata node
Throws:
MBaseException - If anything happens

getTheory

public MBaseID getTheory(MBaseID id)
                  throws MBaseException
Description copied from interface: MBaseRef
Returns the ID of the closest parent (including the element itself) that either has a theory attribute or is a theory element or null if there is no such parent.

Specified by:
getTheory in interface MBaseRef
Parameters:
id - the theory id
Returns:
the corrected theory ID (with collection) or null if MBase responds an empty string
Throws:
MBaseException - If anything happens

getCommonName

public Map getCommonName(MBaseID id)
                  throws MBaseException
Description copied from interface: MBaseRef
Returns the names of this element which is fetched either from the <metadata><dc:Title> descendant or from the <commonname> elements.

The table returned has, as keys, the language and as values the text of this common-name.

Specified by:
getCommonName in interface MBaseRef
Parameters:
id - The ID of the item whose titles are to be looked at.
Returns:
A Map of titles (keys String language}, values the String titles
Throws:
MBaseException - if something's wrong.

getTypeString

public String getTypeString(MBaseID id)
                     throws MBaseException
Description copied from interface: MBaseRef
Returns the name of the element whose ID is given.

Specified by:
getTypeString in interface MBaseRef
Parameters:
id - The ID of the element
Returns:
The (XML) element-name of this node
Throws:
MBaseException - if something's wrong.

getForWhat

public MBaseID[] getForWhat(MBaseID id)
                     throws MBaseException
Description copied from interface: MBaseRef
Returns the ID contained in the attribute for

Specified by:
getForWhat in interface MBaseRef
Parameters:
id - The ID of the item whose for attribute is to be looked at.
Returns:
The list of pointers interpreted from the pointer values in the for attribute of the element
Throws:
MBaseException - if something's wrong.

listItems

public Iterator listItems(MBaseID id)
Description copied from interface: MBaseRef
Lists all the items being children of the element of the indicated ID. Implementations are required to support this operation on omgroup and theory elements only.

Specified by:
listItems in interface MBaseRef
Parameters:
id - the ID of the omgroup, theory or other element
Returns:
An iterator of MBaseID objects

listTheories

public Iterator listTheories(Collection collections)
Description copied from interface: MBaseRef
Lists all the IDs of the theory elements contained in the indicated collections .

Specified by:
listTheories in interface MBaseRef
Parameters:
collections - the set of collection-names to be walked through for theories.
Returns:
an iterator over the list of IDs that are children

listItems

public Iterator listItems(Collection collections,
                          String type)
Description copied from interface: MBaseRef
Lists all the items being children of the element of the indicated ID. Implementations are required to support this operation on omgroup and theory elements only.

Specified by:
listItems in interface MBaseRef
Parameters:
collections - the possible collections where to search for the items of this type
type - the element name wished to be returne
Returns:
An iterator of MBaseID objects to the given elements

getStructuredListOfConcepts

public OJDocument getStructuredListOfConcepts(Collection collections)
                                       throws MBaseException
Description copied from interface: MBaseRef
This expensive operation walks the complete XML structure of one single collection stored in the server and creates a theory element for each theory then a concept element for each of the concepts (symbol, definition, assertion, proof, methods).

Specified by:
getStructuredListOfConcepts in interface MBaseRef
Parameters:
collections - strings with the name of the collection to search in
Returns:
an XML document structured by theory/element, or null, if there are no contents found
Throws:
MBaseException - if something fails

getCollectionsProvided

public Collection getCollectionsProvided()
                                  throws MBaseException
Description copied from interface: MBaseRef
returns a Collection (object) with the collections (content blocks) provided by this MBaseRef

Specified by:
getCollectionsProvided in interface MBaseRef
Returns:
Collection of Strings with the names of the provided collections
Throws:
MBaseException - If anything goes wrong (normally nothing is expected to go wrong here)

getCanonicalID

public MBaseID getCanonicalID(MBaseID givenID)
                       throws MBaseException
Description copied from interface: MBaseRef
Returns a fully-qualified unique ID that enables collections of IDs to behave properly. MBase engines may allow heuristics to interpret IDs, among others, to identify an item with an ID not containing a theory although the item is in a theory.

MBase engines should be consistent and never return more than one ID for a given item.

Specified by:
getCanonicalID in interface MBaseRef
Parameters:
givenID - the id that may be missing a theory or collection.
Returns:
a fully-qualified absolute ID pointing to the same element, or null if no such element was found.
Throws:
MBaseException - If anything goes wrong

searchText

public Iterator searchText(String textToSearch,
                           Collection collections)
                    throws MBaseException
Description copied from interface: MBaseRef
Searches the union of all text elements, but not the attributes, for the given substring in a case-sensistive manner. This operation is expected to be rather expensive.

Specified by:
searchText in interface MBaseRef
Parameters:
textToSearch - String containing the text to be searched
collections - Collection of collections (as Strings) to search in
Returns:
an Iterator of MBaseIDs that contain the string
Throws:
MBaseException - if something's wrong.

assertItsUp

public void assertItsUp()
                 throws MBaseException
Description copied from interface: MBaseRef
Asserts that the database connection is up and running. This may include a self test, so use only in code for test purposes (such as in an appropriate checker) or in non-looped code (once at startup or something).

Specified by:
assertItsUp in interface MBaseRef
Throws:
MBaseException - if something's wrong.

getLastModified

public Date getLastModified(Collection ids)
                     throws MBaseException
Description copied from interface: MBaseRef
Returns the latest modification dates of the elements whose IDs are given.

Specified by:
getLastModified in interface MBaseRef
Parameters:
ids - a list of MBaseIDs of items, theories, or Strings of collection name
Returns:
the latest modification date or, if unknown, the current date.
Throws:
MBaseException

getItemsModifiedSince

public Iterator getItemsModifiedSince(Date date)
                               throws MBaseException
Specified by:
getItemsModifiedSince in interface MBaseRef
Throws:
MBaseException

getTagFreeCommonName

public Map getTagFreeCommonName(MBaseID id)
                         throws MBaseException
Description copied from interface: MBaseRef
Returns the titles without any tags, just extracting the text or partially rendering it. Useful for string-only processors.

Specified by:
getTagFreeCommonName in interface MBaseRef
Parameters:
id - the item id.
Returns:
the map, associating a language string to a title-string.
Throws:
MBaseException

getIncomingRelations

public Iterator getIncomingRelations(MBaseID id,
                                     Collection collections)
                              throws MBaseException
Description copied from interface: MBaseRef
Returns an iterator of MBaseRef.Relations objects describing the relations that point to this item. If the item is a theory, the relations are the imports statements.

Specified by:
getIncomingRelations in interface MBaseRef
Parameters:
id - the id from which to see the relations
collections - from where should these relations be incoming
Returns:
an iterator of MBaseRef.Relations objects
Throws:
MBaseException - if anything

getOutgoingRelations

public Iterator getOutgoingRelations(MBaseID id)
                              throws MBaseException
Description copied from interface: MBaseRef
Returns an iterator of MBaseRef.Relations objects describing the relations that point from this item. If the item is a theory, the relations are the imports statements.

Specified by:
getOutgoingRelations in interface MBaseRef
Parameters:
id - the id from which to see the relations
Returns:
an iterator of MBaseRef.Relations objects
Throws:
MBaseException - if anything