ExpressionNode
A computation that produces a result.
Functions
toDocument
Link copied to clipboard
toDocumentWithMetadata
Link copied to clipboard
toSurfaceNode
Link copied to clipboard
Returns a representation of this node in the surface syntax.
Properties
Inheritors
Extensions
involvedVariables
Link copied to clipboard
readsFrom
Link copied to clipboard
fun ExpressionNode.readsFrom(nameAnalysis: NameAnalysis, prots: Set<Protocol>): SelectionConstraint
Content copied to clipboard
States whether an expression reads only from the protocols in prots