public class NumberTerm extends TermAdapter<java.lang.Integer>
value
Constructor and Description |
---|
NumberTerm(int number)
Ctor: Creates a new NumberTerm, the sort "Thing" is used.
|
NumberTerm(int number,
Sort sort)
Ctor: Creates a new NumberTerm using the sort and the value
given as parameter.
|
NumberTerm(NumberTerm other)
Copy-Ctor: Creates a deep copy of the given NumberTerm
|
NumberTerm(java.lang.String number)
Ctor: Creates a new NumberTerm, the sort "Thing" is used.
|
NumberTerm(java.lang.String number,
Sort sort)
Ctor: Creates a new NumberTerm using the sort and the value
given as parameter.
|
Modifier and Type | Method and Description |
---|---|
NumberTerm |
clone()
Creates a deep copy of the term
|
containsTermsOfType, equals, get, getSort, getTerms, getTerms, hashCode, set, substitute, toString
public NumberTerm(int number)
number
- the value of the number termpublic NumberTerm(int number, Sort sort)
number
- The value of the number termsort
- The sort representing the type of the number termpublic NumberTerm(java.lang.String number)
number
- The value of the number term as stringpublic NumberTerm(java.lang.String number, Sort sort)
number
- The value of the number term as stringsort
- The sort representing the type of the number termpublic NumberTerm(NumberTerm other)
other
- The NumberTerm that is the source for the copy.public NumberTerm clone()
Term
clone
in interface Term<java.lang.Integer>
clone
in class TermAdapter<java.lang.Integer>