edu.ucdavis.rj

Class ArmCode

java.lang.Object

edu.ucdavis.rj.BaseArmCode

edu.ucdavis.rj.ArmCode

All Implemented Interfaces:

Quantifiable

public abstract class ArmCode
extends BaseArmCode
implements Quantifiable

Base class incorporating quantifiers for all `arms' of code, i.e., blocks for inni and co.

Nested Class Summary

Nested classes/interfaces inherited from class edu.ucdavis.rj.BaseArmCode

BaseArmCode.Control

Nested classes/interfaces inherited from interface edu.ucdavis.rj.Quantifiable

Quantifiable.Helper

Field Summary

Fields

Modifier and Type	Field and Description
Quantifiers	q Value of quantifiers, if any, are accessible via this field.

Constructor Summary

Constructors

Constructor and Description
ArmCode()

Method Summary

Modifier and Type	Method and Description
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.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)

Description copied from interface: Quantifiable

Sets quantifiers.

Specified by:

setQuantifiers in interface Quantifiable

Parameters:

q - The quantifiers.