Module DataFlowDispatch

Gets a node that can read the value returned from call with return kind kind.

Holds if new is a call to new, targeting a class of type m (or a sub class, when exact = false), where there is no user-defined self.new on m.

Holds if new is a user-defined self.new method.

Holds if the set of viable implementations that can be called by call might be improved by knowing the call context.

Holds if arguments at position apos match parameters at position ppos.

Holds if self belongs to method method inside module m.

Holds if method is a singleton method named name, defined on expression object, where object is not likely to resolve to a module:

Gets a viable dispatch target of call in the context ctx. This is restricted to those calls for which a context might make a difference.

Holds if call may resolve to the returned summarized library method.

A unit class for adding additional call steps.

An argument position.

A value returned from a callable using a break statement.

A call. This includes calls from source code, as well as call(back)s inside library callables with a flow summary.

A callable. This includes callables from source code, as well as callables defined in library code.

A callable defined in library code, identified by a unique string.

A callable defined in library code, which should be taken into account in type tracking.

A special return kind that is used to represent the value returned from user-defined new methods as well as the effect on self in initialize methods.

A value returned from a callable using a return statement or an expression body, that is, a “normal” return.

A parameter position.

A return kind. A return kind describes how a value can be returned from a callable.

A synthesized call inside a callable with a flow summary.

Provides modeling of flow through the render method of view components.

Holds if e is an ExprNode that may be returned by a call to c.

Gets a node that can be reached from some start node in state state.