de.uka.ilkd.key.symbolic_execution.slicing

Class Location

java.lang.Object

de.uka.ilkd.key.symbolic_execution.slicing.Location

public class Location
extends java.lang.Object

Represents a location like a local variable, method parameter, static field or an instance field on a specified object.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<Access>	accesses The Access path.

Constructor Summary

Constructors

Constructor and Description
Location(Access... accesses) Constructor.
Location(ImmutableList<Access> accesses) Constructor.

Method Summary

Modifier and Type	Method and Description
Location	append(Access sub) Creates a new Location in which the sub is appended.
Location	append(Location sub) Creates a new Location in which the sub is appended.
boolean	equals(java.lang.Object obj)
ImmutableList<Access>	getAccesses() Returns the Access path.
int	getDepth() Returns the access depth.
int	hashCode()
java.lang.String	toString()
Term	toTerm(Services services) Converts this Location into a Term.

Methods inherited from class java.lang.Object

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

Field Detail

accesses

private final ImmutableList<Access> accesses

The Access path.

Constructor Detail

Location

public Location(ImmutableList<Access> accesses)

Constructor.

Parameters:

accesses - The Access path.

Location

public Location(Access... accesses)

Constructor.

Parameters:

accesses - The Access path.

Method Detail

getAccesses

public ImmutableList<Access> getAccesses()

Returns the Access path.

Returns:

The Access path.

getDepth

public int getDepth()

Returns the access depth.

Returns:

The access depth.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

append

public Location append(Location sub)

Creates a new Location in which the sub is appended.

Parameters:

sub - The Location to append.

Returns:

The new Location.

append

public Location append(Access sub)

Creates a new Location in which the sub is appended.

Parameters:

sub - The Access to append.

Returns:

The new Location.

toTerm

public Term toTerm(Services services)

Converts this Location into a Term.

Parameters:

services - The Services to use.

Returns:

The created Term.