|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface RubatoDictionary
Method Summary | |
---|---|
Denotator |
getDenotator(java.lang.String name)
Returns the denotator for the given name . |
java.util.List<Denotator> |
getDenotators()
Returns a list of all denotators. |
Form |
getForm(java.lang.String name)
Returns the form for the given name . |
java.util.List<Form> |
getForms()
Returns a list of all forms. |
Module |
getModule(java.lang.String name)
Returns the module for the given name . |
ModuleElement |
getModuleElement(java.lang.String name)
Returns the module element for the given name . |
ModuleMorphism |
getModuleMorphism(java.lang.String name)
Returns the module morphism for the given name . |
Method Detail |
---|
java.util.List<Form> getForms()
Form getForm(java.lang.String name)
name
.
java.util.List<Denotator> getDenotators()
Denotator getDenotator(java.lang.String name)
name
.
Module getModule(java.lang.String name)
name
.
ModuleElement getModuleElement(java.lang.String name)
name
.
ModuleMorphism getModuleMorphism(java.lang.String name)
name
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |