Package net.hydromatic.morel.type

Class ProgressiveRecordType

java.lang.Object

net.hydromatic.morel.type.BaseType

net.hydromatic.morel.type.RecordType

net.hydromatic.morel.type.ProgressiveRecordType

All Implemented Interfaces:

RecordLikeType, Type

public class ProgressiveRecordType
extends RecordType

Progressive record type.

Nested Class Summary

Nested classes/interfaces inherited from interface net.hydromatic.morel.type.Type

Type.Key

Field Summary

Fields inherited from class net.hydromatic.morel.type.RecordType

argNameTypes, ORDERING

Fields inherited from class net.hydromatic.morel.type.BaseType

op

Constructor Summary

Constructors

Constructor	Description
ProgressiveRecordType(SortedMap<String,Type> argNameTypes)	Creates a ProgressiveRecordType.

Method Summary

Modifier and Type	Method	Description
boolean	isProgressive()	Returns whether this type is progressive.
Type.Key	key()	Description of the type, e.g

Methods inherited from class net.hydromatic.morel.type.RecordType

accept, argNameTypes, argType, compareNames, copy, map, mutableMap

Methods inherited from class net.hydromatic.morel.type.BaseType

equals, hashCode, op, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.hydromatic.morel.type.RecordLikeType

argTypes, asTypedValue

Methods inherited from interface net.hydromatic.morel.type.Type

isFinite, moniker, op, substitute

Constructor Details

ProgressiveRecordType

ProgressiveRecordType(SortedMap<String,Type> argNameTypes)

Creates a ProgressiveRecordType.

Method Details

isProgressive

public boolean isProgressive()

Description copied from interface: Type

Returns whether this type is progressive.

Progressive types are records, but can have additional fields each time you look.

The "file" value is an example.

key

public Type.Key key()

Description copied from interface: Type

Description of the type, e.g. "int", "int -> int", " NONE | SOME of 'a".

Specified by:

key in interface Type

Overrides:

key in class RecordType