de.uka.ilkd.key.symbolic_execution.slicing

Class Access

java.lang.Object

de.uka.ilkd.key.symbolic_execution.slicing.Access

public class Access
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableArray<Term>	dimensionExpressions The accessed array index or null if it is not an array access.
private ProgramVariable	programVariable The ProgramVariable or null if an array index is accessed.

Constructor Summary

Constructors

Constructor and Description
Access(ImmutableArray<Term> dimensionExpressions) Constructor.
Access(ProgramVariable programVariable) Constructor.
Access(Term... dimensionExpressions) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
ImmutableArray<Term>	getDimensionExpressions() Returns the accessed array index or null if it is not an array access.
ProgramVariable	getProgramVariable() Returns the ProgramVariable or null if an array index is accessed.
int	hashCode()
boolean	isArrayIndex() Checks if an array index is accessed.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

programVariable

private final ProgramVariable programVariable

The ProgramVariable or null if an array index is accessed.

dimensionExpressions

private final ImmutableArray<Term> dimensionExpressions

The accessed array index or null if it is not an array access.

Constructor Detail

Access

public Access(ProgramVariable programVariable)

Constructor.

Parameters:

programVariable - The accessed ProgramVariable.

Access

public Access(ImmutableArray<Term> dimensionExpressions)

Constructor.

Parameters:

dimensionExpressions - The accessed array index.

Access

public Access(Term... dimensionExpressions)

Constructor.

Parameters:

dimensionExpressions - The accessed array index.

Method Detail

getProgramVariable

public ProgramVariable getProgramVariable()

Returns the ProgramVariable or null if an array index is accessed.

Returns:

The ProgramVariable or null if an array index is accessed.

getDimensionExpressions

public ImmutableArray<Term> getDimensionExpressions()

Returns the accessed array index or null if it is not an array access.

Returns:

The accessed array index or null if it is not an array access.

isArrayIndex

public boolean isArrayIndex()

Checks if an array index is accessed.

Returns:

true array index is accessed, false otherwise.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object