private static class VariableNamer.GlobalsAsSetOfProgramVariable extends Object implements VariableNamer.Globals
Modifier and Type | Field and Description |
---|---|
private ImmutableSet<ProgramVariable> |
globals |
Constructor and Description |
---|
VariableNamer.GlobalsAsSetOfProgramVariable(ImmutableSet<ProgramVariable> globals) |
private ImmutableSet<ProgramVariable> globals
public VariableNamer.GlobalsAsSetOfProgramVariable(ImmutableSet<ProgramVariable> globals)
public Iterator<ProgramElementName> iterator()
iterator
in interface VariableNamer.Globals