|
JIVE Platform Release 0.2.2 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage edu.buffalo.cse.jive.ui.search.pages.InvariantViolatedSearchPage
public class InvariantViolatedSearchPage
An IJiveSearchPage
used to create an
InvariantViolatedSearchQuery
. The page contains input fields for a
class, an optional instance number, and an invariant expression in the form
of: variableName relationalOperator variableName
.
When an instance number is given, the invariant is checked only for that particular instance of the class. When it is left out, the invariant is checked for every instance of the class.
InvariantViolatedSearchQuery
Field Summary | |
---|---|
protected Composite |
control
The top-level control returned by getControl() . |
protected Text |
leftClassText
A fully-qualified class name in which the invariant is being checked. |
protected Text |
leftInstanceText
An optional instance number specifying what instance of the class should be checked. |
protected Text |
leftVariableText
A variable of the class used on the left side of the operator. |
protected Combo |
operatorCombo
A relational operator selector. |
protected Text |
rightVariableText
A variable of the class used on the right side of the operator. |
Constructor Summary | |
---|---|
InvariantViolatedSearchPage()
|
Method Summary | |
---|---|
void |
createControl(Composite parent)
Creates the UI controls for the search page. |
protected JiveSearchPattern |
createPattern(String className,
String instanceNumber,
String variableName)
Creates a JiveSearchPattern with the supplied values. |
IJiveSearchQuery |
createSearchQuery()
Returns a new IJiveSearchQuery to be used to perform the search. |
Control |
getControl()
Returns the page's top-level UI control which was created by IJiveSearchPage.createControl(Composite) . |
void |
initializeInput(ISelection selection)
Initializes the search page's input fields using the provided ISelection . |
boolean |
isInputValid()
Returns whether the search page's input is valid. |
Methods inherited from class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchPage |
---|
getContainer, modifyText, setContainer, updatePerformAction |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected Composite control
getControl()
.
protected Text leftClassText
protected Text leftInstanceText
protected Text leftVariableText
protected Combo operatorCombo
protected Text rightVariableText
Constructor Detail |
---|
public InvariantViolatedSearchPage()
Method Detail |
---|
public void createControl(Composite parent)
IJiveSearchPage
Control
should have the supplied Composite
as its parent.
parent
- the parent of the page's top-level UI controlpublic Control getControl()
IJiveSearchPage
IJiveSearchPage.createControl(Composite)
.
public IJiveSearchQuery createSearchQuery()
IJiveSearchPage
IJiveSearchQuery
to be used to perform the search.
This method is called when the Search button is selected.
protected JiveSearchPattern createPattern(String className, String instanceNumber, String variableName)
JiveSearchPattern
with the supplied values.
className
- a fully-qualified class nameinstanceNumber
- an instance numbervariableName
- a variable name
public void initializeInput(ISelection selection)
IJiveSearchPage
ISelection
. This method is called whenever the search page is
displayed by the Search dialog.
selection
- the current workbench selectionpublic boolean isInputValid()
IJiveSearchPage
true
if the input is valid,
false
otherwise
|
JIVE Platform Release 0.2.2 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |