View on GitHub
ensureExclusivity(in:diagnostics:)
Ensures the Law of Exclusivity is satisfied in f, reporting errors and warnings to
diagnostics.
Requires
f is in self.
-
Interprets
See moreiincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(access i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(advancedByStrides i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(allocStack i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(closeUnion i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(deallocStack i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(endBorrow i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(endProject i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(genericParameter i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(globalAddr i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(openCapture i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(openUnion i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(pointerToAddress i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(project i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(projectWitness i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(subfieldView i: InstructionID, in context: inout Context) -
Interprets
iincontext, reporting violations intodiagnostics.Declaration
Swift
func interpret(wrapExistentialAddr i: InstructionID, in context: inout Context) -
Checks that the state of the object projected in the region defined at
startand exited withexitis consistent withaccess, updatingcontextaccordingly.Declaration
Swift
func finalize( region start: Operand, projecting access: AccessEffect, exitedWith exit: InstructionID, in context: inout Context )