wyal.lang

Interface WyalFile.Declaration.Named

All Superinterfaces:

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

All Known Implementing Classes:

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

Enclosing interface:

WyalFile.Declaration

public static interface WyalFile.Declaration.Named
extends WyalFile.Declaration

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	WyalFile.Declaration.Named.Function
static class	WyalFile.Declaration.Named.FunctionOrMacro
static class	WyalFile.Declaration.Named.Macro
static class	WyalFile.Declaration.Named.Type

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

WyalFile.Declaration.Assert, WyalFile.Declaration.Import, 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

Modifier and Type	Method and Description
wybs.util.AbstractCompilationUnit.Identifier	getName()
wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration>	getParameters()

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

Method Detail

getName

wybs.util.AbstractCompilationUnit.Identifier getName()

getParameters

wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> getParameters()