edu.uiowa.cs.clc.kind2.lustre

Class TypeUtil

java.lang.Object

edu.uiowa.cs.clc.kind2.lustre.TypeUtil

public class TypeUtil
extends java.lang.Object

A utility class for constructing Lustre types.

Field Summary

Fields

Modifier and Type	Field and Description
static edu.uiowa.cs.clc.kind2.lustre.NamedType	BOOL
static edu.uiowa.cs.clc.kind2.lustre.NamedType	INT
static edu.uiowa.cs.clc.kind2.lustre.NamedType	INT16
static edu.uiowa.cs.clc.kind2.lustre.NamedType	INT32
static edu.uiowa.cs.clc.kind2.lustre.NamedType	INT64
static edu.uiowa.cs.clc.kind2.lustre.NamedType	INT8
static edu.uiowa.cs.clc.kind2.lustre.NamedType	REAL
static edu.uiowa.cs.clc.kind2.lustre.NamedType	UINT16
static edu.uiowa.cs.clc.kind2.lustre.NamedType	UINT32
static edu.uiowa.cs.clc.kind2.lustre.NamedType	UINT64
static edu.uiowa.cs.clc.kind2.lustre.NamedType	UINT8

Constructor Summary

Constructors

Constructor and Description
TypeUtil()

Method Summary

Modifier and Type	Method and Description
static Type	array(Type base, int size) Construct an array type
static Type	enumeration(java.util.List<java.lang.String> values) Construct an enum type
static Type	intSubrange(long low, long high) Construct an integer-subrange type
static Type	intSubrange(java.lang.String low, java.lang.String high) Construct an integer-subrange type
static Type	named(java.lang.String name) Construct a named type
static Type	record(java.util.Map<java.lang.String,Type> fields) Construct a record type
static Type	tuple(java.util.List<? extends Type> types) Construct an tuple type

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BOOL

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType BOOL

INT

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType INT

REAL

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType REAL

INT8

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType INT8

INT16

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType INT16

INT32

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType INT32

INT64

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType INT64

UINT8

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType UINT8

UINT16

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType UINT16

UINT32

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType UINT32

UINT64

public static final edu.uiowa.cs.clc.kind2.lustre.NamedType UINT64

Constructor Detail

TypeUtil

public TypeUtil()

Method Detail

array

public static Type array(Type base,
                         int size)

Construct an array type

Lustre: <base>^<size>

Parameters:

base - type of the elements of the array

size - size of the array

Returns:

the array type

enumeration

public static Type enumeration(java.util.List<java.lang.String> values)

Construct an enum type

Lustre: enum {<values[0]>, <values[1]>, ...}

Parameters:

values - a list values for the enumerated type

Returns:

the enum type

named

public static Type named(java.lang.String name)

Construct a named type

Lustre: <name>

Parameters:

name - name of the type

Returns:

the named type

record

public static Type record(java.util.Map<java.lang.String,Type> fields)

Construct a record type

Lustre: struct {<fields[0].key> : <fields[0].value>, ...}

Parameters:

fields - a mapping from field names to their types

Returns:

the record type

intSubrange

public static Type intSubrange(java.lang.String low,
                               java.lang.String high)

Construct an integer-subrange type

Lustre: subrange [<low>, <high>] of int

Parameters:

low - minimum integer value (inclusive)

high - maximum integer value (inclusive)

Returns:

the integer-subrange type

intSubrange

public static Type intSubrange(long low,
                               long high)

Construct an integer-subrange type

Lustre: subrange [<low>, <high>] of int

Parameters:

low - minimum integer value (inclusive)

high - maximum integer value (inclusive)

Returns:

the integer-subrange type

tuple

public static Type tuple(java.util.List<? extends Type> types)

Construct an tuple type

Lustre: [<types[0]>, <types[1]>, ...]

Parameters:

types - a list of subtypes

Returns:

the tuple type