org.ballerinalang.model.types

Class BFiniteType

java.lang.Object

org.ballerinalang.model.types.BType

org.ballerinalang.model.types.BFiniteType

All Implemented Interfaces:

BLangSymbol

public class BFiniteType
extends BType

BFiniteType represents the finite type in Ballerina.

Field Summary

Fields

Modifier and Type	Field and Description
Set<BType>	memberTypes
Set<BValue>	valueSpace

Fields inherited from class org.ballerinalang.model.types.BType

pkgPath, typeName, valueClass

Constructor Summary

Constructors

Constructor and Description
BFiniteType(String typeName, String pkgPath)

Method Summary

Modifier and Type	Method and Description
<V extends BValue> V	getEmptyValue() Get the empty initialized value of this type.
TypeSignature	getSig()
int	getTag()
<V extends BValue> V	getZeroValue() Get the default value of the type.

Methods inherited from class org.ballerinalang.model.types.BType

equals, getName, getPackagePath, getValueClass, hashCode, isNative, isPublic, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

memberTypes

public Set<BType> memberTypes

valueSpace

public Set<BValue> valueSpace

Constructor Detail

BFiniteType

public BFiniteType(String typeName,
                   String pkgPath)

Method Detail

getZeroValue

public <V extends BValue> V getZeroValue()

Description copied from class: BType

Get the default value of the type. This is the value of an uninitialized variable of this type. For value types, this is same as the value get from BType#getInitValue().

Specified by:

getZeroValue in class BType

Type Parameters:

V - Type of the value

Returns:

Default value of the type

getEmptyValue

public <V extends BValue> V getEmptyValue()

Description copied from class: BType

Get the empty initialized value of this type. For reference types, this is the value of a variable, when initialized with the empty initializer. For value types, this is same as the default value (value get from BType#getDefaultValue()).

Specified by:

getEmptyValue in class BType

Type Parameters:

V - Type of the value

Returns:

Init value of this type

getSig

public TypeSignature getSig()

Specified by:

getSig in class BType

getTag

public int getTag()

Specified by:

getTag in class BType