wyc.lang

Class Expr.IndirectFunctionOrMethodCall

java.lang.Object

wybs.lang.SyntacticElement.Impl

wyc.lang.Expr.AbstractIndirectInvoke

wyc.lang.Expr.IndirectFunctionOrMethodCall

All Implemented Interfaces:

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

Direct Known Subclasses:

Expr.IndirectFunctionCall, Expr.IndirectMethodCall

Enclosing interface:

Expr

public abstract static class Expr.IndirectFunctionOrMethodCall
extends Expr.AbstractIndirectInvoke
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 inherited from class wyc.lang.Expr.AbstractIndirectInvoke

arguments, lifetimeArguments, src

Constructor Summary

Constructors

Constructor and Description
IndirectFunctionOrMethodCall(Expr src, Collection<Expr> arguments, Collection<String> lifetimeArguments, wybs.lang.Attribute... attributes)
IndirectFunctionOrMethodCall(Expr src, Collection<Expr> arguments, Collection<String> lifetimeArguments, Collection<wybs.lang.Attribute> attributes)

Method Summary

Modifier and Type	Method and Description
List<Type>	returns() Get all the return types this expression can produce.
abstract Type.FunctionOrMethod	type()

Methods inherited from class wyc.lang.Expr.AbstractIndirectInvoke

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

Constructor Detail

IndirectFunctionOrMethodCall

public IndirectFunctionOrMethodCall(Expr src,
                                    Collection<Expr> arguments,
                                    Collection<String> lifetimeArguments,
                                    wybs.lang.Attribute... attributes)

IndirectFunctionOrMethodCall

public IndirectFunctionOrMethodCall(Expr src,
                                    Collection<Expr> arguments,
                                    Collection<String> lifetimeArguments,
                                    Collection<wybs.lang.Attribute> attributes)

Method Detail

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: