public class TermTypeImpl extends Object implements TermType
| Modifier | Constructor and Description |
|---|---|
protected |
TermTypeImpl(String name,
TermTypeAncestry parentAncestry,
boolean isAbstract) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other)
TODO: refactor
|
TermTypeAncestry |
getAncestry() |
TermType |
getCommonDenominator(TermType otherTermType)
Can be overloaded
|
int |
hashCode() |
boolean |
isA(TermType moreGeneralType) |
boolean |
isAbstract()
Returns true if the TermType INSTANCE cannot be attached to a constant
|
String |
toString() |
protected TermTypeImpl(String name, TermTypeAncestry parentAncestry, boolean isAbstract)
public final boolean isAbstract()
TermTypeisAbstract in interface TermTypepublic TermType getCommonDenominator(TermType otherTermType)
getCommonDenominator in interface TermTypepublic TermTypeAncestry getAncestry()
getAncestry in interface TermTypeCopyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.