wyc.lang

Class WhileyFile.Type

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.WhileyFile.NamedDeclaration

wyc.lang.WhileyFile.Type

All Implemented Interfaces:

wybs.lang.SyntacticElement, WhileyFile.Context, WhileyFile.Declaration

Enclosing class:

WhileyFile

public class WhileyFile.Type
extends WhileyFile.NamedDeclaration

Represents a type declaration in a Whiley source file, which has the form:

 "type" Identifier "is" TypePattern ["where" Expression]
 

Here, the type pattern specifies a type which may additionally be adorned with variable names. The "where" clause is optional and is often referred to as the type's "constraint". Variables defined within the type pattern may be used within this constraint expressions. A simple example to illustrate is:

 type nat is (int x) where x >= 0
 

Here, we are defining a constrained type called nat which represents the set of natural numbers (i.e the non-negative integers). Type declarations may also have modifiers, such as public and private.

Author:

David J. Pearce

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
ArrayList<Expr>	invariant
WhileyFile.Parameter	parameter
Type	resolvedType

Constructor Summary

Constructors

Constructor and Description
Type(List<Modifier> modifiers, WhileyFile.Parameter type, String name, List<Expr> constraint, wybs.lang.Attribute... attributes)

Method Summary

Methods inherited from class wyc.lang.WhileyFile.NamedDeclaration

hasModifier, modifiers, name

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Field Detail

parameter

public final WhileyFile.Parameter parameter

resolvedType

public Type resolvedType

invariant

public ArrayList<Expr> invariant

Constructor Detail

Type

public Type(List<Modifier> modifiers,
            WhileyFile.Parameter type,
            String name,
            List<Expr> constraint,
            wybs.lang.Attribute... attributes)