edu.ucdavis.rj.Ops
Class ArmCode

java.lang.Object
  edu.ucdavis.rj.Ops.BaseArmCode
      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.