org.activemath.webapp.tools
Class SymbolPresentationListController.Notation

java.lang.Object
  org.activemath.webapp.tools.SymbolPresentationListController.Notation

Enclosing class:

SymbolPresentationListController

public class SymbolPresentationListController.Notation
extends Object

Constructor Summary

SymbolPresentationListController.Notation(org.jdom.Element elt)

Method Summary

Object	getElt()
String	getLanguage()
String	getPrecedence()
org.jdom.Element	getPrototype()
String	getStyle()
String	getTargetSymbolId()
String	getTransformedPrototype()

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolPresentationListController.Notation

public SymbolPresentationListController.Notation(org.jdom.Element elt)

Method Detail

getLanguage

public String getLanguage()

getStyle

public String getStyle()

getPrecedence

public String getPrecedence()

getElt

public Object getElt()

getTargetSymbolId

public String getTargetSymbolId()

getPrototype

public org.jdom.Element getPrototype()

getTransformedPrototype

public String getTransformedPrototype()