wyc.lang

Class Expr.FunctionOrMethodCall

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Expr.AbstractInvoke

wyc.lang.Expr.FunctionOrMethodCall

All Implemented Interfaces:

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

Direct Known Subclasses:

Expr.FunctionCall, Expr.MethodCall, Expr.PropertyCall

Enclosing interface:

Expr

public abstract static class Expr.FunctionOrMethodCall
extends Expr.AbstractInvoke
implements Expr.Multi

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
wybs.lang.NameID	nid

Fields inherited from class wyc.lang.Expr.AbstractInvoke

arguments, lifetimeArguments, name, qualification

Constructor Summary

Constructors

Constructor and Description
FunctionOrMethodCall(wybs.lang.NameID nid, wyfs.lang.Path.ID qualification, Collection<Expr> arguments, Collection<String> lifetimeArguments, wybs.lang.Attribute... attributes)
FunctionOrMethodCall(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
wybs.lang.NameID	nid()
List<Type>	returns() Get all the return types this expression can produce.
abstract Type.FunctionOrMethod	type()

Methods inherited from class wyc.lang.Expr.AbstractInvoke

result

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

nid

public final wybs.lang.NameID nid

Constructor Detail

FunctionOrMethodCall

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

FunctionOrMethodCall

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

Method Detail

nid

public wybs.lang.NameID nid()

type

public abstract Type.FunctionOrMethod type()

returns

public List<Type> returns()

Description copied from interface: Expr.Multi

Get all the return types this expression can produce.

Specified by:

returns in interface Expr.Multi

Returns: