wyc.lang

Class Expr.AbstractFunctionOrMethod

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Expr.AbstractFunctionOrMethod

All Implemented Interfaces:

wybs.lang.SyntacticElement, Expr

Direct Known Subclasses:

Expr.FunctionOrMethod

Enclosing interface:

Expr

public static class Expr.AbstractFunctionOrMethod
extends wybs.lang.SyntacticElement.Impl
implements Expr

Nested Class Summary

Nested classes/interfaces inherited from interface wyc.lang.Expr

Expr.AbstractFunctionOrMethod, Expr.AbstractIndirectInvoke, Expr.AbstractInvoke, Expr.AbstractVariable, Expr.ArrayGenerator, Expr.ArrayInitialiser, Expr.AssignedVariable, Expr.BinOp, Expr.BOp, 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.LVal, Expr.MethodCall, Expr.Multi, Expr.New, Expr.PropertyCall, Expr.QOp, Expr.Quantifier, Expr.Record, Expr.TypeVal, Expr.UnOp, Expr.UOp

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

wybs.lang.SyntacticElement.Impl

Field Summary

Fields

Modifier and Type	Field and Description
ArrayList<String>	lifetimeParameters
String	name
ArrayList<wyal.lang.WyalFile.Type>	paramTypes
Type.FunctionOrMethod	type

Constructor Summary

Constructors

Constructor and Description
AbstractFunctionOrMethod(String name, Collection<wyal.lang.WyalFile.Type> paramTypes, Collection<String> lifetimeParameters, wybs.lang.Attribute... attributes)
AbstractFunctionOrMethod(String name, Collection<wyal.lang.WyalFile.Type> paramTypes, Collection<String> lifetimeParameters, Collection<wybs.lang.Attribute> attributes)

Method Summary

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

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

name

public final String name

paramTypes

public final ArrayList<wyal.lang.WyalFile.Type> paramTypes

lifetimeParameters

public final ArrayList<String> lifetimeParameters

type

public Type.FunctionOrMethod type

Constructor Detail

AbstractFunctionOrMethod

public AbstractFunctionOrMethod(String name,
                                Collection<wyal.lang.WyalFile.Type> paramTypes,
                                Collection<String> lifetimeParameters,
                                wybs.lang.Attribute... attributes)

AbstractFunctionOrMethod

public AbstractFunctionOrMethod(String name,
                                Collection<wyal.lang.WyalFile.Type> paramTypes,
                                Collection<String> lifetimeParameters,
                                Collection<wybs.lang.Attribute> attributes)

Method Detail

result

public Type.FunctionOrMethod result()

Description copied from interface: Expr

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.

Specified by:

result in interface Expr

Returns: