de.uka.ilkd.key.logic

Class VariableNamer.GlobalsAsSetOfProgramVariable

java.lang.Object

de.uka.ilkd.key.logic.VariableNamer.GlobalsAsSetOfProgramVariable

All Implemented Interfaces:

VariableNamer.Globals

Enclosing class:

VariableNamer

private static class VariableNamer.GlobalsAsSetOfProgramVariable
extends Object
implements VariableNamer.Globals

wrapper for global variables coming as a SetOfProgramVariable

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableSet<ProgramVariable>	globals

Constructor Summary

Constructors

Constructor and Description
GlobalsAsSetOfProgramVariable(ImmutableSet<ProgramVariable> globals)

Method Summary

Modifier and Type	Method and Description
Iterator<ProgramElementName>	iterator()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

globals

private ImmutableSet<ProgramVariable> globals

Constructor Detail

GlobalsAsSetOfProgramVariable

public GlobalsAsSetOfProgramVariable(ImmutableSet<ProgramVariable> globals)

Method Detail

iterator

public Iterator<ProgramElementName> iterator()

Specified by:

iterator in interface VariableNamer.Globals