readsFrom
fun ExpressionNode.readsFrom(nameAnalysis: NameAnalysis, prots: Set<Protocol>): SelectionConstraint
Content copied to clipboard
States whether an expression reads only from the protocols in prots
fun LetNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint
Content copied to clipboard
States that if the let node is stored at any protocol in to, it reads from only the protocols in from
fun DeclarationNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint
Content copied to clipboard