public static final class DependencyContractCompletion.TermStringWrapper extends Object
(package private) String
string
Term[]
terms
DependencyContractCompletion.TermStringWrapper(Term[] terms, String string)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public final Term[] terms
final String string
public DependencyContractCompletion.TermStringWrapper(Term[] terms, String string)
public String toString()
toString
Object