org.activemath.webapp.dict.queries
Class OmobjAMQuery
java.lang.Object
org.activemath.webapp.dict.queries.AMAbstractQuery
org.activemath.webapp.dict.queries.OmobjAMQuery
- All Implemented Interfaces:
- Cloneable
public class OmobjAMQuery
- extends AMAbstractQuery
Denotes a query for a precise OpenMath-encoded formula.
OmobjAMQuery
public OmobjAMQuery()
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