| de.uka.ilkd.key.logic.op.Location
All known Subclasses: de.uka.ilkd.key.rule.metaconstruct.MetaCreated, de.uka.ilkd.key.logic.op.NonRigidFunctionLocation, de.uka.ilkd.key.logic.op.AccessOp, de.uka.ilkd.key.rule.metaconstruct.MetaShadow, de.uka.ilkd.key.logic.op.ProgramSV, de.uka.ilkd.key.logic.op.LocationVariable, de.uka.ilkd.key.rule.metaconstruct.MetaNextToCreate, de.uka.ilkd.key.logic.op.SortedSchemaVariable, de.uka.ilkd.key.rule.metaconstruct.MetaTransactionCounter,
| Location | | public interface Location extends Operator,NonRigid(Code) | | Operators implementing this interface may stand for
locations as well. This means e.g. occur as top level operators on the
left side of an assignment pair of an update.
|
| Method Summary | |
| boolean | mayBeAliasedBy(Location loc)
Checks if location loc may be an alias of the current
location.
The mayBeAliasOf relation is not necessary
symmetric as e.g. | | Sort | sort()
|
| mayBeAliasedBy | | boolean mayBeAliasedBy(Location loc)(Code) | | Checks if location loc may be an alias of the current
location.
The mayBeAliasOf relation is not necessary
symmetric as e.g. for attributes and their shadowed variant.
Parameters:
loc - the Location to check true if loc may be an alias of the current operator |
| sort | | Sort sort()(Code) | | returns the sort of the location
|
|
|