public class ConceptType extends StructuredType implements java.lang.Cloneable
Red (blickly) |
Red (blickly) |
Modifier and Type | Field and Description |
---|---|
static ConceptType |
CONCEPT
The representative type for all ConceptTokens.
|
MAXDEPTHBOUND
HASH_INVALID
Constructor and Description |
---|
ConceptType() |
Modifier and Type | Method and Description |
---|---|
protected int |
_compare(StructuredType type)
Compare this type with the specified type.
|
protected StructuredType |
_getRepresentative()
Return the representative of this type.
|
protected StructuredType |
_greatestLowerBound(StructuredType type)
Take the greatest lower bound of this type with the specified type.
|
protected StructuredType |
_leastUpperBound(StructuredType type)
Take the least upper bound of this type with the specified type.
|
ConceptType |
clone()
Do nothing, since this is a singleton type.
|
ConceptToken |
convert(Token token)
Convert the specified token into a ConceptToken.
|
java.lang.Class<ConceptToken> |
getTokenClass()
Return the class for tokens that this type represents.
|
void |
initialize(Type type)
Do nothing, since there are no unknown subtypes.
|
boolean |
isCompatible(Type type)
Test if the argument is compatible with this type.
|
boolean |
isConstant()
Test if this type is constant.
|
boolean |
isInstantiable()
Test if this Type corresponds to an instantiable token class.
|
boolean |
isSubstitutionInstance(Type type)
Detect if the specified type is a substitution instance of this type.
|
add, depth, divide, getTypeHash, isAbstract, modulo, multiply, one, subtract, updateType, zero
public static final ConceptType CONCEPT
public ConceptToken convert(Token token)
public java.lang.Class<ConceptToken> getTokenClass()
getTokenClass
in interface Type
public boolean isCompatible(Type type)
isCompatible
in interface Type
type
- A type.public boolean isConstant()
isConstant
in interface Type
public boolean isInstantiable()
isInstantiable
in interface Type
public boolean isSubstitutionInstance(Type type)
isSubstitutionInstance
in interface Type
type
- A type to check.public ConceptType clone()
clone
in interface Type
clone
in class StructuredType
public void initialize(Type type)
initialize
in class StructuredType
type
- Ignored.protected int _compare(StructuredType type)
_compare
in class StructuredType
type
- Another instance of the ConceptType singleton type.protected StructuredType _getRepresentative()
_getRepresentative
in class StructuredType
protected StructuredType _greatestLowerBound(StructuredType type)
_greatestLowerBound
in class StructuredType
type
- Another instance of the ConceptType singleton type.protected StructuredType _leastUpperBound(StructuredType type)
_leastUpperBound
in class StructuredType
type
- Another instance of the ConceptType singleton type.