org.grinvin.help

Class InvariantIndexView


public class InvariantIndexView
extends IndexView

Loads an overview of the available invariants and places them in a index tree that is mergeable with the GrInvIn help index tree.

Constructor Summary

InvariantIndexView()
Creates a new instance of InvariantIndexView

Method Summary

DefaultMutableTreeNode
getDataAsTree()
String
getMergeType()

Constructor Details

InvariantIndexView

public InvariantIndexView()
Creates a new instance of InvariantIndexView

Method Details

getDataAsTree

public DefaultMutableTreeNode getDataAsTree()

getMergeType

public String getMergeType()