Assignment_Interface

interface Assignment_Interface (physical)

for all nodes writing to some variable or field ([shortcut] assignments, ++/--, designator-field-initializers, and variable definitions [where initialization != 0 should be checked])

Direct implementations:

• class Assignment

• class Postfix_Operator

• class Prefix_Operator

• class Static_Field_Declaration

• class Variable_Definition