de.uka.ilkd.key.symbolic_execution

Class ExecutionVariableExtractor.LocationDefinition

java.lang.Object

de.uka.ilkd.key.symbolic_execution.ExecutionVariableExtractor.LocationDefinition

Enclosing class:

ExecutionVariableExtractor

private static final class ExecutionVariableExtractor.LocationDefinition
extends java.lang.Object

Utility class representing a location.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Term	arrayIndex The array index or null if a ProgramVariable is used instead.
private ProgramVariable	programVariable The ProgramVariable or null if an array index is used instead.

Constructor Summary

Constructors

Constructor and Description
LocationDefinition(ProgramVariable programVariable, Term arrayIndex) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

programVariable

private final ProgramVariable programVariable

The ProgramVariable or null if an array index is used instead.

arrayIndex

private final Term arrayIndex

The array index or null if a ProgramVariable is used instead.

Constructor Detail

LocationDefinition

public LocationDefinition(ProgramVariable programVariable,
                          Term arrayIndex)

Constructor.

Parameters:

programVariable - The ProgramVariable or null if an array index is used instead.

arrayIndex - The array index or null if a ProgramVariable is used instead.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object