private static class JoinDialog.ContentPanel.ContentItem extends Object
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
applicable |
(package private) CheckedUserInput.CheckedUserInputInspector |
inspector |
(package private) ProspectivePartner |
partner |
Constructor and Description |
---|
JoinDialog.ContentPanel.ContentItem(ProspectivePartner partner,
Services services,
boolean applicable) |
Modifier and Type | Method and Description |
---|---|
CheckedUserInput.CheckedUserInputInspector |
getInspector() |
String |
getPredicate(Proof proof) |
String |
getPredicateInfo() |
(package private) Sequent |
getSequent() |
boolean |
isApplicable() |
String |
toString() |
final ProspectivePartner partner
final CheckedUserInput.CheckedUserInputInspector inspector
final boolean applicable
public JoinDialog.ContentPanel.ContentItem(ProspectivePartner partner, Services services, boolean applicable)
public CheckedUserInput.CheckedUserInputInspector getInspector()
public boolean isApplicable()
Sequent getSequent()
public String getPredicateInfo()