wyal.lang

Interface WyalFile.Type

All Superinterfaces:

Comparable<wybs.lang.SyntacticItem>, wybs.lang.SyntacticElement, wybs.lang.SyntacticItem

All Known Subinterfaces:

WyalFile.Type.Primitive

All Known Implementing Classes:

WyalFile.Type.Any, WyalFile.Type.Array, WyalFile.Type.Atom, WyalFile.Type.Bool, WyalFile.Type.Byte, WyalFile.Type.Function, WyalFile.Type.FunctionOrMacroOrInvariant, WyalFile.Type.FunctionOrMethodOrProperty, WyalFile.Type.Int, WyalFile.Type.Intersection, WyalFile.Type.Invariant, WyalFile.Type.Method, WyalFile.Type.Negation, WyalFile.Type.Nominal, WyalFile.Type.Null, WyalFile.Type.Property, WyalFile.Type.Record, WyalFile.Type.Reference, WyalFile.Type.Union, WyalFile.Type.UnionOrIntersection, WyalFile.Type.Void

Enclosing class:

WyalFile

public static interface WyalFile.Type
extends wybs.lang.SyntacticItem

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	WyalFile.Type.Any The type any represents the type whose variables may hold any possible value.
static class	WyalFile.Type.Array Represents a list type, which is of the form:
static class	WyalFile.Type.Atom
static class	WyalFile.Type.Bool Represents the set of boolean values (i.e.
static class	WyalFile.Type.Byte Represents a sequence of 8 bits.
static class	WyalFile.Type.Function
static class	WyalFile.Type.FunctionOrMacroOrInvariant
static class	WyalFile.Type.FunctionOrMethodOrProperty
static class	WyalFile.Type.Int Represents the set of (unbound) integer values.
static class	WyalFile.Type.Intersection Represents an intersection type, which is of the form:
static class	WyalFile.Type.Invariant
static class	WyalFile.Type.Method
static class	WyalFile.Type.Negation Parse a negation type, which is of the form:
static class	WyalFile.Type.Nominal Represents a nominal type, which is of the form:
static class	WyalFile.Type.Null The null type is a special type which should be used to show the absence of something.
static interface	WyalFile.Type.Primitive
static class	WyalFile.Type.Property
static class	WyalFile.Type.Record Represents record type, which is of the form:
static class	WyalFile.Type.Reference Parse a reference type, which is of the form:
static class	WyalFile.Type.Union Represents a union type, which is of the form:
static class	WyalFile.Type.UnionOrIntersection
static class	WyalFile.Type.Void A void type represents the type whose variables cannot exist! That is, they cannot hold any possible value.

Nested classes/interfaces inherited from interface wybs.lang.SyntacticItem

wybs.lang.SyntacticItem.Data, wybs.lang.SyntacticItem.Operands, wybs.lang.SyntacticItem.Schema

Nested classes/interfaces inherited from interface wybs.lang.SyntacticElement

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
static WyalFile.Type.Any	Any
static WyalFile.Type.Bool	Bool
static WyalFile.Type.Int	Int
static WyalFile.Type.Null	Null
static WyalFile.Type.Void	Void

Method Summary

Methods inherited from interface wybs.lang.SyntacticItem

allocate, clone, get, getAll, getData, getHeap, getIndex, getOpcode, getParent, setOpcode, setOperand, size

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Methods inherited from interface java.lang.Comparable

compareTo

Field Detail

Any

static final WyalFile.Type.Any Any

Void

static final WyalFile.Type.Void Void

Bool

static final WyalFile.Type.Bool Bool

Int

static final WyalFile.Type.Int Int

Null

static final WyalFile.Type.Null Null