org.activemath.omdocjdom.rephrase
Class CDGroup

java.lang.Object
  org.activemath.omdocjdom.rephrase.ContentType
      org.activemath.omdocjdom.rephrase.CDGroup

public class CDGroup
extends ContentType

A simple class to describe a set of CDs with constructors from XML and others.

Field Summary

Fields inherited from class org.activemath.omdocjdom.rephrase.ContentType

OPENMATH_MIMETYPE, stringDesc

Method Summary

boolean	doesContainCD(String cdName, MBaseRef mbaseRef) Currently only supports theory-ids or theory-names for which MBaseRef.searchText(java.lang.String, java.util.Collection) is used through OMSDisambiguator.
boolean	doesContainSymbol(OJoms oms)
boolean	doesContainSymbols(OJElement elt)
static String	getCDgroupMimeType(String cdGroupIdOrUrl)
boolean	isGlobalCDGroup()
static CDGroup	makeFromCDGfile(URL cdgURL)
static CDGroup	makeFromList(MBaseID id, List containedTheoriesIds)
static CDGroup	makeFromOJGroup(MBaseRef mbaseRef, MBaseID omgroupId)
static CDGroup	makeGlobalCDGroup()
static String	translateCDgroupURLtoMBaseID(String cdURL)

Methods inherited from class org.activemath.omdocjdom.rephrase.ContentType

asMimeType, asPresentableFormat, equals, getAttribute, getCDGroupId, getIsOpenMath, getTypicalFileName, hashCode, isPresentableFormat, parseEncoding, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getCDgroupMimeType

public static String getCDgroupMimeType(String cdGroupIdOrUrl)

makeFromOJGroup

public static CDGroup makeFromOJGroup(MBaseRef mbaseRef,
                                      MBaseID omgroupId)
                               throws MBaseException

Throws:

MBaseException

makeFromCDGfile

public static CDGroup makeFromCDGfile(URL cdgURL)

makeGlobalCDGroup

public static CDGroup makeGlobalCDGroup()

makeFromList

public static CDGroup makeFromList(MBaseID id,
                                   List containedTheoriesIds)

isGlobalCDGroup

public boolean isGlobalCDGroup()

doesContainCD

public boolean doesContainCD(String cdName,
                             MBaseRef mbaseRef)

Currently only supports theory-ids or theory-names for which MBaseRef.searchText(java.lang.String, java.util.Collection) is used through OMSDisambiguator.

doesContainSymbol

public boolean doesContainSymbol(OJoms oms)

doesContainSymbols

public boolean doesContainSymbols(OJElement elt)

translateCDgroupURLtoMBaseID

public static String translateCDgroupURLtoMBaseID(String cdURL)