wyil.lang

Class WyilFile.Type

java.lang.Object

wyil.lang.WyilFile.Block

wyil.lang.WyilFile.Declaration

wyil.lang.WyilFile.Type

All Implemented Interfaces:

wybs.lang.SyntacticElement

Enclosing class:

WyilFile

public static final class WyilFile.Type
extends WyilFile.Declaration

A type declaration is a top-level block within a WyilFile that associates a name with a given type. These names can be used within types, constants, functions and methods in other WyIL files. Every type has an optional invariant as well, which must hold true for all values of that type.

Author:

David J. Pearce

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Constructor Summary

Constructors

Constructor and Description
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, wybs.lang.Attribute... attributes)
Type(WyilFile parent, Collection<Modifier> modifiers, String name, Type type, Collection<wybs.lang.Attribute> attributes)

Method Summary

Modifier and Type	Method and Description
List<SyntaxTree.Location<Bytecode.Expr>>	getInvariant() Get the list of expressions that make up the invariant of this type.
Type	type()

Methods inherited from class wyil.lang.WyilFile.Declaration

getTree, hasModifier, modifiers, name

Methods inherited from class wyil.lang.WyilFile.Block

attribute, attributes, parent

Methods inherited from class java.lang.Object

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

Constructor Detail

Type

public Type(WyilFile parent,
            Collection<Modifier> modifiers,
            String name,
            Type type,
            wybs.lang.Attribute... attributes)

Type

public Type(WyilFile parent,
            Collection<Modifier> modifiers,
            String name,
            Type type,
            Collection<wybs.lang.Attribute> attributes)

Method Detail

type

public Type type()

getInvariant

public List<SyntaxTree.Location<Bytecode.Expr>> getInvariant()

Get the list of expressions that make up the invariant of this type. This list maybe empty, but it cannot be null.

Returns: