org.topbraidcomposer.rules.view
Class RulesContentProvider

java.lang.Object
  org.topbraid.rules.inference.AllRulesProvider
      org.topbraidcomposer.rules.view.RulesContentProvider

All Implemented Interfaces:

org.eclipse.jface.viewers.IContentProvider, org.eclipse.jface.viewers.IStructuredContentProvider, IRulesProvider

public class RulesContentProvider
extends AllRulesProvider
implements org.eclipse.jface.viewers.IStructuredContentProvider

Constructor Summary

RulesContentProvider()

Method Summary

void	dispose()
java.lang.Object[]	getElements(java.lang.Object inputElement)
void	inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)

Methods inherited from class org.topbraid.rules.inference.AllRulesProvider

getRule2StatementMap, getRules, getRules, getSource

Methods inherited from class java.lang.Object

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

Constructor Detail

RulesContentProvider

public RulesContentProvider()

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.viewers.IContentProvider

getElements

public java.lang.Object[] getElements(java.lang.Object inputElement)

Specified by:

getElements in interface org.eclipse.jface.viewers.IStructuredContentProvider

inputChanged

public void inputChanged(org.eclipse.jface.viewers.Viewer viewer,
                         java.lang.Object oldInput,
                         java.lang.Object newInput)

Specified by:

inputChanged in interface org.eclipse.jface.viewers.IContentProvider