de.cau.cs.kieler.krep.compiler.klp
Class RegAccess

java.lang.Object
  extended by 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 yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
RegAccess(VarAccessExpression v)
           
RegAccess(Variable v, boolean isPre)
           
 
Method Summary
 int getId()
           
 Type getType()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RegAccess

public RegAccess(Variable v,
                 boolean isPre)
Parameters:
v - variable to read from
isPre - true if previous value should be read

RegAccess

public RegAccess(VarAccessExpression v)
Parameters:
v - CEQ access to a variable
Method Detail

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.