de.uka.ilkd.key.rule.inst

Class ProgramList

java.lang.Object

de.uka.ilkd.key.rule.inst.ProgramList

All Implemented Interfaces:

SVSubstitute

public class ProgramList
extends java.lang.Object
implements SVSubstitute

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableArray<ProgramElement>	list

Constructor Summary

Constructors

Constructor and Description
ProgramList(ImmutableArray<ProgramElement> list)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
ImmutableArray<ProgramElement>	getList()
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

list

private final ImmutableArray<ProgramElement> list

Constructor Detail

ProgramList

public ProgramList(ImmutableArray<ProgramElement> list)

Method Detail

getList

public ImmutableArray<ProgramElement> getList()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object