wyal.lang

Interface WyalFile.Declaration

All Superinterfaces:

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

All Known Subinterfaces:

WyalFile.Declaration.Named

All Known Implementing Classes:

WyalFile.Declaration.Assert, WyalFile.Declaration.Import, WyalFile.Declaration.Named.Function, WyalFile.Declaration.Named.FunctionOrMacro, WyalFile.Declaration.Named.Macro, WyalFile.Declaration.Named.Type

Enclosing class:

WyalFile

public static interface WyalFile.Declaration
extends wybs.lang.CompilationUnit.Declaration

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	WyalFile.Declaration.Assert
static class	WyalFile.Declaration.Import Represents an import declaration in a Wycs source file.
static interface	WyalFile.Declaration.Named

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

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