List of usage examples for org.eclipse.jface.viewers IFilter interface-usage
From source file $packageName$.$filterClassName$.java
/** * An example showing how to create a property section. */ public class $filterClassName$ implements IFilter { public boolean select(Object toTest) {
From source file ac.soton.eventb.roseEditor.propertySections.editTables.ContextAxiomsPropertySection.java
/**
* The Axioms tab table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.ContextConstantsPropertySection.java
/**
* The Constants tab table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.ContextExtendsNamesPropertySection.java
/**
* The Sees table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.ContextSetsPropertySection.java
/**
* The Constants tab table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.EventActionsPropertySection.java
/**
* The Actions tab table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.EventGuardsPropertySection.java
/**
* The Guards tab table section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.EventParametersPropertySection.java
/**
* Event parameters tab table property section.
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.EventRefinesNamesPropertySection.java
/**
* Event refines tab table property section.
* This tab will load the refined Machine in order to find possible events to refine for a drop down list
*
* @author Colin Snook
*/
From source file ac.soton.eventb.roseEditor.propertySections.editTables.EventWitnessesPropertySection.java
/**
* Witness's tab table property section.
*
* @author Colin Snook (adpated from Guards by Andrew Tillman)
*/