Dependent_Variable_Interface

interface Dependent_Variable_Interface (logical)

Marks a “dependent variable”. These occur in two situations:

1. a dependent instance of a variable template.

2. extern T global_var; declaration within a template function.

The cases can be distinguished by the Base_Template edge, which is only set in case 1.

Direct implementations:

• class Dependent_Global_Address_Variable

• class Dependent_Global_Normal_Variable

• class Dependent_Global_Static_Variable

• class Dependent_Static_Field