wyc.lang

Class Expr.MethodCall

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Expr.AbstractInvoke

wyc.lang.Expr.FunctionOrMethodCall

wyc.lang.Expr.MethodCall

All Implemented Interfaces:

wybs.lang.SyntacticElement, Expr, Expr.Multi, Stmt

Enclosing interface:

Expr

public static class Expr.MethodCall
extends Expr.FunctionOrMethodCall

Nested Class Summary

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

wybs.lang.SyntacticElement.Impl

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 wyc.lang.Stmt

Stmt.Assert, Stmt.Assign, Stmt.Assume, Stmt.Break, Stmt.Case, Stmt.Continue, Stmt.Debug, Stmt.DoWhile, Stmt.Fail, Stmt.IfElse, Stmt.NamedBlock, Stmt.Return, Stmt.Skip, Stmt.Switch, Stmt.VariableDeclaration, Stmt.While

Field Summary

Fields

Modifier and Type	Field and Description
Type.Method	methodType

Fields inherited from class wyc.lang.Expr.FunctionOrMethodCall

nid

Fields inherited from class wyc.lang.Expr.AbstractInvoke

arguments, lifetimeArguments, name, qualification

Constructor Summary

Constructors

Constructor and Description
MethodCall(wybs.lang.NameID nid, wyfs.lang.Path.ID qualification, Collection<Expr> arguments, Collection<String> lifetimeArguments, wybs.lang.Attribute... attributes)
MethodCall(wybs.lang.NameID nid, wyfs.lang.Path.ID qualification, Collection<Expr> arguments, Collection<String> lifetimeArguments, Collection<wybs.lang.Attribute> attributes)

Method Summary

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

Methods inherited from class wyc.lang.Expr.FunctionOrMethodCall

nid, returns

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

methodType

public Type.Method methodType

Constructor Detail

MethodCall

public MethodCall(wybs.lang.NameID nid,
                  wyfs.lang.Path.ID qualification,
                  Collection<Expr> arguments,
                  Collection<String> lifetimeArguments,
                  wybs.lang.Attribute... attributes)

MethodCall

public MethodCall(wybs.lang.NameID nid,
                  wyfs.lang.Path.ID qualification,
                  Collection<Expr> arguments,
                  Collection<String> lifetimeArguments,
                  Collection<wybs.lang.Attribute> attributes)

Method Detail

type

public Type.Method type()

Specified by:

type in class Expr.FunctionOrMethodCall

result

public Type 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

Overrides:

result in class Expr.AbstractInvoke

Returns: