wyc.lang

Class WhileyFile.Constant

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.WhileyFile.NamedDeclaration

wyc.lang.WhileyFile.Constant

All Implemented Interfaces:

wybs.lang.SyntacticElement, WhileyFile.Context, WhileyFile.Declaration

Enclosing class:

WhileyFile

public class WhileyFile.Constant
extends WhileyFile.NamedDeclaration

Represents a constant declaration in a Whiley source file, which has the form:

 ConstantDeclaration ::= "constant" Identifier "is" Expression
 

A simple example to illustrate is:

 constant PI is 3.141592654
 

Here, we are defining a constant called PI which represents the decimal value "3.141592654". Constant declarations may also have modifiers, such as public and private.

Author:

David J. Pearce

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
Expr	constant
Constant	resolvedValue

Constructor Summary

Constructors

Constructor and Description
Constant(List<Modifier> modifiers, Expr constant, String name, wybs.lang.Attribute... attributes)

Method Summary

Methods inherited from class wyc.lang.WhileyFile.NamedDeclaration

hasModifier, modifiers, name

Methods inherited from class wybs.lang.SyntacticElement.Impl

attribute, attributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Field Detail

constant

public Expr constant

resolvedValue

public Constant resolvedValue

Constructor Detail

Constant

public Constant(List<Modifier> modifiers,
                Expr constant,
                String name,
                wybs.lang.Attribute... attributes)