de.uka.ilkd.key.gui

Class DependencyContractCompletion.TermStringWrapper

java.lang.Object

de.uka.ilkd.key.gui.DependencyContractCompletion.TermStringWrapper

Enclosing class:

DependencyContractCompletion

public static final class DependencyContractCompletion.TermStringWrapper
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	string
Term[]	terms

Constructor Summary

Constructors

Constructor and Description
TermStringWrapper(Term[] terms, java.lang.String string)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

terms

public final Term[] terms

string

final java.lang.String string

Constructor Detail

TermStringWrapper

public TermStringWrapper(Term[] terms,
                         java.lang.String string)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object