edu.cmu.cs.crystal.tac.model
Interface SourceVariableReadInstruction

All Superinterfaces:
TACInstruction

public interface SourceVariableReadInstruction
extends TACInstruction

This instruction indicates reading a variable that appears in the source program, i.e. the receiver, locals, or parameters. This instruction is even generated when the source variable appears on the left-hand side of an assignment, to indicate that the variable is being touched. TODO Figure out if assignment targets should be a "SourceVariableRead" or not.

Author:
Kevin Bierhoff
See Also:
AssignmentInstruction.getTarget()

Method Summary
 Variable getVariable()
          Returns the variable being read, of type SourceVariable or KeywordVariable.
 
Methods inherited from interface edu.cmu.cs.crystal.tac.model.TACInstruction
getNode, transfer, transfer
 

Method Detail

getVariable

Variable getVariable()
Returns the variable being read, of type SourceVariable or KeywordVariable.

Returns:
The variable being read, of type SourceVariable or KeywordVariable.