| Method Summary |
|
| public Library | getLibrary()
Returns the Library that this LibraryTranslation belongs too. |
| public String | getName()
Gets the name of this LibraryTranslation. |
| public String | getTemplate()
Gets the path to the template for this instance. |
| public String | getTranslationFragment(String name, String kind)
Gets the current "translated" value of this fragmentName for resulting from the last processTranslation method
Parameters:
name - the name of the fragment to retrieve.
Parameters:
kind - the kind or type of fragment to retrieve (this is the based on the expression type: body, inv, post,pre, etc). |
| public Translator | getTranslator()
Gets the Translator instance that will perform processing of the template. |
| public String | getVariable()
Gets the variable name which is made available to the translation template. |
| public void | handleTranslationFragment(String name, String kind, Object node)
Calls the handlerMethod from a translation fragment. |
| public Translation | processTranslation(Map templateContext)
Processes the template belonging to this LibraryTranslation and returns the Translation objects. |
| public void | setLibrary(Library library)
Sets the
Library to which this LibraryInstance belongs. |
| public void | setName(String name)
Sets the name. |
| public void | setTemplate(String template)
Sets the path to the template. |
| protected void | setTranslation(Reader translationInput)
The processed translation template as a Reader. |
| public void | setTranslator(String translatorClass)
Sets the Translator class that will perform the translation processing. |
| public void | setVariable(String variable)
Sets the variable name which is made available to the translation template. |
| public String | toString()
|
