public abstract class StringTerm extends TermAdapter<java.lang.String>
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
value
the value of the term
|
Constructor and Description |
---|
StringTerm(java.lang.String value)
Ctor: Creates a string term with the given String as value, uses the
Sort "Thing"
|
StringTerm(java.lang.String value,
Sort sort)
Ctor: Create a string term with the given value and sort.
|
StringTerm(StringTerm other)
Copy-Ctor: Creates a deep copy of the StringTerm
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
get() |
abstract void |
set(java.lang.String value)
Changes the java-object representation of the term to the
given value.
|
java.lang.String |
toString() |
clone, containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute
public StringTerm(java.lang.String value)
value
- The value for the string term.public StringTerm(java.lang.String value, Sort sort)
value
- The value of for the string term.sort
- The sort representing the type of the StringTerm.public StringTerm(StringTerm other)
other
- The StringTerm that acts as source for the copypublic abstract void set(java.lang.String value)
Term
set
in interface Term<java.lang.String>
set
in class TermAdapter<java.lang.String>
value
- The new java-object representation of the term.public java.lang.String get()
get
in interface Term<java.lang.String>
get
in class TermAdapter<java.lang.String>
public java.lang.String toString()
toString
in class TermAdapter<java.lang.String>