meta.language.envelopes

7 anchors

Specification anchors and declared coverage
Anchor	Implementation	Tests
meta.language.envelopes (7)	7 Implemented	7 Implemented
`class_calls`	Implemented	Implemented
`invokes crate::module::Class::method();` permits a call on any instance of the named class or a known subclass. This permission does not require equality with the caller’s receiver. Read in specification context
`creates`	Implemented	Implemented
`creates name: crate::module::Context;` declares a fresh owned working context under the given binding name. Its target must resolve to a context declaration. This describes context creation; validation does not perform the allocation. Read in specification context
`direct_calls`	Implemented	Implemented
Each invocation clause grants a direct dependency. Transitive reachability is derived from those direct edges and does not grant the caller permission to invoke an indirect dependency directly. Read in specification context
`leaf`	Implemented	Implemented
An empty envelope describes a leaf operation with no modeled dependencies. It is distinct from an abstract method, which has no declared envelope. Read in specification context
`permissions`	Implemented	Implemented
Declared calls are permissions: none must occur, and calls may occur in an order different from the order of their envelope clauses. Read in specification context
`reads`	Implemented	Implemented
`reads self.field;` permits reading a field declared on this receiver’s class or inherited from a base. Unknown fields and non-`self` field paths are errors. Read in specification context
`receiver_calls`	Implemented	Implemented
`invokes self.method();` permits a call on the current semantic receiver. A matching method on a different receiver does not satisfy that permission. Read in specification context