Module dev.civl.abc

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

Interface AssignmentIF

public interface AssignmentIF

An abstract representation of one of the following assignments:

• BASE: U = invalid input: '&U'
• SIMPLE: U = U
• COMPLEX_LD: *U = U
• COMPLEX_RD: U = *U

where U is a

invalid reference

AssignExpIF

which represents an abstract object.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	AssignmentIF.AssignmentKind	BASE: p = invalid input: '&a' SIMPLE: p = a COMPLEX_LD: *p = a COMPLEX_RD: p = *a

Method Summary

Modifier and Type	Method	Description
AssignmentIF.AssignmentKind	kind()
AssignExprIF	lhs()
AssignExprIF	rhs()

Method Details

lhs

AssignExprIF lhs()

rhs

AssignExprIF rhs()

Returns:

the right-hand side abstraction

kind

AssignmentIF.AssignmentKind kind()

Returns:

kind