Module dev.civl.abc

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

Interface AssignFieldExprIF

All Superinterfaces:

AssignExprIF

public interface AssignFieldExprIF
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
Field	field()
AssignExprIF	struct()

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

isFull, kind, mayEquals, root, type

Method Details

struct

AssignExprIF struct()

field

Field field()