org.activemath.webapp.dict.queries
Class OmobjAMQuery

java.lang.Object
  extended by org.activemath.webapp.dict.queries.AMAbstractQuery
      extended by org.activemath.webapp.dict.queries.OmobjAMQuery
All Implemented Interfaces:
Cloneable

public class OmobjAMQuery
extends AMAbstractQuery

Denotes a query for a precise OpenMath-encoded formula.


Field Summary
 
Fields inherited from class org.activemath.webapp.dict.queries.AMAbstractQuery
policy
 
Constructor Summary
OmobjAMQuery()
           
 
Method Summary
 OJElement asXMLElement()
           
 Object clone()
           
protected  void finalize()
           
 String getDefaultFieldName()
          Returns the bean field-name that a appSession should "first" edit when editing such a query.
 String getOmobjString()
           
 String getType()
           
 boolean isValid()
           
 void setClipCoordinate(String clipCoordinate)
           
 void setOmobjString(String omobjString)
           
 String userString()
           
 
Methods inherited from class org.activemath.webapp.dict.queries.AMAbstractQuery
getName, setPolicy, setType
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OmobjAMQuery

public OmobjAMQuery()
Method Detail

getOmobjString

public String getOmobjString()

setOmobjString

public void setOmobjString(String omobjString)

setClipCoordinate

public void setClipCoordinate(String clipCoordinate)

isValid

public boolean isValid()
Specified by:
isValid in class AMAbstractQuery

clone

public Object clone()
Overrides:
clone in class AMAbstractQuery

getType

public String getType()
Specified by:
getType in class AMAbstractQuery

getDefaultFieldName

public String getDefaultFieldName()
Description copied from class: AMAbstractQuery
Returns the bean field-name that a appSession should "first" edit when editing such a query.

Specified by:
getDefaultFieldName in class AMAbstractQuery

userString

public String userString()
Specified by:
userString in class AMAbstractQuery

asXMLElement

public OJElement asXMLElement()
Overrides:
asXMLElement in class AMAbstractQuery

finalize

protected void finalize()
Overrides:
finalize in class Object