org.holtz.zoe
Class RegisterReference

java.lang.Object
  extended by org.holtz.zoe.Expression
      extended by org.holtz.zoe.Value
          extended by org.holtz.zoe.RegisterReference

public class RegisterReference
extends Value

A Bug attribute referenced as a Statement's Operand in a Zoel program.

Author:
Brian Holtz

Nested Class Summary
static class RegisterReference.Whose
          Whether a RegisterReference refers to the bug itself or to the bug it last sensed.
 
Field Summary
 Register reg
           
 RegisterReference.Whose who
           
 
Constructor Summary
RegisterReference(RegisterReference obj2Copy)
           
 
Method Summary
 RegisterReference copy()
           
static boolean is(java.lang.String sval)
           
static RegisterReference parse(java.lang.String sval)
           
static RegisterReference parse(ZoelTokenizer zoelTokenizer)
           
 java.lang.String toString()
           
 java.lang.String toString(java.lang.String statementSeparator, Expression currExpr, java.lang.String cursor)
           
 
Methods inherited from class org.holtz.zoe.Expression
parse, totalStatements
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

reg

public Register reg

who

public RegisterReference.Whose who
Constructor Detail

RegisterReference

public RegisterReference(RegisterReference obj2Copy)
Method Detail

copy

public RegisterReference copy()
Specified by:
copy in class Expression

toString

public java.lang.String toString(java.lang.String statementSeparator,
                                 Expression currExpr,
                                 java.lang.String cursor)
Specified by:
toString in class Expression

toString

public java.lang.String toString()
Specified by:
toString in class Expression

is

public static boolean is(java.lang.String sval)

parse

public static RegisterReference parse(ZoelTokenizer zoelTokenizer)
                               throws java.lang.Exception
Throws:
java.lang.Exception

parse

public static RegisterReference parse(java.lang.String sval)
                               throws java.lang.Exception
Throws:
java.lang.Exception