de.cau.cs.kieler.krep.compiler.klp
Class RegAccess
java.lang.Object
de.cau.cs.kieler.krep.compiler.klp.RegAccess
public class RegAccess
- extends Object
Reading access to a register. Can read either previous or current value.
- Rating

- (2010-02-05) review by cmot, msp, tam
RegAccess
public RegAccess(Variable v,
boolean isPre)
- Parameters:
v
- variable to read fromisPre
- true if previous value should be read
RegAccess
public RegAccess(VarAccessExpression v)
- Parameters:
v
- CEQ access to a variable
toString
public String toString()
- Overrides:
toString
in class Object
getType
public Type getType()
- Returns:
- Type of the variable
getId
public int getId()
- Returns:
- KLP id under which the value is stored. The first bits are the register id, followed
by the pre flag.