wyil.lang

Class WyilFile.Constant

java.lang.Object

wyil.lang.WyilFile.Block

wyil.lang.WyilFile.Declaration

wyil.lang.WyilFile.Constant

All Implemented Interfaces:

wybs.lang.SyntacticElement

Enclosing class:

WyilFile

public static final class WyilFile.Constant
extends WyilFile.Declaration

A constant declaration is a top-level block within a WyilFile that associates a name with a given constant value. These names can be used within expressions found in constants and functions and methods in other WyIL files. Note that constants may not have cyclic dependencies (i.e. they're value may not depend on itself).

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
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, wybs.lang.Attribute... attributes)
Constant(WyilFile parent, Collection<Modifier> modifiers, String name, Constant constant, Collection<wybs.lang.Attribute> attributes)

Method Summary

Modifier and Type	Method and Description
Constant	constant()

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

Constant

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

Constant

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

Method Detail

constant

public Constant constant()