| java.lang.Object de.uka.ilkd.key.rule.updatesimplifier.AssignmentPairImpl
AssignmentPairImpl | public class AssignmentPairImpl implements AssignmentPair(Code) | | The default implementation of an assignment pair.
There exists a lazy one to which may spare resources
See Also: de.uka.ilkd.key.rule.updatesimplifier.AsssignmentPairLazy author: bubel |
AssignmentPairImpl | public AssignmentPairImpl(ArrayOfQuantifiableVariable boundVars, Term guard, Location accessOp, Term[] locSubs, Term value)(Code) | | |
AssignmentPairImpl | public AssignmentPairImpl(Location accessOp, Term[] locSubs, Term value)(Code) | | creates the assignment accessOp(locSubs):=value
Parameters: accessOp - the Location descriptor Parameters: locSubs - the subterms of the location Parameters: value - the value the location is updated to |
boundVars | public ArrayOfQuantifiableVariable boundVars()(Code) | | |
equals | public boolean equals(Object o)(Code) | | returns true if the given object equals this one
|
freeVars | public SetOfQuantifiableVariable freeVars()(Code) | | |
hashCode | public int hashCode()(Code) | | the hashCode of this assignment pair
|
nontrivialGuard | public boolean nontrivialGuard()(Code) | | |
value | public Term value()(Code) | | returns the value that is assigned to the location and adds
if necessary (i.e. the static type T of the location as term is not a
supersort) a type cast (T) in front.
the right side of the assignment |
|
|