org.activemath.util
Class OCDExport

java.lang.Object
  org.apache.tools.ant.ProjectComponent
      org.apache.tools.ant.Task
          org.activemath.util.OCDExport

public class OCDExport
extends org.apache.tools.ant.Task

Class to produce an OpenMath content dictionary based on parts of an OMDoc theory or omgroup.

Field Summary

Fields inherited from class org.apache.tools.ant.Task

description, location, target, taskName, taskType, wrapper

Fields inherited from class org.apache.tools.ant.ProjectComponent

project

Constructor Summary

OCDExport()

Method Summary

void	execute()
static void	main(String[] args) Arguments: ocdExport [] produces the OCD file indicated from the id provided, either an omgroup or a theory.
void	setId(String id)
void	setLanguage(String language)
void	setMbaseRef(AuthorExtendedMBaseRef mbaseRef)
void	setMbaseRefUrl(String mbaseRefUrl)
void	setOcdFile(File ocdFile)

Methods inherited from class org.apache.tools.ant.Task

getDescription, getLocation, getOwningTarget, getRuntimeConfigurableWrapper, getTaskName, getTaskType, getWrapper, handleErrorFlush, handleErrorOutput, handleFlush, handleInput, handleOutput, init, isInvalid, log, log, maybeConfigure, perform, reconfigure, setDescription, setLocation, setOwningTarget, setRuntimeConfigurableWrapper, setTaskName, setTaskType

Methods inherited from class org.apache.tools.ant.ProjectComponent

getProject, setProject

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OCDExport

public OCDExport()

Method Detail

main

public static void main(String[] args)
                 throws Throwable

Arguments: ocdExport [] produces the OCD file indicated from the id provided, either an omgroup or a theory.

Parameters:

args -

Throws:

Throwable

setId

public void setId(String id)

setOcdFile

public void setOcdFile(File ocdFile)

setMbaseRef

public void setMbaseRef(AuthorExtendedMBaseRef mbaseRef)

setMbaseRefUrl

public void setMbaseRefUrl(String mbaseRefUrl)

setLanguage

public void setLanguage(String language)

execute

public void execute()
             throws org.apache.tools.ant.BuildException

Overrides:

execute in class org.apache.tools.ant.Task

Throws:

org.apache.tools.ant.BuildException