wyc.lang

Interface SyntacticType

All Superinterfaces:

Comparable<wyal.lang.SyntacticItem>, wybs.lang.SyntacticElement, wyal.lang.SyntacticItem, wyal.lang.WyalFile.Type

public interface SyntacticType
extends wyal.lang.WyalFile.Type

Provides classes for representing types in Whiley's source language. These are referred to as unresolved types as they include nominal types whose full NameID remains unknown. Unresolved types are resolved during the name resolution> stage of the compiler.

Each class is an instance of SyntacticElement and, hence, can be adorned with certain information (such as source location, etc).

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wyal.lang.WyalFile.Type

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

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

wybs.lang.SyntacticElement.Impl

Field Summary

Fields inherited from interface wyal.lang.WyalFile.Type

Any, Bool, Int, Null, Void

Method Summary

Methods inherited from interface wyal.lang.SyntacticItem

allocate, clone, getData, getIndex, getOpcode, getOperand, getOperands, getParent, setOpcode, setOperand, size

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Methods inherited from interface java.lang.Comparable

compareTo