edu.ucdavis.rj.Ops
Class ArmCode

java.lang.Object
  extended by edu.ucdavis.rj.Ops.BaseArmCode
      extended by edu.ucdavis.rj.Ops.ArmCode

public abstract class ArmCode
extends BaseArmCode


Nested Class Summary
 
Nested classes/interfaces inherited from class edu.ucdavis.rj.Ops.BaseArmCode
BaseArmCode.Control
 
Field Summary
 Quantifiers q
          Value of quantifiers, if any, are accessible via this field.
 
Constructor Summary
ArmCode()
           
 
Method Summary
abstract  void codeBlock(Invocation inv)
          Override this method with the body of code for the invocation.
 void setQuantifiers(Quantifiers q)
          Sets quantifiers.
 
Methods inherited from class edu.ucdavis.rj.Ops.BaseArmCode
getControl, setControl
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

q

public Quantifiers q
Value of quantifiers, if any, are accessible via this field.

Constructor Detail

ArmCode

public ArmCode()
Method Detail

codeBlock

public abstract void codeBlock(Invocation inv)
Override this method with the body of code for the invocation.

Parameters:
inv - The invocation.

setQuantifiers

public void setQuantifiers(Quantifiers q)
Sets quantifiers.

Parameters:
q - The quantifiers.