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