edu.ucdavis.rj

Class InniArmElse

java.lang.Object

edu.ucdavis.rj.InniArmElse

public class InniArmElse
extends java.lang.Object

Represents the else arm on an inni.

Constructor Summary

Constructors

Constructor and Description
InniArmElse(InniArmElseCode code) If no suitable invocation is present, then execute the code in this arm and terminate the inni.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InniArmElse

public InniArmElse(InniArmElseCode code)

If no suitable invocation is present, then execute the code in this arm and terminate the inni.

Parameters:

code - the code for the arm.