public final class VoidType extends SimpleType
Modifier and Type | Field and Description |
---|---|
static String |
NAME
A name of the void type.
|
BINARY, BOOLEAN, DATE, DECIMAL, ENUMERATION, INTEGER, LOCAL_DATE, NULL, OBJECT, PROPERTY, PROPERTY_PATH, RECORD, STRING, VOID
Modifier and Type | Method and Description |
---|---|
<T,E extends Throwable> |
accept(TypeVisitor<T,E> visitor)
Accepts type visitor.
|
boolean |
assignableTo(Type target)
Returns information whether a value of this type can be assigned to a
variable of another type.
|
Type |
findCommonSubtype(Type other)
Returns the common subtype, i.e.
|
Type |
findCommonSupertype(Type other)
Returns the common supertype, i.e.
|
Type |
getSupertype()
Returns a direct supertype to this type (or null for "Object" type).
|
equals, forJavaClass, forName, getJavaClass, getName, getSimpleTypes, hashCode, hasIntersectionType, toString
getFreeTypes, hasFreeTypes, isCollection, matchesSubtype, matchesSupertype, performConversion, substituteFreeTypes
public static final String NAME
public boolean assignableTo(Type target)
Type
assignableTo
in interface Type
assignableTo
in class AbstractType
target
- type of the target variablepublic Type getSupertype()
Type
public <T,E extends Throwable> T accept(TypeVisitor<T,E> visitor) throws E extends Throwable
Type
T
- visitor return typevisitor
- visitor to visitE
E extends Throwable
public Type findCommonSupertype(Type other)
Type
other
.findCommonSupertype
in interface Type
findCommonSupertype
in class AbstractType
public Type findCommonSubtype(Type other)
Type
other
.findCommonSubtype
in interface Type
findCommonSubtype
in class AbstractType
Copyright © 2007-2020 Whitestein Technologies. All Rights Reserved.