wyc.lang

Interface Expr

All Superinterfaces:

wybs.lang.SyntacticElement

All Known Subinterfaces:

Expr.LVal

All Known Implementing Classes:

Expr.AbstractFunctionOrMethod, Expr.AbstractIndirectInvoke, Expr.AbstractInvoke, Expr.AbstractVariable, Expr.ArrayGenerator, Expr.ArrayInitialiser, Expr.AssignedVariable, Expr.BinOp, Expr.Cast, Expr.Constant, Expr.ConstantAccess, Expr.Dereference, Expr.FieldAccess, Expr.FunctionCall, Expr.FunctionOrMethod, Expr.FunctionOrMethodCall, Expr.IndexOf, Expr.IndirectFunctionCall, Expr.IndirectFunctionOrMethodCall, Expr.IndirectMethodCall, Expr.Lambda, Expr.LocalVariable, Expr.MethodCall, Expr.New, Expr.PropertyCall, Expr.Quantifier, Expr.Record, Expr.TypeVal, Expr.UnOp

public interface Expr
extends wybs.lang.SyntacticElement

Provides classes for representing expressions in Whiley's source language. Examples include binary operators, integer constants, field accesses, etc. 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

Modifier and Type	Interface and Description
static class	Expr.AbstractFunctionOrMethod
static class	Expr.AbstractIndirectInvoke
static class	Expr.AbstractInvoke
static class	Expr.AbstractVariable
static class	Expr.ArrayGenerator Represents an array generator expression, which is of the form:
static class	Expr.ArrayInitialiser Represents an array initialiser expression, which is of the form:
static class	Expr.AssignedVariable
static class	Expr.BinOp
static class	Expr.BOp
static class	Expr.Cast Represents a cast expression, which has the form:
static class	Expr.Constant
static class	Expr.ConstantAccess
static class	Expr.Dereference
static class	Expr.FieldAccess
static class	Expr.FunctionCall Parse a function invocation expression, which has the form:
static class	Expr.FunctionOrMethod
static class	Expr.FunctionOrMethodCall
static class	Expr.IndexOf
static class	Expr.IndirectFunctionCall
static class	Expr.IndirectFunctionOrMethodCall
static class	Expr.IndirectMethodCall
static class	Expr.Lambda
static class	Expr.LocalVariable
static interface	Expr.LVal An LVal is a special form of expression which may appear on the left-hand side of an assignment.
static class	Expr.MethodCall
static interface	Expr.Multi A Multi expression is one which returns multiple values.
static class	Expr.New
static class	Expr.PropertyCall
static class	Expr.QOp
static class	Expr.Quantifier
static class	Expr.Record
static class	Expr.TypeVal
static class	Expr.UnOp
static class	Expr.UOp

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

wybs.lang.SyntacticElement.Impl

Method Summary

Modifier and Type	Method and Description
Type	result() Get the type that this expression will evaluate to.

Methods inherited from interface wybs.lang.SyntacticElement

attribute, attributes

Method Detail

result

Type result()

Get the type that this expression will evaluate to. This type splits into a nominal and raw component. The nominal component retains name information and, as such, is incomplete. This means one should not use the nominal component for subtype testing; rather it should only be used for reporting information to the user (e.g. type errors, etc). The raw component represents the fully expanded type, and can safely be used for type testing. However, it can be rather long and cumbersome to read so should not be reported to the user.

Returns: