Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

Interface AssignStoreExprIF

All Superinterfaces:

AssignExprIF

public interface AssignStoreExprIF
extends AssignExprIF

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

AssignExprIF.AssignExprKind

Method Summary

Modifier and Type	Method	Description
boolean	isAllocation()
ExpressionNode	store()	either IdentifierExpressionNode or an expression node represening string literal or allocation.
Variable	variable()

Methods inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

isFull, kind, mayEquals, root, type

Method Details

isAllocation

boolean isAllocation()

store

ExpressionNode store()

either IdentifierExpressionNode or an expression node represening string literal or allocation.

Returns:

variable

Variable variable()