|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IDSetSearch
Interface of a module providing search for ID/IDREF attributes, as well as attribute statistics computation and display.
| Method Summary | |
|---|---|
String |
getGraphVizInput(List<Element> grammar)
Returns a graph representation of the specified grammar in GraphViz language. |
void |
showIDSetPanel(String panelName,
List<Element> grammar)
Shows a panel with tools to search for ID/IDREF attributes in the provided grammar. |
| Methods inherited from interface cz.cuni.mff.ksi.jinfer.base.interfaces.NamedModule |
|---|
getDisplayName, getModuleDescription, getName |
| Method Detail |
|---|
void showIDSetPanel(String panelName,
List<Element> grammar)
panelName - Title of the panel that will be displayed.grammar - Grammar to work on.String getGraphVizInput(List<Element> grammar)
GraphUtils.getGraphVizInput(AMModel)
for details.
grammar - Grammar to create GraphViz input from.
|
jInfer | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||