Uses of Interface
dev.civl.abc.ast.node.IF.acsl.AssignsOrReadsNode

Packages that use AssignsOrReadsNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of AssignsOrReadsNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return AssignsOrReadsNode

Modifier and Type	Method	Description
AssignsOrReadsNode	NodeFactory.newAssignsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL assigns contract clause.
AssignsOrReadsNode	NodeFactory.newReadsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL reads contract clause.

Uses of AssignsOrReadsNode in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return AssignsOrReadsNode

Modifier and Type	Method	Description
AssignsOrReadsNode	AssignsOrReadsNode.copy()