node refs representing arguments passed to the method
Dependencies of this definition from other definitions.
Dependencies of this definition from other definitions.
If definition is interpreted as an operation, then dependencies are arguments
of the operation.
If definition if compound (like Lambda of ThunkDef) then deps
is equals to
free variables used in the body of the compound definition.
This array also refers to predecessors of this graph node, so it is used
to build topological ordering (execution schedule) of operations.
array of referencies to other definitions.
All data elements of this graph node to be used in structural equality.
All data elements of this graph node to be used in structural equality.
equals where elements are used.
Default equality of definitions.
Default equality of definitions.
Two definitions are equal if they have same elements
.
Override to redefine how dependencies are computed.
Override to redefine how dependencies are computed.
For example, in core
implementation this is overriden in Lambda and ThunkDef using freeVars.
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default.
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default. If some definition require mutability, this method can be overriden accordingly.
whether this MC was created by generated adapter class.
whether this MC was created by generated adapter class.
This typically means, that receiver node doesn't implement
given method
.
method which is called (descriptor from java.lang.reflect
)
Clone this definition transforming all symbols using t
.
Clone this definition transforming all symbols using t
.
If new Def[A] is created, it is added to the graph with collapsing and rewriting.
Can be overriden to implement node-specific mirroring (see MethodCall).
mapping of symbols to symbols (Ref[_] => Ref[_])
symbol of the logical clone. If d
don't contain symbols, then d.self is returned.
it true this method cannot be performed, even if the receiver node allow this
Unique id of the graph node assigned for each new instance using
freshId
generator.
Unique id of the graph node assigned for each new instance using
freshId
generator.
Doesn't participate in equality of this Def, thus definitions with
different ids may still be structurally equal.
Used to provide global Def numbering.
node ref representing instance on which the method is called
type descriptor of the method's result
type descriptor of the method's result
Reference to this definition created lazily on demand.
Reference to this definition created lazily on demand.
References to other nodes in this Def instance.
References to other nodes in this Def instance.
Note: This is different form deps
for compound definitions like Lambda and ThunkDef.
User readable string representation of this definition.
User readable string representation of this definition. (for debugging only)
Create a copy of this definition applying the given transformer to all syms
.
Create a copy of this definition applying the given transformer to all syms
.
Try invoke method
on the node instance refered by receiver
.
Try invoke method
on the node instance refered by receiver
.
Each MC node contains enough information to perform invocation using
java.lang.reflect.Method.invoke
method. However, this is not possible
if the node pointed to by receiver
don't implement this method,
for example when receiver is Lambda variable pointing to Variable node
instance (in which case this MC was created by adapter)
invocation result descriptor.
InvokeResult
(Since version ) see corresponding Javadoc for more information.
Graph node to represent invocation of the method of some class.