Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.acsl

Interface ObjectOrRegionOfNode

All Superinterfaces:

ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface ObjectOrRegionOfNode
extends ExpressionNode

This represents a $object_of of $region_of expression.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

ExpressionNode.ExpressionKind

Method Summary

Modifier and Type	Method	Description
boolean	isObjectOf()	True iff this expression is $object_of
boolean	isRegionOf()	True iff this expression is $region_of
ExpressionNode	operand()	The operand, which has pointer type

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.ExpressionNode

addConversion, copy, expressionKind, getConversion, getConvertedType, getInitialType, getNumConversions, isConstantExpression, isLvalue, removeConversions, setInitialType

Methods inherited from interface dev.civl.abc.ast.node.IF.declaration.InitializerNode

isSideEffectFree

Methods inherited from interface dev.civl.abc.ast.node.IF.expression.SizeableNode

getType

Method Details

operand

ExpressionNode operand()

The operand, which has pointer type

Returns:

isObjectOf

boolean isObjectOf()

True iff this expression is $object_of

Returns:

isRegionOf

boolean isRegionOf()

True iff this expression is $region_of

Returns: