edu.ucdavis.rj

Class ArmCode

java.lang.Object

edu.ucdavis.rj.BaseArmCode

edu.ucdavis.rj.ArmCode

public abstract class ArmCode
extends BaseArmCode

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	edu.ucdavis.rj.Quantifiable.Helper

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

BaseArmCode.Control

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)

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)